runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand49d73b.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand49d73b.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand49d73b.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.05 1.01 2/94 16316 /proc/meminfo: memFree=1213100/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2880 CPUtime=0 /proc/16316/stat : 16316 (runsolver) R 16315 16316 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 19 0 1 0 416550959 2949120 93 1283457024 134512640 134586868 4288711136 18446744073709551615 4158612762 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/16316/statm: 720 93 62 19 0 52 0 [startup+0.166167 s] /proc/loadavg: 1.00 1.05 1.01 2/94 16316 /proc/meminfo: memFree=1213100/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.215838 s] /proc/loadavg: 1.00 1.05 1.01 2/94 16316 /proc/meminfo: memFree=1213100/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.340155 s] /proc/loadavg: 1.00 1.05 1.01 2/94 16316 /proc/meminfo: memFree=1213100/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.712243 s] /proc/loadavg: 1.00 1.05 1.01 2/94 16316 /proc/meminfo: memFree=1213100/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50224 s] /proc/loadavg: 1.00 1.05 1.01 2/108 16330 /proc/meminfo: memFree=1148656/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=0 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 18 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16319] ppid=16318 vsize=868724 CPUtime=2.09 /proc/16319/stat : 16319 (java) S 16318 16316 13759 34823 13904 4202496 26676 0 0 0 199 10 0 0 17 0 12 0 416550962 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16319/statm: 217181 23389 1744 10 0 214268 0 [pid=16319/tid=16320] ppid=16318 vsize=868724 CPUtime=0.93 /proc/16319/task/16320/stat : 16320 (java) R 16318 16316 13759 34823 13904 4202560 9304 0 0 0 91 2 0 0 15 0 12 0 416550963 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159858033 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16319/tid=16321] ppid=16318 vsize=868724 CPUtime=0.16 /proc/16319/task/16321/stat : 16321 (java) S 16318 16316 13759 34823 13904 4202560 6402 0 0 0 16 0 0 0 15 0 12 0 416550963 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16322] ppid=16318 vsize=868724 CPUtime=0.16 /proc/16319/task/16322/stat : 16322 (java) S 16318 16316 13759 34823 13904 4202560 4777 0 0 0 12 4 0 0 16 0 12 0 416550963 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16323] ppid=16318 vsize=868724 CPUtime=0.08 /proc/16319/task/16323/stat : 16323 (java) S 16318 16316 13759 34823 13904 4202560 79 0 0 0 8 0 0 0 16 0 12 0 416550965 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159847432 0 0 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16324] ppid=16318 vsize=868724 CPUtime=0 /proc/16319/task/16324/stat : 16324 (java) S 16318 16316 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 416550965 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16325] ppid=16318 vsize=868724 CPUtime=0 /proc/16319/task/16325/stat : 16325 (java) S 16318 16316 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416550965 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16326] ppid=16318 vsize=868724 CPUtime=0 /proc/16319/task/16326/stat : 16326 (java) S 16318 16316 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 416550968 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159854928 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16327] ppid=16318 vsize=868724 CPUtime=0.34 /proc/16319/task/16327/stat : 16327 (java) S 16318 16316 13759 34823 13904 4202560 1917 0 0 0 34 0 0 0 15 0 12 0 416550968 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16328] ppid=16318 vsize=868724 CPUtime=0.4 /proc/16319/task/16328/stat : 16328 (java) S 16318 16316 13759 34823 13904 4202560 2788 0 0 0 37 3 0 0 15 0 12 0 416550968 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16329] ppid=16318 vsize=868724 CPUtime=0 /proc/16319/task/16329/stat : 16329 (java) S 16318 16316 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416550968 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16330] ppid=16318 vsize=868724 CPUtime=0 /proc/16319/task/16330/stat : 16330 (java) S 16318 16316 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416550968 889573376 23389 1283457024 134512640 134550932 4288580048 18446744073709551615 4159847432 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 875100 [startup+3.10227 s] /proc/loadavg: 1.00 1.05 1.01 3/108 16331 /proc/meminfo: memFree=1069172/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=0 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 18 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16319] ppid=16318 vsize=880016 CPUtime=4.7 /proc/16319/stat : 16319 (java) S 16318 16316 13759 34823 13904 4202496 47717 0 0 0 446 24 0 0 17 0 12 0 416550962 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159833234 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16319/statm: 220004 41317 1770 10 0 217091 0 [pid=16319/tid=16320] ppid=16318 vsize=880016 CPUtime=2.15 /proc/16319/task/16320/stat : 16320 (java) S 16318 16316 13759 34823 13904 4202560 15888 0 0 0 207 8 0 0 16 0 12 0 416550963 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16321] ppid=16318 vsize=880016 CPUtime=0.25 /proc/16319/task/16321/stat : 16321 (java) R 16318 16316 13759 34823 13904 4202560 10453 0 0 0 23 2 0 0 15 0 12 0 416550963 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159848131 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16319/tid=16322] ppid=16318 vsize=880016 CPUtime=0.24 /proc/16319/task/16322/stat : 16322 (java) R 16318 16316 13759 34823 13904 4202560 8159 0 0 0 18 6 0 0 15 0 12 0 416550963 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16319/tid=16323] ppid=16318 vsize=880016 CPUtime=0.24 /proc/16319/task/16323/stat : 16323 (java) S 16318 16316 13759 34823 13904 4202560 1970 0 0 0 24 0 0 0 15 0 12 0 416550965 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 0 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16324] ppid=16318 vsize=880016 CPUtime=0 /proc/16319/task/16324/stat : 16324 (java) S 16318 16316 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 416550965 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16325] ppid=16318 vsize=880016 CPUtime=0 /proc/16319/task/16325/stat : 16325 (java) S 16318 16316 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416550965 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16326] ppid=16318 vsize=880016 CPUtime=0 /proc/16319/task/16326/stat : 16326 (java) S 16318 16316 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 416550968 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159854928 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16327] ppid=16318 vsize=880016 CPUtime=0.84 /proc/16319/task/16327/stat : 16327 (java) S 16318 16316 13759 34823 13904 4202560 4307 0 0 0 84 0 0 0 16 0 12 0 416550968 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 1 0 0 0 [pid=16319/tid=16328] ppid=16318 vsize=880016 CPUtime=0.92 /proc/16319/task/16328/stat : 16328 (java) R 16318 16316 13759 34823 13904 4202560 5531 0 0 0 87 5 0 0 16 0 12 0 416550968 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4152387483 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16319/tid=16329] ppid=16318 vsize=880016 CPUtime=0 /proc/16319/task/16329/stat : 16329 (java) S 16318 16316 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416550968 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159846640 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 [pid=16319/tid=16330] ppid=16318 vsize=880016 CPUtime=0 /proc/16319/task/16330/stat : 16330 (java) S 16318 16316 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416550968 901136384 41317 1283457024 134512640 134550932 4288580048 18446744073709551615 4159847432 0 4 0 16800975 18446612133525678144 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.7 Current children cumulated vsize (KiB) 886392 [startup+6.30607 s] /proc/loadavg: 1.24 1.10 1.03 2/98 16336 /proc/meminfo: memFree=1169436/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=40512 CPUtime=1.79 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 10732 0 0 0 174 5 0 0 20 0 1 0 416551409 41484288 9914 1283457024 134512640 135858300 4292179568 18446744073709551615 134620160 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 10128 9914 137 329 0 9797 0 Current children cumulated CPU time (s) 8.51 Current children cumulated vsize (KiB) 49776 [startup+12.7083 s] /proc/loadavg: 1.22 1.10 1.03 2/98 16336 /proc/meminfo: memFree=1166740/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=40984 CPUtime=8.19 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 11404 0 0 0 813 6 0 0 25 0 1 0 416551409 41967616 10027 1283457024 134512640 135858300 4292179568 18446744073709551615 134670954 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 10246 10027 137 329 0 9915 0 Current children cumulated CPU time (s) 14.91 Current children cumulated vsize (KiB) 50248 [startup+25.5134 s] /proc/loadavg: 1.25 1.11 1.03 2/103 16816 /proc/meminfo: memFree=1164644/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=40984 CPUtime=20.57 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 11404 0 0 0 2051 6 0 0 25 0 1 0 416551409 41967616 10027 1283457024 134512640 135858300 4292179568 18446744073709551615 134663289 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 10246 10027 137 329 0 9915 0 Current children cumulated CPU time (s) 27.29 Current children cumulated vsize (KiB) 50248 [startup+51.112 s] /proc/loadavg: 1.16 1.10 1.03 2/99 16820 /proc/meminfo: memFree=1159740/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=46.1 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 4604 6 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134665141 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 52.82 Current children cumulated vsize (KiB) 56332 Solver just ended. Dumping a history of the last processes samples [startup+51.202 s] /proc/loadavg: 1.16 1.10 1.03 2/99 16820 /proc/meminfo: memFree=1159740/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=46.19 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 4613 6 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 52.91 Current children cumulated vsize (KiB) 56332 [startup+64.0054 s] /proc/loadavg: 1.13 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159788/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=59 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 5891 9 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134664362 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 65.72 Current children cumulated vsize (KiB) 56332 [startup+67.2062 s] /proc/loadavg: 1.13 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159796/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=62.2 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 6210 10 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134666332 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 68.92 Current children cumulated vsize (KiB) 56332 [startup+70.4072 s] /proc/loadavg: 1.12 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159796/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=65.4 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 6530 10 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134625561 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 72.12 Current children cumulated vsize (KiB) 56332 [startup+71.2074 s] /proc/loadavg: 1.12 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159796/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=66.2 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 6610 10 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134658648 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 72.92 Current children cumulated vsize (KiB) 56332 [startup+71.6176 s] /proc/loadavg: 1.12 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159796/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=3996 CPUtime=6.71 /proc/16318/stat : 16318 (cudf-solver.py) S 16316 16316 13759 34823 13904 4202496 812 53459 0 0 0 0 629 42 15 0 1 0 416550960 4091904 641 1283457024 134512640 135539072 4291122416 18446744073709551615 4159195790 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/16318/statm: 999 641 346 251 0 300 0 [pid=16335] ppid=16318 vsize=2888 CPUtime=0.01 /proc/16335/stat : 16335 (sh) S 16318 16316 13759 34823 13904 4194304 358 0 0 0 0 1 0 0 17 0 1 0 416551409 2957312 321 1283457024 134512640 135191968 4289471424 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16335/statm: 722 321 219 166 0 154 0 [pid=16336] ppid=16335 vsize=47068 CPUtime=66.61 /proc/16336/stat : 16336 (msuncore) R 16335 16316 13759 34823 13904 4202496 13259 0 0 0 6651 10 0 0 25 0 1 0 416551409 48197632 11570 1283457024 134512640 135858300 4292179568 18446744073709551615 134625893 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/16336/statm: 11767 11570 137 329 0 11436 0 Current children cumulated CPU time (s) 73.33 Current children cumulated vsize (KiB) 56332 [startup+71.8075 s] /proc/loadavg: 1.12 1.09 1.03 2/99 16821 /proc/meminfo: memFree=1159796/2097152 swapFree=2055676/2097144 [pid=16316] ppid=16315 vsize=2380 CPUtime=0 /proc/16316/stat : 16316 (inesct-1.0) S 16315 16316 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 416550959 2437120 258 1283457024 134512640 135191968 4286877920 18446744073709551615 4159097486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16316/statm: 595 258 221 166 0 27 0 [pid=16318] ppid=16316 vsize=7744 CPUtime=73.54 /proc/16318/stat : 16318 (cudf-solver.py) R 16316 16316 13759 34823 13904 4202496 1900 67098 0 0 8 0 7292 54 16 0 1 0 416550960 7929856 1570 1283457024 134512640 135539072 4291122416 18446744073709551615 135364528 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/16318/statm: 1936 1570 346 251 0 1237 0 Current children cumulated CPU time (s) 73.54 Current children cumulated vsize (KiB) 10124 Child status: 0 Real time (s): 71.8605 CPU time (s): 73.5886 CPU user time (s): 73.0406 CPU system time (s): 0.548034 CPU usage (%): 102.405 Max. virtual memory (cumulated for all children) (KiB): 888296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 73.0406 system time used= 0.548034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70811 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 509 involuntary context switches= 2254 runsolver used 0 second user time and 0.012 second system time The end