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-3481825-1307576518/watcher-3481825-1307576518 -o /tmp/evaluation-result-3481825-1307576518/solver-3481825-1307576518 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481825-1307576518.opb -seed 456707683 -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: 1.82 0.77 0.29 2/531 4340
/proc/meminfo: memFree=23258344/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 795 0 0 0 0 0 0 0 21 0 1 0 869249650 15749120 681 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/4340/statm: 3845 681 322 364 0 332 0
[startup+0.114079 s]
/proc/loadavg: 1.82 0.77 0.29 2/531 4340
/proc/meminfo: memFree=23258344/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=92000 CPUtime=0.07 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 2751 0 1 0 5 2 0 0 21 0 1 0 869249650 94208000 2461 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4340/statm: 23000 2461 782 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92000
[startup+0.201039 s]
/proc/loadavg: 1.82 0.77 0.29 2/531 4340
/proc/meminfo: memFree=23258344/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=117768 CPUtime=0.13 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 4869 930 1 0 9 4 0 0 17 0 1 0 869249650 120594432 3296 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4340/statm: 29442 3296 914 364 0 2412 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117768
[startup+0.301032 s]
/proc/loadavg: 1.82 0.77 0.29 2/531 4340
/proc/meminfo: memFree=23258344/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 5358 930 1 0 12 6 0 0 17 0 1 0 869249650 126709760 3744 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905726981 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4340/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700957 s]
/proc/loadavg: 1.82 0.77 0.29 2/531 4340
/proc/meminfo: memFree=23258344/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=240272 CPUtime=0.34 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 7641 930 1 0 25 9 0 0 16 0 1 0 869249650 246038528 5828 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4340/statm: 60068 5828 1590 364 0 4661 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 240272
[startup+1.50086 s]
/proc/loadavg: 1.82 0.77 0.29 3/552 4365
/proc/meminfo: memFree=23212484/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=294772 CPUtime=0.56 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 9905 930 1 0 45 11 0 0 18 0 2 0 869249650 301846528 7532 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4340/statm: 73693 7532 1870 364 0 8580 0
[pid=4346] ppid=4340 vsize=284528 CPUtime=0 cores=0,2,4,6
/proc/4346/stat : 4346 (python) S 4340 4340 4191 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869249745 291356672 6010 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905751055 0 0 16781312 33554946 1567697117835689984 0 0 17 0 0 0 0
/proc/4346/statm: 71132 6010 352 364 0 6019 0
[pid=4348] ppid=4346 vsize=8541232 CPUtime=1.09 cores=0,2,4,6
/proc/4348/stat : 4348 (java) S 4346 4348 4348 0 -1 4202496 16110 0 1 0 106 3 0 0 19 0 19 0 869249746 8746221568 14183 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4348/statm: 2135308 14183 2218 9 0 2126049 0
[pid=4348/tid=4349] ppid=4346 vsize=8541232 CPUtime=0.52 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (java) R 4346 4348 4348 0 -1 4202560 9711 0 1 0 50 2 0 0 19 0 19 0 869249747 8746221568 14185 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 46912505731901 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4348/tid=4350] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869249747 8746221568 14187 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4351] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869249747 8746221568 14190 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4352] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4352/stat : 4352 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869249747 8746221568 14191 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4353] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4353/stat : 4353 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869249747 8746221568 14193 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4354] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4354/stat : 4354 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249747 8746221568 14195 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4355] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4355/stat : 4355 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249747 8746221568 14195 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4356] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4356/stat : 4356 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249747 8746221568 14195 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4357] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4357/stat : 4357 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249747 8746221568 14197 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4358] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4358/stat : 4358 (java) S 4346 4348 4348 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869249748 8746221568 14197 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 0 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4359] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4359/stat : 4359 (java) S 4346 4348 4348 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869249749 8746221568 14197 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4360] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4360/stat : 4360 (java) S 4346 4348 4348 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869249749 8746221568 14198 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4361] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4361/stat : 4361 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249751 8746221568 14198 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917554609 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4362] ppid=4346 vsize=8541232 CPUtime=0.28 cores=0,2,4,6
/proc/4348/task/4362/stat : 4362 (java) S 4346 4348 4348 0 -1 4202560 2383 0 0 0 28 0 0 0 18 0 19 0 869249751 8746221568 14199 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 4 0 0 0
[pid=4348/tid=4363] ppid=4346 vsize=8541232 CPUtime=0.27 cores=0,2,4,6
/proc/4348/task/4363/stat : 4363 (java) S 4346 4348 4348 0 -1 4202560 2631 0 0 0 27 0 0 0 25 0 19 0 869249751 8746221568 14201 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4364] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4364/stat : 4364 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249751 8746221568 14202 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4365] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4365/stat : 4365 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869249751 8746221568 14204 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4340/tid=4347] ppid=4338 vsize=294772 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869249746 301846528 7532 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9120532
[startup+3.10158 s]
/proc/loadavg: 1.82 0.77 0.29 3/553 4366
/proc/meminfo: memFree=23067892/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=294772 CPUtime=0.56 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 9905 930 1 0 45 11 0 0 18 0 2 0 869249650 301846528 7532 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4340/statm: 73693 7532 1870 364 0 8580 0
[pid=4346] ppid=4340 vsize=284528 CPUtime=0 cores=0,2,4,6
/proc/4346/stat : 4346 (python) S 4340 4340 4191 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 869249745 291356672 6010 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905751055 0 0 16781312 33554946 1094560741664489472 0 0 17 0 0 0 0
/proc/4346/statm: 71132 6010 352 364 0 6019 0
[pid=4348] ppid=4346 vsize=8541232 CPUtime=2.82 cores=0,2,4,6
/proc/4348/stat : 4348 (java) S 4346 4348 4348 0 -1 4202496 43727 0 1 0 276 6 0 0 19 0 19 0 869249746 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4348/statm: 2135308 41791 2250 9 0 2126049 0
[pid=4348/tid=4349] ppid=4346 vsize=8541232 CPUtime=2.1 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (java) R 4346 4348 4348 0 -1 4202560 35282 0 1 0 205 5 0 0 22 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 46912505751695 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4348/tid=4350] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (java) S 4346 4348 4348 0 -1 4202560 341 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4351] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (java) S 4346 4348 4348 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4352] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4352/stat : 4352 (java) S 4346 4348 4348 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4353] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4353/stat : 4353 (java) S 4346 4348 4348 0 -1 4202560 242 0 0 0 0 0 0 0 16 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4354] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4354/stat : 4354 (java) S 4346 4348 4348 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4355] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4355/stat : 4355 (java) S 4346 4348 4348 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4356] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4356/stat : 4356 (java) S 4346 4348 4348 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4357] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4357/stat : 4357 (java) S 4346 4348 4348 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4358] ppid=4346 vsize=8541232 CPUtime=0.01 cores=0,2,4,6
/proc/4348/task/4358/stat : 4358 (java) S 4346 4348 4348 0 -1 4202560 662 0 0 0 1 0 0 0 15 0 19 0 869249748 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 0 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4359] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4359/stat : 4359 (java) S 4346 4348 4348 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869249749 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4360] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4360/stat : 4360 (java) S 4346 4348 4348 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869249749 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4361] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4361/stat : 4361 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249751 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917554609 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4362] ppid=4346 vsize=8541232 CPUtime=0.38 cores=0,2,4,6
/proc/4348/task/4362/stat : 4362 (java) S 4346 4348 4348 0 -1 4202560 2408 0 0 0 38 0 0 0 15 0 19 0 869249751 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 4 0 0 0
[pid=4348/tid=4363] ppid=4346 vsize=8541232 CPUtime=0.3 cores=0,2,4,6
/proc/4348/task/4363/stat : 4363 (java) S 4346 4348 4348 0 -1 4202560 2638 0 0 0 30 0 0 0 15 0 19 0 869249751 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4364] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4364/stat : 4364 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869249751 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4365] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4365/stat : 4365 (java) S 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869249751 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4366] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4366/stat : 4366 (java) S 4346 4348 4348 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869249784 8746221568 41791 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4340/tid=4347] ppid=4338 vsize=294772 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869249746 301846528 7532 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 9120532
[startup+6.30097 s]
/proc/loadavg: 1.91 0.81 0.30 3/553 4366
/proc/meminfo: memFree=23044724/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=294772 CPUtime=0.56 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 9905 930 1 0 45 11 0 0 18 0 2 0 869249650 301846528 7532 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4340/statm: 73693 7532 1870 364 0 8580 0
[pid=4346] ppid=4340 vsize=284528 CPUtime=0.02 cores=0,2,4,6
/proc/4346/stat : 4346 (python) S 4340 4340 4191 0 -1 4202560 923 0 0 0 1 1 0 0 15 0 1 0 869249745 291356672 6034 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905751055 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/4346/statm: 71132 6034 376 364 0 6019 0
[pid=4348] ppid=4346 vsize=8541232 CPUtime=6.06 cores=0,2,4,6
/proc/4348/stat : 4348 (java) S 4346 4348 4348 0 -1 4202496 44596 0 1 0 599 7 0 0 19 0 19 0 869249746 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4348/statm: 2135308 41669 2250 9 0 2126049 0
[pid=4348/tid=4349] ppid=4346 vsize=8541232 CPUtime=5.25 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (java) R 4346 4348 4348 0 -1 4202560 35290 0 1 0 520 5 0 0 25 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 46912505818836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4348/tid=4350] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (java) S 4346 4348 4348 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4351] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (java) S 4346 4348 4348 0 -1 4202560 362 0 0 0 0 0 0 0 16 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4352] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4352/stat : 4352 (java) S 4346 4348 4348 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4353] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4353/stat : 4353 (java) S 4346 4348 4348 0 -1 4202560 671 0 0 0 0 0 0 0 16 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4354] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4354/stat : 4354 (java) S 4346 4348 4348 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4355] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4355/stat : 4355 (java) S 4346 4348 4348 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
[pid=4348/tid=4356] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4356/stat : 4356 (java) S 4346 4348 4348 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 2 0 0 0
[pid=4348/tid=4357] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4357/stat : 4357 (java) S 4346 4348 4348 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 869249747 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446604447049751616 0 0 -1 0 0 0 0
[pid=4348/tid=4358] ppid=4346 vsize=8541232 CPUtime=0.03 cores=0,2,4,6
/proc/4348/task/4358/stat : 4358 (java) S 4346 4348 4348 0 -1 4202560 1032 0 0 0 3 0 0 0 15 0 19 0 869249748 8746221568 41669 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 0 0 16800975 18446604447049751616 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4387/tid=4401] ppid=4385 vsize=8534128 CPUtime=0.14 cores=0,2,4,6
/proc/4387/task/4401/stat : 4401 (java) R 4385 4387 4387 0 -1 4202560 813 0 0 0 14 0 0 0 17 0 19 0 869268312 8738947072 10580 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 47942661336299 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4387/tid=4402] ppid=4385 vsize=8534128 CPUtime=0.19 cores=0,2,4,6
/proc/4387/task/4402/stat : 4402 (java) R 4385 4387 4387 0 -1 4202560 2017 0 0 0 19 0 0 0 25 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 47942661927424 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4387/tid=4403] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4403/stat : 4403 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4404] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4404/stat : 4404 (java) R 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917547520 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4387/tid=4405] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4405/stat : 4405 (java) S 4385 4387 4387 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869268348 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4340/tid=4347] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 6 0 869249746 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4370] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4370/stat : 4370 (python) S 4338 4340 4191 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 6 0 869254239 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4375] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4375/stat : 4375 (python) S 4338 4340 4191 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869258860 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4381] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4381/stat : 4381 (python) S 4338 4340 4191 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869263487 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 6 0 0 0
[pid=4340/tid=4386] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4386/stat : 4386 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869268306 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 188.57
Current children cumulated vsize (KiB) 19192296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+187.001 s]
/proc/loadavg: 2.10 1.37 0.60 4/587 4405
/proc/meminfo: memFree=22350892/32951124 swapFree=56930356/67111528
[pid=4340] ppid=4338 vsize=336300 CPUtime=0.67 cores=0,2,4,6
/proc/4340/stat : 4340 (python) S 4338 4340 4191 0 -1 4202496 13508 930 1 0 55 12 0 0 20 0 6 0 869249650 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4340/statm: 84075 7683 1879 364 0 18950 0
[pid=4346] ppid=4340 vsize=294772 CPUtime=0.21 cores=0,2,4,6
/proc/4346/stat : 4346 (python) S 4340 4340 4191 0 -1 4202560 1099 0 0 0 10 11 0 0 16 0 2 0 869249745 301846528 6070 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4346/statm: 73693 6070 407 364 0 8580 0
[pid=4348] ppid=4346 vsize=8541232 CPUtime=45.87 cores=0,2,4,6
/proc/4348/stat : 4348 (java) T 4346 4348 4348 0 -1 4202496 51033 0 1 0 4577 10 0 0 18 0 19 0 869249746 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4348/statm: 2135308 32065 2250 9 0 2126049 0
[pid=4348/tid=4349] ppid=4346 vsize=8541232 CPUtime=44.22 cores=0,2,4,6
/proc/4348/task/4349/stat : 4349 (java) T 4346 4348 4348 0 -1 4202560 35399 0 1 0 4417 5 0 0 25 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 46912505366594 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4350] ppid=4346 vsize=8541232 CPUtime=0.07 cores=0,2,4,6
/proc/4348/task/4350/stat : 4350 (java) T 4346 4348 4348 0 -1 4202560 1666 0 0 0 7 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4351] ppid=4346 vsize=8541232 CPUtime=0.06 cores=0,2,4,6
/proc/4348/task/4351/stat : 4351 (java) T 4346 4348 4348 0 -1 4202560 1069 0 0 0 6 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4352] ppid=4346 vsize=8541232 CPUtime=0.07 cores=0,2,4,6
/proc/4348/task/4352/stat : 4352 (java) T 4346 4348 4348 0 -1 4202560 723 0 0 0 7 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4353] ppid=4346 vsize=8541232 CPUtime=0.08 cores=0,2,4,6
/proc/4348/task/4353/stat : 4353 (java) T 4346 4348 4348 0 -1 4202560 1560 0 0 0 8 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4354] ppid=4346 vsize=8541232 CPUtime=0.05 cores=0,2,4,6
/proc/4348/task/4354/stat : 4354 (java) T 4346 4348 4348 0 -1 4202560 566 0 0 0 5 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4355] ppid=4346 vsize=8541232 CPUtime=0.05 cores=0,2,4,6
/proc/4348/task/4355/stat : 4355 (java) T 4346 4348 4348 0 -1 4202560 471 0 0 0 5 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4356] ppid=4346 vsize=8541232 CPUtime=0.08 cores=0,2,4,6
/proc/4348/task/4356/stat : 4356 (java) T 4346 4348 4348 0 -1 4202560 1136 0 0 0 8 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4357] ppid=4346 vsize=8541232 CPUtime=0.05 cores=0,2,4,6
/proc/4348/task/4357/stat : 4357 (java) T 4346 4348 4348 0 -1 4202560 651 0 0 0 5 0 0 0 15 0 19 0 869249747 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4358] ppid=4346 vsize=8541232 CPUtime=0.29 cores=0,2,4,6
/proc/4348/task/4358/stat : 4358 (java) T 4346 4348 4348 0 -1 4202560 1334 0 0 0 28 1 0 0 15 0 19 0 869249748 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4348/tid=4359] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4359/stat : 4359 (java) T 4346 4348 4348 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869249749 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4360] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4360/stat : 4360 (java) T 4346 4348 4348 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869249749 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4361] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4361/stat : 4361 (java) T 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869249751 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4362] ppid=4346 vsize=8541232 CPUtime=0.44 cores=0,2,4,6
/proc/4348/task/4362/stat : 4362 (java) T 4346 4348 4348 0 -1 4202560 2434 0 0 0 44 0 0 0 15 0 19 0 869249751 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4348/tid=4363] ppid=4346 vsize=8541232 CPUtime=0.31 cores=0,2,4,6
/proc/4348/task/4363/stat : 4363 (java) T 4346 4348 4348 0 -1 4202560 2640 0 0 0 31 0 0 0 15 0 19 0 869249751 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4348/tid=4364] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4364/stat : 4364 (java) T 4346 4348 4348 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869249751 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4348/tid=4365] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4365/stat : 4365 (java) T 4346 4348 4348 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869249751 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4348/tid=4366] ppid=4346 vsize=8541232 CPUtime=0 cores=0,2,4,6
/proc/4348/task/4366/stat : 4366 (java) T 4346 4348 4348 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869249784 8746221568 32065 33554432000 1073741824 1073778376 140735357646112 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4346/tid=4368] ppid=4340 vsize=294772 CPUtime=0 cores=0,2,4,6
/proc/4346/task/4368/stat : 4368 (python) S 4340 4340 4191 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869254236 301846528 6070 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453913051520 0 0 -1 6 0 0 0
[pid=4369] ppid=4340 vsize=294784 CPUtime=0.22 cores=0,2,4,6
/proc/4369/stat : 4369 (python) S 4340 4340 4191 0 -1 4202560 1100 0 0 0 12 10 0 0 17 0 2 0 869254239 301858816 6060 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4369/statm: 73696 6060 397 364 0 8580 0
[pid=4371] ppid=4369 vsize=101832 CPUtime=46.14 cores=0,2,4,6
/proc/4371/stat : 4371 (wbo1.4a) T 4369 4371 4371 0 -1 4202496 25340 0 0 0 4583 31 0 0 25 0 1 0 869254239 104275968 25026 33554432000 134512640 135751879 4290913104 18446744073709551615 134518934 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/4371/statm: 25458 25026 146 303 0 25153 0
[pid=4369/tid=4373] ppid=4340 vsize=294784 CPUtime=0 cores=0,2,4,6
/proc/4369/task/4373/stat : 4373 (python) S 4340 4340 4191 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869258857 301858816 6060 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554946 18446604440763773248 0 0 -1 6 0 0 0
[pid=4374] ppid=4340 vsize=305040 CPUtime=0.22 cores=0,2,4,6
/proc/4374/stat : 4374 (python) S 4340 4340 4191 0 -1 4202560 1120 0 0 0 11 11 0 0 17 0 2 0 869258859 312360960 6064 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4374/statm: 76260 6064 397 364 0 11141 0
[pid=4376] ppid=4374 vsize=67516 CPUtime=46.23 cores=0,2,4,6
/proc/4376/stat : 4376 (scip-2.0.1.linu) T 4374 4376 4376 0 -1 4202496 16883 0 0 0 4595 28 0 0 25 0 1 0 869258860 69136384 14537 33554432000 4194304 13684479 140733718880848 18446744073709551615 7399907 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4376/statm: 16879 14537 834 2317 0 14557 0
[pid=4374/tid=4379] ppid=4340 vsize=305040 CPUtime=0 cores=0,2,4,6
/proc/4374/task/4379/stat : 4379 (python) S 4340 4340 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869263484 312360960 6064 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554946 18446604445590178496 0 0 -1 6 0 0 0
[pid=4380] ppid=4340 vsize=315296 CPUtime=0.24 cores=0,2,4,6
/proc/4380/stat : 4380 (python) S 4340 4340 4191 0 -1 4202560 1128 0 0 0 11 13 0 0 17 0 2 0 869263487 322863104 6068 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/4380/statm: 78824 6068 397 364 0 13702 0
[pid=4382] ppid=4380 vsize=75340 CPUtime=48.03 cores=0,2,4,6
/proc/4382/stat : 4382 (pbct-0.1.2-linu) T 4380 4382 4382 0 -1 4202496 19269 0 0 0 4766 37 0 0 25 0 1 0 869263487 77148160 17989 33554432000 134512640 136422188 4291174560 18446744073709551615 134864545 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/4382/statm: 18835 17989 238 467 0 18366 0
[pid=4380/tid=4384] ppid=4340 vsize=315296 CPUtime=0 cores=0,2,4,6
/proc/4380/task/4384/stat : 4384 (python) S 4340 4340 4191 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869268303 322863104 6068 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453071270080 0 0 -1 0 0 0 0
[pid=4385] ppid=4340 vsize=326056 CPUtime=0 cores=0,2,4,6
/proc/4385/stat : 4385 (python) S 4340 4340 4191 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 869268306 333881344 6149 33554432000 4194304 5683644 140736906513136 18446744073709551615 218905751110 0 0 16781312 33554946 3725961219647995904 0 0 17 0 0 0 0
/proc/4385/statm: 81514 6149 349 364 0 16389 0
[pid=4387] ppid=4385 vsize=8534128 CPUtime=0.74 cores=0,2,4,6
/proc/4387/stat : 4387 (java) S 4385 4387 4387 0 -1 4202496 11996 0 1 0 72 2 0 0 20 0 19 0 869268306 8738947072 10478 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4387/statm: 2133532 10478 2212 9 0 2124273 0
[pid=4387/tid=4388] ppid=4385 vsize=8534128 CPUtime=0.41 cores=0,2,4,6
/proc/4387/task/4388/stat : 4388 (java) R 4385 4387 4387 0 -1 4202560 7872 0 1 0 40 1 0 0 19 0 19 0 869268307 8738947072 10577 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 46912505694405 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=4387/tid=4389] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4389/stat : 4389 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869268308 8738947072 10577 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4390] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4390/stat : 4390 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869268308 8738947072 10577 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4391] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4391/stat : 4391 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869268308 8738947072 10578 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4392] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4392/stat : 4392 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268308 8738947072 10578 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4387/tid=4393] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4393/stat : 4393 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268308 8738947072 10579 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4387/tid=4394] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4394/stat : 4394 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268308 8738947072 10579 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4387/tid=4395] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4395/stat : 4395 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268308 8738947072 10579 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4387/tid=4396] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4396/stat : 4396 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268308 8738947072 10579 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4387/tid=4397] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4397/stat : 4397 (java) S 4385 4387 4387 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869268309 8738947072 10579 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917547520 0 0 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4398] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4398/stat : 4398 (java) S 4385 4387 4387 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869268309 8738947072 10580 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4399] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4399/stat : 4399 (java) S 4385 4387 4387 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869268309 8738947072 10580 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4400] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4400/stat : 4400 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268312 8738947072 10580 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917554609 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4401] ppid=4385 vsize=8534128 CPUtime=0.14 cores=0,2,4,6
/proc/4387/task/4401/stat : 4401 (java) R 4385 4387 4387 0 -1 4202560 813 0 0 0 14 0 0 0 17 0 19 0 869268312 8738947072 10580 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 47942661336299 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4387/tid=4402] ppid=4385 vsize=8534128 CPUtime=0.19 cores=0,2,4,6
/proc/4387/task/4402/stat : 4402 (java) R 4385 4387 4387 0 -1 4202560 2017 0 0 0 19 0 0 0 25 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 47942661927424 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4387/tid=4403] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4403/stat : 4403 (java) S 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4387/tid=4404] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4404/stat : 4404 (java) R 4385 4387 4387 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869268312 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917547520 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4387/tid=4405] ppid=4385 vsize=8534128 CPUtime=0 cores=0,2,4,6
/proc/4387/task/4405/stat : 4405 (java) S 4385 4387 4387 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869268348 8738947072 10581 33554432000 1073741824 1073778376 140734287079504 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4340/tid=4347] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4347/stat : 4347 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 6 0 869249746 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4370] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4370/stat : 4370 (python) S 4338 4340 4191 0 -1 4202560 24 930 0 0 0 0 0 0 20 0 6 0 869254239 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4375] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4375/stat : 4375 (python) S 4338 4340 4191 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869258860 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
[pid=4340/tid=4381] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4381/stat : 4381 (python) S 4338 4340 4191 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869263487 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 6 0 0 0
[pid=4340/tid=4386] ppid=4338 vsize=336300 CPUtime=0 cores=0,2,4,6
/proc/4340/task/4386/stat : 4386 (python) S 4338 4340 4191 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869268306 344371200 7683 33554432000 4194304 5683644 140736906513136 18446744073709551615 218917554609 0 0 16781312 33554434 18446604441470010432 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 188.57
Current children cumulated vsize (KiB) 19192296
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4340 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=556915
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 0.685895
# while last known CPU time is 188.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 187.176
CPU time (s): 188.57
CPU user time (s): 186.92
CPU system time (s): 1.65
CPU usage (%): 100.745
Max. virtual memory (cumulated for all children) (KiB): 19192296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.556915
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14441
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= 2871
involuntary context switches= 21
runsolver used 1.3258 second user time and 2.51662 second system time
The end