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-3481830-1307576600/watcher-3481830-1307576600 -o /tmp/evaluation-result-3481830-1307576600/solver-3481830-1307576600 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481830-1307576600.opb -seed 1938912779 -budget 1800
running on 4 cores: 1,3,5,7
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.22 1.14 0.45 2/512 23279
/proc/meminfo: memFree=30501752/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 869257971 16625664 867 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550198469 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23279/statm: 4059 867 368 364 0 546 0
[startup+0.0525751 s]
/proc/loadavg: 2.22 1.14 0.45 2/512 23279
/proc/meminfo: memFree=30501752/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=30112 CPUtime=0.03 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 1470 0 0 0 3 0 0 0 20 0 1 0 869257971 30834688 1309 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550535680 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/23279/statm: 7528 1309 443 364 0 898 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30112
[startup+0.100555 s]
/proc/loadavg: 2.22 1.14 0.45 2/512 23279
/proc/meminfo: memFree=30501752/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=96120 CPUtime=0.07 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 3167 931 1 0 6 1 0 0 18 0 1 0 869257971 98426880 2482 33554432000 4194304 5683644 140734950871856 18446744073709551615 5170896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23279/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.300562 s]
/proc/loadavg: 2.22 1.14 0.45 2/512 23279
/proc/meminfo: memFree=30501752/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=200772 CPUtime=0.22 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 6647 931 1 0 16 6 0 0 17 0 1 0 869257971 205590528 4935 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550533556 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23279/statm: 50193 4935 1465 364 0 3675 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 200772
[startup+0.700471 s]
/proc/loadavg: 2.22 1.14 0.45 2/512 23279
/proc/meminfo: memFree=30501752/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=293036 CPUtime=0.6 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 11669 931 1 0 50 10 0 0 17 0 1 0 869257971 300068864 9533 33554432000 4194304 5683644 140734950871856 18446744073709551615 4445106 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23279/statm: 73259 9534 1781 364 0 8152 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 293036
[startup+1.50032 s]
/proc/loadavg: 2.22 1.14 0.45 3/513 23284
/proc/meminfo: memFree=30463800/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=303364 CPUtime=1.39 cores=1,3,5,7
/proc/23279/stat : 23279 (python) R 23277 23279 23050 0 -1 4202496 17812 931 1 0 129 10 0 0 18 0 1 0 869257971 310644736 12189 33554432000 4194304 5683644 140734950871856 18446744073709551615 271553946561 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/23279/statm: 75841 12189 1816 364 0 10734 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 303364
[startup+3.10103 s]
/proc/loadavg: 2.22 1.14 0.45 5/533 23304
/proc/meminfo: memFree=30441612/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=314300 CPUtime=1.86 cores=1,3,5,7
/proc/23279/stat : 23279 (python) S 23277 23279 23050 0 -1 4202496 18259 931 1 0 175 11 0 0 21 0 2 0 869257971 321843200 12406 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23279/statm: 78575 12406 1862 364 0 13462 0
[pid=23285] ppid=23279 vsize=304056 CPUtime=0 cores=1,3,5,7
/proc/23285/stat : 23285 (python) S 23279 23279 23050 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 869258168 311353344 10891 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550557711 0 0 16781312 33554946 4514052997948342532 0 0 17 5 0 0 0
/proc/23285/statm: 76014 10891 351 364 0 10901 0
[pid=23287] ppid=23285 vsize=8537620 CPUtime=2.14 cores=1,3,5,7
/proc/23287/stat : 23287 (java) S 23285 23287 23287 0 -1 4202496 51755 0 1 0 206 8 0 0 22 0 19 0 869258168 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23287/statm: 2134405 48160 2241 9 0 2125146 0
[pid=23287/tid=23288] ppid=23285 vsize=8537620 CPUtime=1.08 cores=1,3,5,7
/proc/23287/task/23288/stat : 23288 (java) R 23285 23287 23287 0 -1 4202560 35269 0 1 0 102 6 0 0 25 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 46912505805657 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23287/tid=23289] ppid=23285 vsize=8537620 CPUtime=0.01 cores=1,3,5,7
/proc/23287/task/23289/stat : 23289 (java) S 23285 23287 23287 0 -1 4202560 1645 0 0 0 1 0 0 0 16 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23290] ppid=23285 vsize=8537620 CPUtime=0.01 cores=1,3,5,7
/proc/23287/task/23290/stat : 23290 (java) S 23285 23287 23287 0 -1 4202560 1649 0 0 0 1 0 0 0 16 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23291] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23291/stat : 23291 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23292] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23292/stat : 23292 (java) S 23285 23287 23287 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23293] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23293/stat : 23293 (java) S 23285 23287 23287 0 -1 4202560 463 0 0 0 0 0 0 0 15 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23294] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23294/stat : 23294 (java) S 23285 23287 23287 0 -1 4202560 2190 0 0 0 2 0 0 0 16 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23295] ppid=23285 vsize=8537620 CPUtime=0.01 cores=1,3,5,7
/proc/23287/task/23295/stat : 23295 (java) S 23285 23287 23287 0 -1 4202560 784 0 0 0 1 0 0 0 15 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23296] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23296/stat : 23296 (java) S 23285 23287 23287 0 -1 4202560 2045 0 0 0 2 0 0 0 16 0 19 0 869258169 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23297] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23297/stat : 23297 (java) S 23285 23287 23287 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 869258170 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 0 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23298] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23298/stat : 23298 (java) S 23285 23287 23287 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869258171 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23299] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23299/stat : 23299 (java) S 23285 23287 23287 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869258171 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23300] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23300/stat : 23300 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869258173 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562361265 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23301] ppid=23285 vsize=8537620 CPUtime=0.52 cores=1,3,5,7
/proc/23287/task/23301/stat : 23301 (java) S 23285 23287 23287 0 -1 4202560 2658 0 0 0 52 0 0 0 23 0 19 0 869258173 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 5 0 0 0
[pid=23287/tid=23302] ppid=23285 vsize=8537620 CPUtime=0.39 cores=1,3,5,7
/proc/23287/task/23302/stat : 23302 (java) S 23285 23287 23287 0 -1 4202560 3301 0 0 0 39 0 0 0 16 0 19 0 869258173 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23287/tid=23303] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23303/stat : 23303 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869258173 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23304] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23304/stat : 23304 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869258173 8742522880 48160 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=314300 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (python) S 23277 23279 23050 0 -1 4202560 27 931 0 0 0 0 0 0 21 0 2 0 869258168 321843200 12406 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9155976
[startup+6.30143 s]
/proc/loadavg: 2.20 1.15 0.46 3/534 23305
/proc/meminfo: memFree=29900972/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=314300 CPUtime=1.86 cores=1,3,5,7
/proc/23279/stat : 23279 (python) S 23277 23279 23050 0 -1 4202496 18259 931 1 0 175 11 0 0 21 0 2 0 869257971 321843200 12406 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23279/statm: 78575 12406 1862 364 0 13462 0
[pid=23285] ppid=23279 vsize=304056 CPUtime=0.01 cores=1,3,5,7
/proc/23285/stat : 23285 (python) S 23279 23279 23050 0 -1 4202560 910 0 0 0 0 1 0 0 15 0 1 0 869258168 311353344 10915 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550557711 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23285/statm: 76014 10915 375 364 0 10901 0
[pid=23287] ppid=23285 vsize=8537620 CPUtime=5.69 cores=1,3,5,7
/proc/23287/stat : 23287 (java) S 23285 23287 23287 0 -1 4202496 144295 0 1 0 548 21 0 0 22 0 19 0 869258168 8742522880 140139 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23287/statm: 2134405 140142 2258 9 0 2125146 0
[pid=23287/tid=23288] ppid=23285 vsize=8537620 CPUtime=4.09 cores=1,3,5,7
/proc/23287/task/23288/stat : 23288 (java) R 23285 23287 23287 0 -1 4202560 109020 0 1 0 393 16 0 0 25 0 19 0 869258169 8742522880 140145 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 46912505806121 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23287/tid=23289] ppid=23285 vsize=8537620 CPUtime=0.03 cores=1,3,5,7
/proc/23287/task/23289/stat : 23289 (java) S 23285 23287 23287 0 -1 4202560 3184 0 0 0 3 0 0 0 16 0 19 0 869258169 8742522880 140147 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 5 0 0 0
[pid=23287/tid=23290] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23290/stat : 23290 (java) S 23285 23287 23287 0 -1 4202560 1891 0 0 0 2 0 0 0 15 0 19 0 869258169 8742522880 140150 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23291] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23291/stat : 23291 (java) S 23285 23287 23287 0 -1 4202560 1925 0 0 0 2 0 0 0 15 0 19 0 869258169 8742522880 140154 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23292] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23292/stat : 23292 (java) S 23285 23287 23287 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 869258169 8742522880 140157 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23293] ppid=23285 vsize=8537620 CPUtime=0.04 cores=1,3,5,7
/proc/23287/task/23293/stat : 23293 (java) S 23285 23287 23287 0 -1 4202560 3631 0 0 0 4 0 0 0 15 0 19 0 869258169 8742522880 140162 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23287/tid=23294] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
/proc/23287/task/23294/stat : 23294 (java) S 23285 23287 23287 0 -1 4202560 4158 0 0 0 5 0 0 0 15 0 19 0 869258169 8742522880 140164 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23287/tid=23295] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23295/stat : 23295 (java) S 23285 23287 23287 0 -1 4202560 2247 0 0 0 2 0 0 0 15 0 19 0 869258169 8742522880 140166 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 5 0 0 0
[pid=23287/tid=23296] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
/proc/23287/task/23296/stat : 23296 (java) S 23285 23287 23287 0 -1 4202560 3934 0 0 0 5 0 0 0 15 0 19 0 869258169 8742522880 140169 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 5 0 0 0
[pid=23287/tid=23297] ppid=23285 vsize=8537620 CPUtime=0.13 cores=1,3,5,7
/proc/23287/task/23297/stat : 23297 (java) S 23285 23287 23287 0 -1 4202560 6088 0 0 0 13 0 0 0 16 0 19 0 869258170 8742522880 140173 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 0 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23298] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23298/stat : 23298 (java) S 23285 23287 23287 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869258171 8742522880 140177 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23299] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23299/stat : 23299 (java) S 23285 23287 23287 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869258171 8742522880 140180 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23300] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23300/stat : 23300 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869258173 8742522880 140182 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562361265 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23301] ppid=23285 vsize=8537620 CPUtime=0.65 cores=1,3,5,7
/proc/23287/task/23301/stat : 23301 (java) S 23285 23287 23287 0 -1 4202560 2808 0 0 0 65 0 0 0 15 0 19 0 869258173 8742522880 140186 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23302] ppid=23285 vsize=8537620 CPUtime=0.5 cores=1,3,5,7
/proc/23287/task/23302/stat : 23302 (java) S 23285 23287 23287 0 -1 4202560 3738 0 0 0 50 0 0 0 15 0 19 0 869258173 8742522880 140189 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23287/tid=23303] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23303/stat : 23303 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869258173 8742522880 140192 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 1 0 0 0
[pid=23287/tid=23304] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23304/stat : 23304 (java) S 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869258173 8742522880 140192 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23287/tid=23305] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23305/stat : 23305 (java) S 23285 23287 23287 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869258257 8742522880 140196 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 4 0 16800975 18446604458127255744 0 0 -1 3 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=314300 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (python) S 23277 23279 23050 0 -1 4202560 27 931 0 0 0 0 0 0 21 0 2 0 869258168 321843200 12406 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9155976
[startup+12.7013 s]
/proc/loadavg: 2.18 1.17 0.47 3/534 23305
/proc/meminfo: memFree=29355396/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=314300 CPUtime=1.86 cores=1,3,5,7
/proc/23279/stat : 23279 (python) S 23277 23279 23050 0 -1 4202496 18259 931 1 0 175 11 0 0 21 0 2 0 869257971 321843200 12406 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23279/statm: 78575 12406 1862 364 0 13462 0
[pid=23285] ppid=23279 vsize=304056 CPUtime=0.03 cores=1,3,5,7
/proc/23285/stat : 23285 (python) S 23279 23279 23050 0 -1 4202560 912 0 0 0 1 2 0 0 15 0 1 0 869258168 311353344 10915 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550557711 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23285/statm: 76014 10915 375 364 0 10901 0
[pid=23287] ppid=23285 vsize=8537620 CPUtime=12.21 cores=1,3,5,7
/proc/23287/stat : 23287 (java) S 23285 23287 23287 0 -1 4202496 280536 0 1 0 1185 36 0 0 22 0 19 0 869258168 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23287/statm: 2134405 276354 2258 9 0 2125146 0
[pid=23287/tid=23288] ppid=23285 vsize=8537620 CPUtime=10.26 cores=1,3,5,7
/proc/23287/task/23288/stat : 23288 (java) R 23285 23287 23287 0 -1 4202560 238066 0 1 0 996 30 0 0 25 0 19 0 869258169 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 46912505867415 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23287/tid=23289] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
/proc/23287/task/23289/stat : 23289 (java) S 23285 23287 23287 0 -1 4202560 3602 0 0 0 5 0 0 0 16 0 19 0 869258169 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 5 0 0 0
[pid=23287/tid=23290] ppid=23285 vsize=8537620 CPUtime=0.03 cores=1,3,5,7
/proc/23287/task/23290/stat : 23290 (java) S 23285 23287 23287 0 -1 4202560 1899 0 0 0 3 0 0 0 15 0 19 0 869258169 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23291] ppid=23285 vsize=8537620 CPUtime=0.04 cores=1,3,5,7
/proc/23287/task/23291/stat : 23291 (java) S 23285 23287 23287 0 -1 4202560 3014 0 0 0 4 0 0 0 15 0 19 0 869258169 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23292] ppid=23285 vsize=8537620 CPUtime=0.01 cores=1,3,5,7
/proc/23287/task/23292/stat : 23292 (java) S 23285 23287 23287 0 -1 4202560 628 0 0 0 1 0 0 0 15 0 19 0 869258169 8742522880 276354 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446604458127255744 0 0 -1 7 0 0 0
[pid=23287/tid=23293] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+287.002 s]
/proc/loadavg: 2.06 1.69 0.86 4/576 23354
/proc/meminfo: memFree=25971276/32951124 swapFree=55639044/67111528
[pid=23279] ppid=23277 vsize=375836 CPUtime=2.02 cores=1,3,5,7
/proc/23279/stat : 23279 (python) S 23277 23279 23050 0 -1 4202496 23685 931 1 0 190 12 0 0 20 0 8 0 869257971 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23279/statm: 93959 12451 1883 364 0 28828 0
[pid=23285] ppid=23279 vsize=314300 CPUtime=0.18 cores=1,3,5,7
/proc/23285/stat : 23285 (python) S 23279 23279 23050 0 -1 4202560 1093 0 0 0 9 9 0 0 16 0 2 0 869258168 321843200 10951 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23285/statm: 78575 10951 406 364 0 13462 0
[pid=23287] ppid=23285 vsize=8537620 CPUtime=46.42 cores=1,3,5,7
/proc/23287/stat : 23287 (java) T 23285 23287 23287 0 -1 4202496 668881 0 1 0 4567 75 0 0 18 0 19 0 869258168 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23287/statm: 2134405 664640 2259 9 0 2125146 0
[pid=23287/tid=23288] ppid=23285 vsize=8537620 CPUtime=43.7 cores=1,3,5,7
/proc/23287/task/23288/stat : 23288 (java) T 23285 23287 23287 0 -1 4202560 616843 0 1 0 4303 67 0 0 25 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 46912505848640 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23289] ppid=23285 vsize=8537620 CPUtime=0.09 cores=1,3,5,7
/proc/23287/task/23289/stat : 23289 (java) T 23285 23287 23287 0 -1 4202560 5253 0 0 0 9 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23287/tid=23290] ppid=23285 vsize=8537620 CPUtime=0.06 cores=1,3,5,7
/proc/23287/task/23290/stat : 23290 (java) T 23285 23287 23287 0 -1 4202560 3179 0 0 0 6 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23287/tid=23291] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
/proc/23287/task/23291/stat : 23291 (java) T 23285 23287 23287 0 -1 4202560 3278 0 0 0 5 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23287/tid=23292] ppid=23285 vsize=8537620 CPUtime=0.05 cores=1,3,5,7
/proc/23287/task/23292/stat : 23292 (java) T 23285 23287 23287 0 -1 4202560 1851 0 0 0 5 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23287/tid=23293] ppid=23285 vsize=8537620 CPUtime=0.07 cores=1,3,5,7
/proc/23287/task/23293/stat : 23293 (java) T 23285 23287 23287 0 -1 4202560 4679 0 0 0 7 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23287/tid=23294] ppid=23285 vsize=8537620 CPUtime=0.07 cores=1,3,5,7
/proc/23287/task/23294/stat : 23294 (java) T 23285 23287 23287 0 -1 4202560 4866 0 0 0 7 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23287/tid=23295] ppid=23285 vsize=8537620 CPUtime=0.02 cores=1,3,5,7
/proc/23287/task/23295/stat : 23295 (java) T 23285 23287 23287 0 -1 4202560 2249 0 0 0 2 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23287/tid=23296] ppid=23285 vsize=8537620 CPUtime=0.08 cores=1,3,5,7
/proc/23287/task/23296/stat : 23296 (java) T 23285 23287 23287 0 -1 4202560 4787 0 0 0 8 0 0 0 15 0 19 0 869258169 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23287/tid=23297] ppid=23285 vsize=8537620 CPUtime=0.84 cores=1,3,5,7
/proc/23287/task/23297/stat : 23297 (java) T 23285 23287 23287 0 -1 4202560 13954 0 0 0 82 2 0 0 15 0 19 0 869258170 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23298] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23298/stat : 23298 (java) T 23285 23287 23287 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869258171 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23299] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23299/stat : 23299 (java) T 23285 23287 23287 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869258171 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23300] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23300/stat : 23300 (java) T 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869258173 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23301] ppid=23285 vsize=8537620 CPUtime=0.69 cores=1,3,5,7
/proc/23287/task/23301/stat : 23301 (java) T 23285 23287 23287 0 -1 4202560 2811 0 0 0 69 0 0 0 15 0 19 0 869258173 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23287/tid=23302] ppid=23285 vsize=8537620 CPUtime=0.59 cores=1,3,5,7
/proc/23287/task/23302/stat : 23302 (java) T 23285 23287 23287 0 -1 4202560 3748 0 0 0 59 0 0 0 15 0 19 0 869258173 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23287/tid=23303] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23303/stat : 23303 (java) T 23285 23287 23287 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869258173 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23287/tid=23304] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23304/stat : 23304 (java) T 23285 23287 23287 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869258173 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23287/tid=23305] ppid=23285 vsize=8537620 CPUtime=0 cores=1,3,5,7
/proc/23287/task/23305/stat : 23305 (java) T 23285 23287 23287 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869258257 8742522880 664640 33554432000 1073741824 1073778376 140736444629968 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23285/tid=23307] ppid=23279 vsize=314300 CPUtime=0 cores=1,3,5,7
/proc/23285/task/23307/stat : 23307 (python) S 23279 23279 23050 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869262644 321843200 10951 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604456609244992 0 0 -1 5 0 0 0
[pid=23308] ppid=23279 vsize=314312 CPUtime=0.18 cores=1,3,5,7
/proc/23308/stat : 23308 (python) S 23279 23279 23050 0 -1 4202560 1101 0 0 0 9 9 0 0 16 0 2 0 869262646 321855488 10941 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23308/statm: 78578 10941 396 364 0 13462 0
[pid=23310] ppid=23308 vsize=1032856 CPUtime=47.7 cores=1,3,5,7
/proc/23310/stat : 23310 (pbct-0.1.2-linu) T 23308 23310 23310 0 -1 4202496 273465 0 0 0 4726 44 0 0 25 0 1 0 869262647 1057644544 251235 33554432000 134512640 136422188 4287412992 18446744073709551615 135029200 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/23310/statm: 258214 251235 216 467 0 257745 0
[pid=23308/tid=23312] ppid=23279 vsize=314312 CPUtime=0 cores=1,3,5,7
/proc/23308/task/23312/stat : 23312 (python) S 23279 23279 23050 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869267419 321855488 10941 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604468941746240 0 0 -1 7 0 0 0
[pid=23313] ppid=23279 vsize=324568 CPUtime=0.18 cores=1,3,5,7
/proc/23313/stat : 23313 (python) S 23279 23279 23050 0 -1 4202560 1130 0 0 0 10 8 0 0 16 0 2 0 869267421 332357632 10945 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23313/statm: 81142 10945 396 364 0 16023 0
[pid=23315] ppid=23313 vsize=28212 CPUtime=45.78 cores=1,3,5,7
/proc/23315/stat : 23315 (clasp-1.3.7-x86) T 23313 23315 23315 0 -1 4202496 7081 0 0 0 4578 0 0 0 25 0 1 0 869267422 28889088 6795 33554432000 134512640 136139019 4292092944 18446744073709551615 134608323 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/23315/statm: 7053 6795 189 398 0 6653 0
[pid=23313/tid=23318] ppid=23279 vsize=324568 CPUtime=0 cores=1,3,5,7
/proc/23313/task/23318/stat : 23318 (python) S 23279 23279 23050 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869272001 332357632 10945 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604458127253952 0 0 -1 7 0 0 0
[pid=23319] ppid=23279 vsize=334824 CPUtime=0.21 cores=1,3,5,7
/proc/23319/stat : 23319 (python) S 23279 23279 23050 0 -1 4202560 1144 0 0 0 11 10 0 0 17 0 2 0 869272003 342859776 10949 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23319/statm: 83706 10949 396 364 0 18584 0
[pid=23321] ppid=23319 vsize=240612 CPUtime=48.66 cores=1,3,5,7
/proc/23321/stat : 23321 (wbo1.4a) T 23319 23321 23321 0 -1 4202496 60823 0 0 0 4814 52 0 0 25 0 1 0 869272004 246386688 59634 33554432000 134512640 135751879 4286938640 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/23321/statm: 60153 59634 146 303 0 59848 0
[pid=23319/tid=23324] ppid=23279 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/23319/task/23324/stat : 23324 (python) S 23279 23279 23050 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869276871 342859776 10949 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604467278541952 0 0 -1 7 0 0 0
[pid=23325] ppid=23279 vsize=345080 CPUtime=0.21 cores=1,3,5,7
/proc/23325/stat : 23325 (python) S 23279 23279 23050 0 -1 4202560 1142 0 0 0 9 12 0 0 16 0 2 0 869276874 353361920 10953 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23325/statm: 86270 10953 396 364 0 21145 0
[pid=23327] ppid=23325 vsize=252040 CPUtime=50.65 cores=1,3,5,7
/proc/23327/stat : 23327 (scip-2.0.1.linu) T 23325 23327 23327 0 -1 4202496 67121 0 0 0 5039 26 0 0 25 0 1 0 869276874 258088960 59928 33554432000 4194304 13684479 140734580756864 18446744073709551615 7388076 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23327/statm: 63010 59928 1003 2317 0 60688 0
[pid=23325/tid=23329] ppid=23279 vsize=345080 CPUtime=0 cores=1,3,5,7
/proc/23325/task/23329/stat : 23329 (python) S 23279 23279 23050 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869281939 353361920 10953 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604458682164224 0 0 -1 7 0 0 0
[pid=23330] ppid=23279 vsize=355336 CPUtime=0.18 cores=1,3,5,7
/proc/23330/stat : 23330 (python) S 23279 23279 23050 0 -1 4202560 1204 0 0 0 9 9 0 0 17 0 2 0 869281942 363864064 10963 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23330/statm: 88834 10963 402 364 0 23706 0
[pid=23332] ppid=23330 vsize=250916 CPUtime=46.89 cores=1,3,5,7
/proc/23332/stat : 23332 (scip-2.0.1.linu) T 23330 23332 23332 0 -1 4202496 82273 0 0 0 4652 37 0 0 25 0 1 0 869281942 256937984 55412 33554432000 4194304 15243407 140736975906464 18446744073709551615 8108282 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23332/statm: 62729 55412 923 2698 0 60024 0
[pid=23330/tid=23334] ppid=23279 vsize=355336 CPUtime=0 cores=1,3,5,7
/proc/23330/task/23334/stat : 23334 (python) S 23279 23279 23050 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869286632 363864064 10963 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554946 18446604455018517632 0 0 -1 7 0 0 0
[pid=23335] ppid=23279 vsize=365592 CPUtime=0 cores=1,3,5,7
/proc/23335/stat : 23335 (python) S 23279 23279 23050 0 -1 4202560 860 0 0 0 0 0 0 0 18 0 1 0 869286634 374366208 10919 33554432000 4194304 5683644 140734950871856 18446744073709551615 271550557766 0 0 16781312 33554946 745089298717474816 0 0 17 1 0 0 0
/proc/23335/statm: 91398 10919 355 364 0 26267 0
[pid=23337] ppid=23335 vsize=8534780 CPUtime=0.71 cores=1,3,5,7
/proc/23337/stat : 23337 (java) S 23335 23337 23337 0 -1 4202496 15292 0 1 0 69 2 0 0 17 0 18 0 869286635 8739614720 13292 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23337/statm: 2133695 13293 2207 9 0 2124436 0
[pid=23337/tid=23338] ppid=23335 vsize=8536312 CPUtime=0.38 cores=1,3,5,7
/proc/23337/task/23338/stat : 23338 (java) R 23335 23337 23337 0 -1 4202560 10893 0 1 0 37 1 0 0 18 0 18 0 869286636 8741183488 14458 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 46912505561958 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23337/tid=23339] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23339/stat : 23339 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869286636 8741183488 14463 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23340] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23340/stat : 23340 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14465 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23341] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23341/stat : 23341 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14467 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23342] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23342/stat : 23342 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14468 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23343] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23343/stat : 23343 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14470 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23344] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23344/stat : 23344 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14471 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23345] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23345/stat : 23345 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14473 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23346] ppid=23335 vsize=8536312 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23346/stat : 23346 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869286636 8741183488 14474 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 3 0 0 0
[pid=23337/tid=23347] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23347/stat : 23347 (java) S 23335 23337 23337 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 869286637 8741318656 14477 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562354176 0 0 0 16800975 18446604459107457792 0 0 -1 5 0 0 0
[pid=23337/tid=23348] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23348/stat : 23348 (java) S 23335 23337 23337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 869286638 8741318656 14480 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 5 0 0 0
[pid=23337/tid=23349] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23349/stat : 23349 (java) S 23335 23337 23337 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 869286638 8741318656 14481 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 5 0 0 0
[pid=23337/tid=23350] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23350/stat : 23350 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869286640 8741318656 14484 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562361265 0 4 0 16800975 18446604459107457792 0 0 -1 5 0 0 0
[pid=23337/tid=23351] ppid=23335 vsize=8536444 CPUtime=0.15 cores=1,3,5,7
/proc/23337/task/23351/stat : 23351 (java) R 23335 23337 23337 0 -1 4202560 2469 0 0 0 15 0 0 0 22 0 18 0 869286640 8741318656 14486 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271550198817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23337/tid=23352] ppid=23335 vsize=8536444 CPUtime=0.17 cores=1,3,5,7
/proc/23337/task/23352/stat : 23352 (java) R 23335 23337 23337 0 -1 4202560 1707 0 0 0 17 0 0 0 25 0 18 0 869286640 8741318656 14489 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 47185209680830 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23337/tid=23353] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23353/stat : 23353 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869286640 8741318656 14490 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562353561 0 4 0 16800975 18446604459107457792 0 0 -1 5 0 0 0
[pid=23337/tid=23354] ppid=23335 vsize=8536444 CPUtime=0 cores=1,3,5,7
/proc/23337/task/23354/stat : 23354 (java) S 23335 23337 23337 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869286640 8741318656 14493 33554432000 1073741824 1073778376 140736383087232 18446744073709551615 271562354176 0 4 0 16800975 18446604459107457792 0 0 -1 7 0 0 0
[pid=23279/tid=23286] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23286/stat : 23286 (python) S 23277 23279 23050 0 -1 4202560 27 931 0 0 0 0 0 0 21 0 8 0 869258168 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 5 0 0 0
[pid=23279/tid=23309] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23309/stat : 23309 (python) S 23277 23279 23050 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 8 0 869262647 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 5 0 0 0
[pid=23279/tid=23314] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23314/stat : 23314 (python) S 23277 23279 23050 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 8 0 869267421 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 1 0 0 0
[pid=23279/tid=23320] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23320/stat : 23320 (python) S 23277 23279 23050 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 869272003 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 1 0 0 0
[pid=23279/tid=23326] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23326/stat : 23326 (python) S 23277 23279 23050 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 869276874 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 1 0 0 0
[pid=23279/tid=23331] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23331/stat : 23331 (python) S 23277 23279 23050 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 8 0 869281942 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 1 0 0 0
[pid=23279/tid=23336] ppid=23277 vsize=375836 CPUtime=0 cores=1,3,5,7
/proc/23279/task/23336/stat : 23336 (python) S 23277 23279 23050 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 8 0 869286635 384856064 12451 33554432000 4194304 5683644 140734950871856 18446744073709551615 271562361265 0 0 16781312 33554434 18446604458127256640 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 289.97
Current children cumulated vsize (KiB) 21606884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23279 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=900711
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 2.03269
# while last known CPU time is 289.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 287.103
CPU time (s): 289.97
CPU user time (s): 286.92
CPU system time (s): 3.05
CPU usage (%): 100.999
Max. virtual memory (cumulated for all children) (KiB): 21606884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.90071
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24621
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= 1016
involuntary context switches= 23
runsolver used 1.83372 second user time and 4.00339 second system time
The end