runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482896-1307578618/watcher-3482896-1307578618 -o /tmp/evaluation-result-3482896-1307578618/solver-3482896-1307578618 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482896-1307578618.opb -seed 1684251899 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.06 1.87 3/585 304
/proc/meminfo: memFree=21559988/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (runsolver) R 302 304 31489 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 948092578 12079104 51 33554432000 4194304 5432328 140734880081008 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/304/statm: 2949 51 31 303 0 2643 0
[startup+0.11881 s]
/proc/loadavg: 2.00 2.06 1.87 3/585 304
/proc/meminfo: memFree=21559988/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/304/stat : 304 (python) R 302 304 31489 0 -1 4202496 3170 930 1 0 6 1 0 0 18 0 1 0 948092578 98435072 2484 33554432000 4194304 5683644 140736702972064 18446744073709551615 5177563 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/304/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200783 s]
/proc/loadavg: 2.00 2.06 1.87 3/585 304
/proc/meminfo: memFree=21559988/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=117900 CPUtime=0.12 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 4921 930 1 0 10 2 0 0 17 0 1 0 948092578 120729600 3345 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/304/statm: 29476 3346 916 364 0 2446 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117900
[startup+0.300749 s]
/proc/loadavg: 2.00 2.06 1.87 3/585 304
/proc/meminfo: memFree=21559988/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 5358 930 1 0 13 4 0 0 17 0 1 0 948092578 126709760 3744 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367542789 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/304/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700725 s]
/proc/loadavg: 2.00 2.06 1.87 3/585 304
/proc/meminfo: memFree=21559988/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=290844 CPUtime=0.43 cores=0,2,4,6
/proc/304/stat : 304 (python) R 302 304 31489 0 -1 4202496 11181 930 1 0 33 10 0 0 16 0 1 0 948092578 297824256 9043 33554432000 4194304 5683644 140736702972064 18446744073709551615 47877031184769 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/304/statm: 72711 9043 1781 364 0 7604 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 290844
[startup+1.50057 s]
/proc/loadavg: 2.00 2.06 1.87 3/586 309
/proc/meminfo: memFree=21514596/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=317848 CPUtime=1.23 cores=0,2,4,6
/proc/304/stat : 304 (python) R 302 304 31489 0 -1 4202496 17855 930 1 0 112 11 0 0 16 0 1 0 948092578 325476352 15717 33554432000 4194304 5683644 140736702972064 18446744073709551615 4602978 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/304/statm: 79462 15717 1781 364 0 14355 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 317848
[startup+3.10028 s]
/proc/loadavg: 2.16 2.09 1.88 3/586 309
/proc/meminfo: memFree=21478636/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=336612 CPUtime=2.83 cores=0,2,4,6
/proc/304/stat : 304 (python) R 302 304 31489 0 -1 4202496 32337 930 1 0 270 13 0 0 19 0 1 0 948092578 344690688 20500 33554432000 4194304 5683644 140736702972064 18446744073709551615 251370955445 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/304/statm: 84153 20500 1815 364 0 19046 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 336612
[startup+6.30069 s]
/proc/loadavg: 2.16 2.09 1.88 3/589 321
/proc/meminfo: memFree=21454736/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=351552 CPUtime=4.61 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 33789 930 1 0 447 14 0 0 25 0 2 0 948092578 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/304/statm: 87888 21729 1872 364 0 22775 0
[pid=310] ppid=304 vsize=341308 CPUtime=0 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 948093067 349499392 20204 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566863 0 0 16781312 33554946 3345590579382714368 0 0 17 4 0 0 0
/proc/310/statm: 85327 20204 351 364 0 20214 0
[pid=321] ppid=310 vsize=24244 CPUtime=1.38 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) R 310 321 321 0 -1 4202496 8033 0 0 0 132 6 0 0 25 0 1 0 948093067 24825856 5483 33554432000 134512640 135752315 4293360528 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/321/statm: 6061 5483 146 303 0 5756 0
[pid=304/tid=320] ppid=302 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 948093067 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 717104
[startup+12.7195 s]
/proc/loadavg: 2.14 2.08 1.89 3/589 321
/proc/meminfo: memFree=21447552/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=351552 CPUtime=4.61 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 33789 930 1 0 447 14 0 0 25 0 2 0 948092578 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/304/statm: 87888 21729 1872 364 0 22775 0
[pid=310] ppid=304 vsize=341308 CPUtime=0.04 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 994 0 0 0 2 2 0 0 15 0 1 0 948093067 349499392 20233 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566863 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/310/statm: 85327 20233 380 364 0 20214 0
[pid=321] ppid=310 vsize=30092 CPUtime=7.79 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) R 310 321 321 0 -1 4202496 9482 0 0 0 749 30 0 0 25 0 1 0 948093067 30814208 6932 33554432000 134512640 135752315 4293360528 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/321/statm: 7523 6932 146 303 0 7218 0
[pid=304/tid=320] ppid=302 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 948093067 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 722952
[startup+25.5011 s]
/proc/loadavg: 2.12 2.08 1.89 3/589 322
/proc/meminfo: memFree=21438372/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=351552 CPUtime=4.61 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 33789 930 1 0 447 14 0 0 25 0 2 0 948092578 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/304/statm: 87888 21729 1872 364 0 22775 0
[pid=310] ppid=304 vsize=341308 CPUtime=0.08 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 997 0 0 0 4 4 0 0 15 0 1 0 948093067 349499392 20233 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566863 0 0 16781312 33554946 2004315753615982592 0 0 17 4 0 0 0
/proc/310/statm: 85327 20233 380 364 0 20214 0
[pid=321] ppid=310 vsize=41000 CPUtime=20.56 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) R 310 321 321 0 -1 4202496 12196 0 0 0 2007 49 0 0 25 0 1 0 948093067 41984000 9646 33554432000 134512640 135752315 4293360528 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/321/statm: 10250 9646 146 303 0 9945 0
[pid=304/tid=320] ppid=302 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 948093067 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 733860
[startup+51.1003 s]
/proc/loadavg: 2.08 2.07 1.89 3/589 322
/proc/meminfo: memFree=21421712/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=351552 CPUtime=4.61 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 33789 930 1 0 447 14 0 0 25 0 2 0 948092578 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/304/statm: 87888 21729 1872 364 0 22775 0
[pid=310] ppid=304 vsize=341308 CPUtime=0.18 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 1007 0 0 0 9 9 0 0 15 0 1 0 948093067 349499392 20233 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566863 0 0 16781312 33554946 72409437758827403 0 0 17 4 0 0 0
/proc/310/statm: 85327 20233 380 364 0 20214 0
[pid=321] ppid=310 vsize=56884 CPUtime=46.14 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) R 310 321 321 0 -1 4202496 16104 0 0 0 4551 63 0 0 25 0 1 0 948093067 58249216 13554 33554432000 134512640 135752315 4293360528 18446744073709551615 134611369 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/321/statm: 14221 13554 146 303 0 13916 0
[pid=304/tid=320] ppid=302 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 2 0 948093067 359989248 21729 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 749744
[startup+102.301 s]
/proc/loadavg: 2.03 2.06 1.89 3/597 332
/proc/meminfo: memFree=20621288/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=372064 CPUtime=4.66 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 35622 930 1 0 452 14 0 0 20 0 4 0 948092578 380993536 21742 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/304/statm: 93016 21742 1877 364 0 27897 0
[pid=310] ppid=304 vsize=351552 CPUtime=0.2 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 1144 0 0 0 10 10 0 0 16 0 2 0 948093067 359989248 20269 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/310/statm: 87888 20269 411 364 0 22775 0
[pid=321] ppid=310 vsize=57024 CPUtime=46.73 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) T 310 321 321 0 -1 4202496 16141 0 0 0 4610 63 0 0 25 0 1 0 948093067 58392576 13591 33554432000 134512640 135752315 4293360528 18446744073709551615 134639707 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/321/statm: 14256 13591 146 303 0 13951 0
[pid=310/tid=323] ppid=304 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/310/task/323/stat : 323 (python) S 304 304 31489 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948097748 359989248 20269 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604443685230720 0 0 -1 4 0 0 0
[pid=324] ppid=304 vsize=351564 CPUtime=0.2 cores=0,2,4,6
/proc/324/stat : 324 (python) S 304 304 31489 0 -1 4202560 1122 0 0 0 11 9 0 0 17 0 2 0 948097751 360001536 20254 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/324/statm: 87891 20254 396 364 0 22775 0
[pid=326] ppid=324 vsize=799520 CPUtime=48.91 cores=0,2,4,6
/proc/326/stat : 326 (pbct-0.1.2-linu) T 324 326 326 0 -1 4202496 210069 0 0 0 4830 61 0 0 25 0 1 0 948097751 818708480 193314 33554432000 134512640 136422188 4289259584 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/326/statm: 199880 193314 215 467 0 199411 0
[pid=324/tid=329] ppid=304 vsize=351564 CPUtime=0 cores=0,2,4,6
/proc/324/task/329/stat : 329 (python) S 304 304 31489 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948102643 360001536 20254 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441941903360 0 0 -1 6 0 0 0
[pid=330] ppid=304 vsize=361820 CPUtime=0 cores=0,2,4,6
/proc/330/stat : 330 (python) S 304 304 31489 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 948102645 370503680 20209 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566918 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/330/statm: 90455 20209 348 364 0 25336 0
[pid=332] ppid=330 vsize=20528 CPUtime=1.61 cores=0,2,4,6
/proc/332/stat : 332 (wbo1.4a) R 330 332 332 0 -1 4202496 7123 0 0 0 154 7 0 0 25 0 1 0 948102645 21020672 4570 33554432000 134512640 135751879 4294926272 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/332/statm: 5132 4570 143 303 0 4827 0
[pid=304/tid=320] ppid=302 vsize=372064 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 4 0 948093067 380993536 21742 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=325] ppid=302 vsize=372064 CPUtime=0 cores=0,2,4,6
/proc/304/task/325/stat : 325 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 4 0 948097751 380993536 21742 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=331] ppid=302 vsize=372064 CPUtime=0 cores=0,2,4,6
/proc/304/task/331/stat : 331 (python) S 302 304 31489 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 4 0 948102645 380993536 21742 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2314072
[startup+162.32 s]
/proc/loadavg: 2.17 2.08 1.91 3/598 334
/proc/meminfo: memFree=20575160/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=372068 CPUtime=15.07 cores=0,2,4,6
/proc/304/stat : 304 (python) R 302 304 31489 0 -1 4202496 36312 930 1 0 1491 16 0 0 25 0 4 0 948092578 380997632 21743 33554432000 4194304 5683644 140736702972064 18446744073709551615 4868493 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/304/statm: 93017 21743 1877 364 0 27898 0
[pid=310] ppid=304 vsize=351552 CPUtime=0.2 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 1144 0 0 0 10 10 0 0 16 0 2 0 948093067 359989248 20269 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/310/statm: 87888 20269 411 364 0 22775 0
[pid=321] ppid=310 vsize=57024 CPUtime=46.73 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) T 310 321 321 0 -1 4202496 16141 0 0 0 4610 63 0 0 25 0 1 0 948093067 58392576 13591 33554432000 134512640 135752315 4293360528 18446744073709551615 134639707 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/321/statm: 14256 13591 146 303 0 13951 0
[pid=310/tid=323] ppid=304 vsize=351552 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=353/tid=359] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/359/stat : 359 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15763 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=360] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/360/stat : 360 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15765 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=361] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/361/stat : 361 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15768 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=362] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/362/stat : 362 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15770 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=363] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/363/stat : 363 (java) S 351 353 353 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948123390 8740933632 15773 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379363328 0 0 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=364] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/364/stat : 364 (java) S 351 353 353 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948123391 8740933632 15775 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=365] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/365/stat : 365 (java) S 351 353 353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948123391 8740933632 15778 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=366] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/366/stat : 366 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123393 8740933632 15780 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379370417 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=367] ppid=351 vsize=8536068 CPUtime=0.17 cores=0,2,4,6
/proc/353/task/367/stat : 367 (java) R 351 353 353 0 -1 4202560 2267 0 0 0 17 0 0 0 16 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 47939781079828 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=353/tid=368] ppid=351 vsize=8536068 CPUtime=0.16 cores=0,2,4,6
/proc/353/task/368/stat : 368 (java) R 351 353 353 0 -1 4202560 1284 0 0 0 16 0 0 0 25 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 47939782152950 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=353/tid=369] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/369/stat : 369 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=370] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/370/stat : 370 (java) R 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379363328 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=304/tid=320] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 8 0 948093067 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=325] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/325/stat : 325 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 948097751 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=331] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/331/stat : 331 (python) S 302 304 31489 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 8 0 948102645 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 0 0 0 0
[pid=304/tid=336] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/336/stat : 336 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 25 0 8 0 948109183 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 0 0 0 0
[pid=304/tid=342] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/342/stat : 342 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 948113951 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 6 0 0 0
[pid=304/tid=347] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/347/stat : 347 (python) S 302 304 31489 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 8 0 948118661 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 6 0 0 0
[pid=304/tid=352] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/352/stat : 352 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 948123388 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 309.64
Current children cumulated vsize (KiB) 16315148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+308.501 s]
/proc/loadavg: 2.10 2.10 1.93 6/630 370
/proc/meminfo: memFree=16698492/32950928 swapFree=34421304/67111528
[pid=304] ppid=302 vsize=413088 CPUtime=18.89 cores=0,2,4,6
/proc/304/stat : 304 (python) S 302 304 31489 0 -1 4202496 39331 930 1 0 1871 18 0 0 20 0 8 0 948092578 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/304/statm: 103272 21766 1885 364 0 38141 0
[pid=310] ppid=304 vsize=351552 CPUtime=0.2 cores=0,2,4,6
/proc/310/stat : 310 (python) S 304 304 31489 0 -1 4202560 1144 0 0 0 10 10 0 0 16 0 2 0 948093067 359989248 20269 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/310/statm: 87888 20269 411 364 0 22775 0
[pid=321] ppid=310 vsize=57024 CPUtime=46.73 cores=0,2,4,6
/proc/321/stat : 321 (wbo1.4b-fixed) T 310 321 321 0 -1 4202496 16141 0 0 0 4610 63 0 0 25 0 1 0 948093067 58392576 13591 33554432000 134512640 135752315 4293360528 18446744073709551615 134639707 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/321/statm: 14256 13591 146 303 0 13951 0
[pid=310/tid=323] ppid=304 vsize=351552 CPUtime=0 cores=0,2,4,6
/proc/310/task/323/stat : 323 (python) S 304 304 31489 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948097748 359989248 20269 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604443685230720 0 0 -1 4 0 0 0
[pid=324] ppid=304 vsize=351564 CPUtime=0.2 cores=0,2,4,6
/proc/324/stat : 324 (python) S 304 304 31489 0 -1 4202560 1122 0 0 0 11 9 0 0 17 0 2 0 948097751 360001536 20254 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/324/statm: 87891 20254 396 364 0 22775 0
[pid=326] ppid=324 vsize=799520 CPUtime=48.91 cores=0,2,4,6
/proc/326/stat : 326 (pbct-0.1.2-linu) T 324 326 326 0 -1 4202496 210069 0 0 0 4830 61 0 0 25 0 1 0 948097751 818708480 193314 33554432000 134512640 136422188 4289259584 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/326/statm: 199880 193314 215 467 0 199411 0
[pid=324/tid=329] ppid=304 vsize=351564 CPUtime=0 cores=0,2,4,6
/proc/324/task/329/stat : 329 (python) S 304 304 31489 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948102643 360001536 20254 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441941903360 0 0 -1 6 0 0 0
[pid=330] ppid=304 vsize=361820 CPUtime=0.23 cores=0,2,4,6
/proc/330/stat : 330 (python) S 304 304 31489 0 -1 4202560 1100 0 0 0 11 12 0 0 17 0 2 0 948102645 370503680 20258 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/330/statm: 90455 20258 396 364 0 25336 0
[pid=332] ppid=330 vsize=53308 CPUtime=51.22 cores=0,2,4,6
/proc/332/stat : 332 (wbo1.4a) T 330 332 332 0 -1 4202496 15210 0 0 0 5052 70 0 0 25 0 1 0 948102645 54587392 12657 33554432000 134512640 135751879 4294926272 18446744073709551615 134616816 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/332/statm: 13327 12657 143 303 0 13022 0
[pid=330/tid=334] ppid=304 vsize=361820 CPUtime=0 cores=0,2,4,6
/proc/330/task/334/stat : 334 (python) S 304 304 31489 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948107769 370503680 20258 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604446661123072 0 0 -1 6 0 0 0
[pid=335] ppid=304 vsize=372076 CPUtime=0.22 cores=0,2,4,6
/proc/335/stat : 335 (python) S 304 304 31489 0 -1 4202560 1156 0 0 0 11 11 0 0 17 0 2 0 948109183 381005824 20262 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/335/statm: 93019 20262 396 364 0 27897 0
[pid=337] ppid=335 vsize=3714620 CPUtime=47.63 cores=0,2,4,6
/proc/337/stat : 337 (minion) T 335 337 337 0 -1 4202496 934259 0 0 0 4665 98 0 0 25 0 1 0 948109184 3803770880 921248 33554432000 134512640 165565024 4289373008 18446744073709551615 142764912 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/337/statm: 928655 921248 359 7582 0 921070 0
[pid=335/tid=340] ppid=304 vsize=372076 CPUtime=0 cores=0,2,4,6
/proc/335/task/340/stat : 340 (python) S 304 304 31489 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948113948 381005824 20262 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604453636425728 0 0 -1 6 0 0 0
[pid=341] ppid=304 vsize=382332 CPUtime=0.2 cores=0,2,4,6
/proc/341/stat : 341 (python) S 304 304 31489 0 -1 4202560 1126 0 0 0 10 10 0 0 16 0 2 0 948113951 391507968 20266 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/341/statm: 95583 20266 396 364 0 30458 0
[pid=343] ppid=341 vsize=84356 CPUtime=47.06 cores=0,2,4,6
/proc/343/stat : 343 (bsolo_pb10) T 341 343 343 0 -1 4202496 24069 0 0 0 4658 48 0 0 25 0 1 0 948113951 86380544 18626 33554432000 134512640 137138936 4286950544 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/343/statm: 21089 18626 192 642 0 20445 0
[pid=341/tid=345] ppid=304 vsize=382332 CPUtime=0 cores=0,2,4,6
/proc/341/task/345/stat : 345 (python) S 304 304 31489 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948118659 391507968 20266 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604442006178560 0 0 -1 6 0 0 0
[pid=346] ppid=304 vsize=392588 CPUtime=0.21 cores=0,2,4,6
/proc/346/stat : 346 (python) S 304 304 31489 0 -1 4202560 1166 0 0 0 10 11 0 0 19 0 2 0 948118661 402010112 20270 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/346/statm: 98147 20270 396 364 0 33019 0
[pid=348] ppid=346 vsize=42388 CPUtime=47.22 cores=0,2,4,6
/proc/348/stat : 348 (clasp-1.3.7-x86) T 346 348 348 0 -1 4202496 11274 0 0 0 4721 1 0 0 25 0 1 0 948118662 43405312 10116 33554432000 134512640 136139019 4287425888 18446744073709551615 134883461 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/348/statm: 10597 10116 184 398 0 10197 0
[pid=346/tid=350] ppid=304 vsize=392588 CPUtime=0 cores=0,2,4,6
/proc/346/task/350/stat : 350 (python) S 304 304 31489 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 948123385 402010112 20270 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554946 18446604441941902464 0 0 -1 2 0 0 0
[pid=351] ppid=304 vsize=402844 CPUtime=0 cores=0,2,4,6
/proc/351/stat : 351 (python) S 304 304 31489 0 -1 4202560 828 0 0 0 0 0 0 0 18 0 1 0 948123387 412512256 20225 33554432000 4194304 5683644 140736702972064 18446744073709551615 251367566918 0 0 16781312 33554946 3430730214307528704 0 0 17 2 0 0 0
/proc/351/statm: 100711 20225 348 364 0 35580 0
[pid=353] ppid=351 vsize=8536068 CPUtime=0.72 cores=0,2,4,6
/proc/353/stat : 353 (java) S 351 353 353 0 -1 4202496 16394 0 1 0 70 2 0 0 20 0 18 0 948123388 8740933632 14765 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/353/statm: 2134017 14766 2206 9 0 2124758 0
[pid=353/tid=354] ppid=351 vsize=8536068 CPUtime=0.42 cores=0,2,4,6
/proc/353/task/354/stat : 354 (java) R 351 353 353 0 -1 4202560 12438 0 1 0 41 1 0 0 18 0 18 0 948123389 8740933632 15750 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 46912505547702 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=353/tid=355] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/355/stat : 355 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948123389 8740933632 15752 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=356] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/356/stat : 356 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948123389 8740933632 15755 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=357] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/357/stat : 357 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948123389 8740933632 15758 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=358] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/358/stat : 358 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15760 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=359] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/359/stat : 359 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15763 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=360] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/360/stat : 360 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15765 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=361] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/361/stat : 361 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15768 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=362] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/362/stat : 362 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123389 8740933632 15770 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=363] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/363/stat : 363 (java) S 351 353 353 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948123390 8740933632 15773 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379363328 0 0 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=364] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/364/stat : 364 (java) S 351 353 353 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948123391 8740933632 15775 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=365] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/365/stat : 365 (java) S 351 353 353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948123391 8740933632 15778 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=366] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/366/stat : 366 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123393 8740933632 15780 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379370417 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=367] ppid=351 vsize=8536068 CPUtime=0.17 cores=0,2,4,6
/proc/353/task/367/stat : 367 (java) R 351 353 353 0 -1 4202560 2267 0 0 0 17 0 0 0 16 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 47939781079828 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=353/tid=368] ppid=351 vsize=8536068 CPUtime=0.16 cores=0,2,4,6
/proc/353/task/368/stat : 368 (java) R 351 353 353 0 -1 4202560 1284 0 0 0 16 0 0 0 25 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 47939782152950 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=353/tid=369] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/369/stat : 369 (java) S 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379362713 0 4 0 16800975 18446604443480955584 0 0 -1 4 0 0 0
[pid=353/tid=370] ppid=351 vsize=8536068 CPUtime=0 cores=0,2,4,6
/proc/353/task/370/stat : 370 (java) R 351 353 353 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948123393 8740933632 15782 33554432000 1073741824 1073778376 140735376565184 18446744073709551615 251379363328 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=304/tid=320] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/320/stat : 320 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 25 0 8 0 948093067 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=325] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/325/stat : 325 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 948097751 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 4 0 0 0
[pid=304/tid=331] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/331/stat : 331 (python) S 302 304 31489 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 8 0 948102645 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 0 0 0 0
[pid=304/tid=336] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/336/stat : 336 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 25 0 8 0 948109183 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 0 0 0 0
[pid=304/tid=342] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/342/stat : 342 (python) S 302 304 31489 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 948113951 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 6 0 0 0
[pid=304/tid=347] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/347/stat : 347 (python) S 302 304 31489 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 8 0 948118661 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 6 0 0 0
[pid=304/tid=352] ppid=302 vsize=413088 CPUtime=0 cores=0,2,4,6
/proc/304/task/352/stat : 352 (python) S 302 304 31489 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 948123388 423002112 21766 33554432000 4194304 5683644 140736702972064 18446744073709551615 251379370417 0 0 16781312 33554434 18446604444178620672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 309.64
Current children cumulated vsize (KiB) 16315148
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 304 and gives
# childrusage.ru_utime.tv_sec=18
# childrusage.ru_utime.tv_usec=714155
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 18.9071
# while last known CPU time is 309.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 308.592
CPU time (s): 309.64
CPU user time (s): 305.4
CPU system time (s): 4.24
CPU usage (%): 100.34
Max. virtual memory (cumulated for all children) (KiB): 16315148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7142
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40266
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2878
involuntary context switches= 51
runsolver used 1.81072 second user time and 3.58345 second system time
The end