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-3481856-1307576896/watcher-3481856-1307576896 -o /tmp/evaluation-result-3481856-1307576896/solver-3481856-1307576896 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481856-1307576896.opb -seed 852816353 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.17 1.76 0.91 2/536 2901
/proc/meminfo: memFree=29205160/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/2901/stat : 2901 (python) R 2899 2901 2236 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 869288477 15749120 693 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594866320 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2901/statm: 3845 693 332 364 0 332 0
[startup+0.0998821 s]
/proc/loadavg: 2.17 1.76 0.91 2/536 2901
/proc/meminfo: memFree=29205160/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=87840 CPUtime=0.06 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 2706 0 1 0 5 1 0 0 17 0 1 0 869288477 89948160 2419 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/2901/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.100938 s]
/proc/loadavg: 2.17 1.76 0.91 2/536 2901
/proc/meminfo: memFree=29205160/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=89936 CPUtime=0.06 cores=0,2,4,6
/proc/2901/stat : 2901 (python) D 2899 2901 2236 0 -1 4202496 2717 0 1 0 5 1 0 0 17 0 1 0 869288477 92094464 2428 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594864640 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/2901/statm: 22484 2428 750 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89936
[startup+0.304079 s]
/proc/loadavg: 2.17 1.76 0.91 2/536 2901
/proc/meminfo: memFree=29205160/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=168308 CPUtime=0.24 cores=0,2,4,6
/proc/2901/stat : 2901 (python) R 2899 2901 2236 0 -1 4202496 5992 928 1 0 17 7 0 0 17 0 1 0 869288477 172347392 4309 33554432000 4194304 5683644 140735245715072 18446744073709551615 235598275504 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2901/statm: 42077 4309 1216 364 0 3294 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 168308
[startup+0.700703 s]
/proc/loadavg: 2.17 1.76 0.91 2/536 2901
/proc/meminfo: memFree=29205160/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 295016
[startup+1.50063 s]
/proc/loadavg: 2.17 1.76 0.91 3/543 2913
/proc/meminfo: memFree=29088224/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
[pid=2910] ppid=2901 vsize=284772 CPUtime=0 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 753 0 0 0 0 0 0 0 16 0 1 0 869288542 291606528 6040 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886671 0 0 16781312 33554946 1195987764454064388 0 0 17 6 0 0 0
/proc/2910/statm: 71193 6040 352 364 0 6080 0
[pid=2913] ppid=2910 vsize=57788 CPUtime=0.84 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) R 2910 2913 2913 0 -1 4202496 12680 0 0 0 82 2 0 0 21 0 1 0 869288542 59174912 12028 33554432000 4194304 13684479 140736658866528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2913/statm: 14447 12028 748 2317 0 12125 0
[pid=2901/tid=2912] ppid=2899 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 31 928 0 0 0 0 0 0 19 0 2 0 869288542 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 637576
[startup+3.10028 s]
/proc/loadavg: 2.17 1.76 0.91 3/536 2938
/proc/meminfo: memFree=29207196/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
[pid=2910] ppid=2901 vsize=284772 CPUtime=0 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 1 0 869288542 291606528 6040 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886671 0 0 16781312 33554946 1195987764454064388 0 0 17 6 0 0 0
/proc/2910/statm: 71193 6040 352 364 0 6080 0
[pid=2913] ppid=2910 vsize=57920 CPUtime=2.44 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) R 2910 2913 2913 0 -1 4202496 12711 0 0 0 242 2 0 0 25 0 1 0 869288542 59310080 12059 33554432000 4194304 13684479 140736658866528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2913/statm: 14480 12059 748 2317 0 12158 0
[pid=2901/tid=2912] ppid=2899 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 31 928 0 0 0 0 0 0 19 0 2 0 869288542 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 637708
[startup+6.30071 s]
/proc/loadavg: 2.24 1.78 0.92 2/536 2970
/proc/meminfo: memFree=29141220/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
[pid=2910] ppid=2901 vsize=284772 CPUtime=0.02 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 903 0 0 0 1 1 0 0 15 0 1 0 869288542 291606528 6069 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886671 0 0 16781312 33554946 4071294143777734656 0 0 17 6 0 0 0
/proc/2910/statm: 71193 6069 376 364 0 6080 0
[pid=2913] ppid=2910 vsize=80200 CPUtime=5.65 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) R 2910 2913 2913 0 -1 4202496 18105 0 0 0 560 5 0 0 25 0 1 0 869288542 82124800 17453 33554432000 4194304 13684479 140736658866528 18446744073709551615 6054249 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2913/statm: 20050 17453 806 2317 0 17728 0
[pid=2901/tid=2912] ppid=2899 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 31 928 0 0 0 0 0 0 19 0 2 0 869288542 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 659988
[startup+12.7006 s]
/proc/loadavg: 2.30 1.80 0.93 3/561 3042
/proc/meminfo: memFree=28990716/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
[pid=2910] ppid=2901 vsize=284772 CPUtime=0.03 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 908 0 0 0 2 1 0 0 15 0 1 0 869288542 291606528 6070 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886671 0 0 16781312 33554946 2978292913328357376 0 0 17 2 0 0 0
/proc/2910/statm: 71193 6070 376 364 0 6080 0
[pid=2913] ppid=2910 vsize=116764 CPUtime=12.04 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) R 2910 2913 2913 0 -1 4202496 27182 0 0 0 1192 12 0 0 25 0 1 0 869288542 119566336 26375 33554432000 4194304 13684479 140736658866528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2913/statm: 29191 26375 806 2317 0 26869 0
[pid=2901/tid=2912] ppid=2899 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 31 928 0 0 0 0 0 0 19 0 2 0 869288542 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 696552
[startup+25.5174 s]
/proc/loadavg: 2.30 1.83 0.95 3/561 3042
/proc/meminfo: memFree=28903600/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=295016 CPUtime=0.54 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10060 928 1 0 44 10 0 0 19 0 2 0 869288477 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2901/statm: 73754 7562 1870 364 0 8641 0
[pid=2910] ppid=2901 vsize=284772 CPUtime=0.09 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 918 0 0 0 4 5 0 0 15 0 1 0 869288542 291606528 6070 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886671 0 0 16781312 33554946 72556772316949362 0 0 17 6 0 0 0
/proc/2910/statm: 71193 6070 376 364 0 6080 0
[pid=2913] ppid=2910 vsize=117552 CPUtime=24.86 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) R 2910 2913 2913 0 -1 4202496 27420 0 0 0 2468 18 0 0 25 0 1 0 869288542 120373248 26613 33554432000 4194304 13684479 140736658866528 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2913/statm: 29388 26613 822 2317 0 27066 0
[pid=2901/tid=2912] ppid=2899 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 31 928 0 0 0 0 0 0 19 0 2 0 869288542 302096384 7562 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 697340
[startup+51.1009 s]
/proc/loadavg: 2.27 1.86 0.98 3/583 3065
/proc/meminfo: memFree=28765708/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=305776 CPUtime=0.56 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 10940 928 1 0 46 10 0 0 20 0 3 0 869288477 313114624 7697 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2901/statm: 76444 7697 1873 364 0 11328 0
[pid=2910] ppid=2901 vsize=295016 CPUtime=0.18 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 1088 0 0 0 8 10 0 0 17 0 2 0 869288542 302096384 6106 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2910/statm: 73754 6106 407 364 0 8641 0
[pid=2913] ppid=2910 vsize=117552 CPUtime=46.45 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) T 2910 2913 2913 0 -1 4202496 27420 0 0 0 4622 23 0 0 25 0 1 0 869288542 120373248 26613 33554432000 4194304 13684479 140736658866528 18446744073709551615 7268038 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2913/statm: 29388 26613 822 2317 0 27066 0
[pid=2910/tid=3044] ppid=2901 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2910/task/3044/stat : 3044 (python) S 2901 2901 2236 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869293188 302096384 6106 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453922012160 0 0 -1 6 0 0 0
[pid=3045] ppid=2901 vsize=295532 CPUtime=0.01 cores=0,2,4,6
/proc/3045/stat : 3045 (python) S 2901 2901 2236 0 -1 4202560 925 0 0 0 0 1 0 0 15 0 1 0 869293190 302624768 6198 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886726 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/3045/statm: 73883 6198 373 364 0 8767 0
[pid=3047] ppid=3045 vsize=8539924 CPUtime=4.84 cores=0,2,4,6
/proc/3047/stat : 3047 (java) S 3045 3047 3047 0 -1 4202496 33949 0 1 0 478 6 0 0 20 0 19 0 869293190 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3047/statm: 2134981 31603 2254 9 0 2125722 0
[pid=3047/tid=3048] ppid=3045 vsize=8539924 CPUtime=3.9 cores=0,2,4,6
/proc/3047/task/3048/stat : 3048 (java) R 3045 3047 3047 0 -1 4202560 23156 0 1 0 386 4 0 0 25 0 19 0 869293191 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 46912505823808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3047/tid=3049] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3049/stat : 3049 (java) S 3045 3047 3047 0 -1 4202560 969 0 0 0 1 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 0 0 0 0
[pid=3047/tid=3050] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3050/stat : 3050 (java) S 3045 3047 3047 0 -1 4202560 836 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 4 0 0 0
[pid=3047/tid=3051] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3051/stat : 3051 (java) S 3045 3047 3047 0 -1 4202560 330 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 4 0 0 0
[pid=3047/tid=3052] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3052/stat : 3052 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 0 0 0 0
[pid=3047/tid=3053] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3053/stat : 3053 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 0 0 0 0
[pid=3047/tid=3054] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3054/stat : 3054 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 0 0 0 0
[pid=3047/tid=3055] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3055/stat : 3055 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 0 0 0 0
[pid=3047/tid=3056] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3056/stat : 3056 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869293192 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 4 0 0 0
[pid=3047/tid=3057] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3057/stat : 3057 (java) S 3045 3047 3047 0 -1 4202560 2081 0 0 0 1 0 0 0 17 0 19 0 869293193 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606683136 0 0 0 16800975 18446604442857155392 0 0 -1 6 0 0 0
[pid=3047/tid=3058] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3058/stat : 3058 (java) S 3045 3047 3047 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869293193 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 6 0 0 0
[pid=3047/tid=3059] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3059/stat : 3059 (java) S 3045 3047 3047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869293193 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 6 0 0 0
[pid=3047/tid=3060] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3060/stat : 3060 (java) S 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869293195 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606690225 0 4 0 16800975 18446604442857155392 0 0 -1 6 0 0 0
[pid=3047/tid=3061] ppid=3045 vsize=8539924 CPUtime=0.39 cores=0,2,4,6
/proc/3047/task/3061/stat : 3061 (java) S 3045 3047 3047 0 -1 4202560 1932 0 0 0 39 0 0 0 15 0 19 0 869293195 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 6 0 0 0
[pid=3047/tid=3062] ppid=3045 vsize=8539924 CPUtime=0.46 cores=0,2,4,6
/proc/3047/task/3062/stat : 3062 (java) S 3045 3047 3047 0 -1 4202560 3253 0 0 0 46 0 0 0 15 0 19 0 869293195 8744882176 31603 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446604442857155392 0 0 -1 4 0 0 0
[pid=3047/tid=3063] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=2901/tid=3046] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3046/stat : 3046 (python) S 2899 2901 2236 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 7 0 869293190 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 0 0 0 0
[pid=2901/tid=3074] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3074/stat : 3074 (python) S 2899 2901 2236 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 7 0 869297699 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 4 0 0 0
[pid=2901/tid=3084] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3084/stat : 3084 (python) S 2899 2901 2236 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 7 0 869307287 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 6 0 0 0
[pid=2901/tid=3096] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3096/stat : 3096 (python) S 2899 2901 2236 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 7 0 869316875 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 0 0 0 0
[pid=2901/tid=3106] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3106/stat : 3106 (python) S 2899 2901 2236 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869321737 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 336.2
Current children cumulated vsize (KiB) 19810880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+333.402 s]
/proc/loadavg: 2.27 2.02 1.27 4/633 3131
/proc/meminfo: memFree=27988468/32950928 swapFree=34366004/67111528
[pid=2901] ppid=2899 vsize=346800 CPUtime=0.71 cores=0,2,4,6
/proc/2901/stat : 2901 (python) S 2899 2901 2236 0 -1 4202496 14653 928 1 0 60 11 0 0 20 0 7 0 869288477 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2901/statm: 86700 7724 1881 364 0 21572 0
[pid=2910] ppid=2901 vsize=295016 CPUtime=0.37 cores=0,2,4,6
/proc/2910/stat : 2910 (python) S 2901 2901 2236 0 -1 4202560 1112 0 0 0 17 20 0 0 15 0 2 0 869288542 302096384 6107 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2910/statm: 73754 6107 408 364 0 8641 0
[pid=2913] ppid=2910 vsize=117552 CPUtime=92.63 cores=0,2,4,6
/proc/2913/stat : 2913 (scip-2.0.1.linu) T 2910 2913 2913 0 -1 4202496 27420 0 0 0 9229 34 0 0 25 0 1 0 869288542 120373248 26613 33554432000 4194304 13684479 140736658866528 18446744073709551615 7387894 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2913/statm: 29388 26613 822 2317 0 27066 0
[pid=2910/tid=3044] ppid=2901 vsize=295016 CPUtime=0 cores=0,2,4,6
/proc/2910/task/3044/stat : 3044 (python) S 2901 2901 2236 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869293188 302096384 6107 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604453922012160 0 0 -1 6 0 0 0
[pid=3045] ppid=2901 vsize=295532 CPUtime=0.19 cores=0,2,4,6
/proc/3045/stat : 3045 (python) S 2901 2901 2236 0 -1 4202560 1115 0 0 0 10 9 0 0 16 0 2 0 869293190 302624768 6223 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3045/statm: 73883 6223 397 364 0 8767 0
[pid=3047] ppid=3045 vsize=8539924 CPUtime=46.05 cores=0,2,4,6
/proc/3047/stat : 3047 (java) T 3045 3047 3047 0 -1 4202496 47681 0 1 0 4597 8 0 0 18 0 19 0 869293190 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3047/statm: 2134981 44812 2254 9 0 2125722 0
[pid=3047/tid=3048] ppid=3045 vsize=8539924 CPUtime=44.69 cores=0,2,4,6
/proc/3047/task/3048/stat : 3048 (java) T 3045 3047 3047 0 -1 4202560 23202 0 1 0 4465 4 0 0 25 0 19 0 869293191 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 46912505826938 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3047/tid=3049] ppid=3045 vsize=8539924 CPUtime=0.02 cores=0,2,4,6
/proc/3047/task/3049/stat : 3049 (java) T 3045 3047 3047 0 -1 4202560 974 0 0 0 2 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3050] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3050/stat : 3050 (java) T 3045 3047 3047 0 -1 4202560 993 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3047/tid=3051] ppid=3045 vsize=8539924 CPUtime=0.02 cores=0,2,4,6
/proc/3047/task/3051/stat : 3051 (java) T 3045 3047 3047 0 -1 4202560 1051 0 0 0 2 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3047/tid=3052] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3052/stat : 3052 (java) T 3045 3047 3047 0 -1 4202560 2817 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3047/tid=3053] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3053/stat : 3053 (java) T 3045 3047 3047 0 -1 4202560 415 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3047/tid=3054] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3054/stat : 3054 (java) T 3045 3047 3047 0 -1 4202560 2024 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3055] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3055/stat : 3055 (java) T 3045 3047 3047 0 -1 4202560 357 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3056] ppid=3045 vsize=8539924 CPUtime=0.01 cores=0,2,4,6
/proc/3047/task/3056/stat : 3056 (java) T 3045 3047 3047 0 -1 4202560 210 0 0 0 1 0 0 0 15 0 19 0 869293192 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3047/tid=3057] ppid=3045 vsize=8539924 CPUtime=0.23 cores=0,2,4,6
/proc/3047/task/3057/stat : 3057 (java) T 3045 3047 3047 0 -1 4202560 8745 0 0 0 23 0 0 0 15 0 19 0 869293193 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3047/tid=3058] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3058/stat : 3058 (java) T 3045 3047 3047 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869293193 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3059] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3059/stat : 3059 (java) T 3045 3047 3047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869293193 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3060] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3060/stat : 3060 (java) T 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293195 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3061] ppid=3045 vsize=8539924 CPUtime=0.44 cores=0,2,4,6
/proc/3047/task/3061/stat : 3061 (java) T 3045 3047 3047 0 -1 4202560 2249 0 0 0 44 0 0 0 15 0 19 0 869293195 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3062] ppid=3045 vsize=8539924 CPUtime=0.48 cores=0,2,4,6
/proc/3047/task/3062/stat : 3062 (java) T 3045 3047 3047 0 -1 4202560 3255 0 0 0 48 0 0 0 15 0 19 0 869293195 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3047/tid=3063] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3063/stat : 3063 (java) T 3045 3047 3047 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293195 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3064] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3064/stat : 3064 (java) T 3045 3047 3047 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869293195 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3047/tid=3065] ppid=3045 vsize=8539924 CPUtime=0 cores=0,2,4,6
/proc/3047/task/3065/stat : 3065 (java) T 3045 3047 3047 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869293242 8744882176 44812 33554432000 1073741824 1073778376 140733273680896 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3045/tid=3072] ppid=2901 vsize=295532 CPUtime=0 cores=0,2,4,6
/proc/3045/task/3072/stat : 3072 (python) S 2901 2901 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869297696 302624768 6223 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604446458104704 0 0 -1 6 0 0 0
[pid=3073] ppid=2901 vsize=305788 CPUtime=0.38 cores=0,2,4,6
/proc/3073/stat : 3073 (python) S 2901 2901 2236 0 -1 4202560 1152 0 0 0 20 18 0 0 17 0 2 0 869297699 313126912 6234 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3073/statm: 76447 6234 403 364 0 11328 0
[pid=3075] ppid=3073 vsize=63244 CPUtime=95.82 cores=0,2,4,6
/proc/3075/stat : 3075 (scip-2.0.1.linu) T 3073 3075 3075 0 -1 4202496 54687 0 0 0 9560 22 0 0 25 0 1 0 869297699 64761856 13156 33554432000 4194304 15243407 140737487749056 18446744073709551615 6033662 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3075/statm: 15811 13156 936 2698 0 13106 0
[pid=3073/tid=3082] ppid=2901 vsize=305788 CPUtime=0 cores=0,2,4,6
/proc/3073/task/3082/stat : 3082 (python) S 2901 2901 2236 0 -1 4202560 85 0 0 0 0 0 0 0 17 0 2 0 869307285 313126912 6234 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604442857153600 0 0 -1 6 0 0 0
[pid=3083] ppid=2901 vsize=316044 CPUtime=0.23 cores=0,2,4,6
/proc/3083/stat : 3083 (python) S 2901 2901 2236 0 -1 4202560 1187 0 0 0 12 11 0 0 16 0 2 0 869307287 323629056 6239 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3083/statm: 79011 6239 403 364 0 13889 0
[pid=3085] ppid=3083 vsize=166140 CPUtime=49.62 cores=0,2,4,6
/proc/3085/stat : 3085 (wbo1.4a) T 3083 3085 3085 0 -1 4202496 79484 0 0 0 4898 64 0 0 25 0 1 0 869307287 170127360 41029 33554432000 134512640 135751879 4289618592 18446744073709551615 134616540 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3085/statm: 41535 41029 146 303 0 41230 0
[pid=3083/tid=3093] ppid=2901 vsize=316044 CPUtime=0 cores=0,2,4,6
/proc/3083/task/3093/stat : 3093 (python) S 2901 2901 2236 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869312251 323629056 6239 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604445224774528 0 0 -1 6 0 0 0
[pid=3095] ppid=2901 vsize=326300 CPUtime=0.19 cores=0,2,4,6
/proc/3095/stat : 3095 (python) S 2901 2901 2236 0 -1 4202560 1131 0 0 0 10 9 0 0 16 0 2 0 869316875 334131200 6237 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3095/statm: 81575 6237 397 364 0 16450 0
[pid=3097] ppid=3095 vsize=161720 CPUtime=48.57 cores=0,2,4,6
/proc/3097/stat : 3097 (bsolo_pb10) T 3095 3097 3097 0 -1 4202496 38627 0 0 0 4853 4 0 0 25 0 1 0 869316875 165601280 37990 33554432000 134512640 137138936 4292955488 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/3097/statm: 40430 37990 192 642 0 39786 0
[pid=3095/tid=3103] ppid=2901 vsize=326300 CPUtime=0 cores=0,2,4,6
/proc/3095/task/3103/stat : 3103 (python) S 2901 2901 2236 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869321734 334131200 6237 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554946 18446604447774143616 0 0 -1 6 0 0 0
[pid=3105] ppid=2901 vsize=336556 CPUtime=0 cores=0,2,4,6
/proc/3105/stat : 3105 (python) S 2901 2901 2236 0 -1 4202560 813 0 0 0 0 0 0 0 16 0 1 0 869321737 344633344 6188 33554432000 4194304 5683644 140735245715072 18446744073709551615 235594886726 0 0 16781312 33554946 3394237543640727552 0 0 17 0 0 0 0
/proc/3105/statm: 84139 6188 349 364 0 19011 0
[pid=3107] ppid=3105 vsize=8540264 CPUtime=1.44 cores=0,2,4,6
/proc/3107/stat : 3107 (java) S 3105 3107 3107 0 -1 4202496 16684 0 1 0 141 3 0 0 20 0 19 0 869321737 8745230336 14818 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3107/statm: 2135066 14818 2227 9 0 2125807 0
[pid=3107/tid=3108] ppid=3105 vsize=8540264 CPUtime=0.82 cores=0,2,4,6
/proc/3107/task/3108/stat : 3108 (java) R 3105 3107 3107 0 -1 4202560 10717 0 1 0 81 1 0 0 19 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 46912505823451 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3107/tid=3109] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3109/stat : 3109 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3110] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3110/stat : 3110 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3111] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3111/stat : 3111 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3112] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3112/stat : 3112 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3113] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3113/stat : 3113 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3114] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3114/stat : 3114 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3115] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3115/stat : 3115 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3116] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3116/stat : 3116 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321738 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3119] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3119/stat : 3119 (java) S 3105 3107 3107 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869321739 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606683136 0 0 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3120] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3120/stat : 3120 (java) S 3105 3107 3107 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869321740 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3122] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3122/stat : 3122 (java) S 3105 3107 3107 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869321740 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3123] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3123/stat : 3123 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321742 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606690225 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3126] ppid=3105 vsize=8540264 CPUtime=0.3 cores=0,2,4,6
/proc/3107/task/3126/stat : 3126 (java) S 3105 3107 3107 0 -1 4202560 2545 0 0 0 30 0 0 0 23 0 19 0 869321742 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 2 0 0 0
[pid=3107/tid=3127] ppid=3105 vsize=8540264 CPUtime=0.3 cores=0,2,4,6
/proc/3107/task/3127/stat : 3127 (java) S 3105 3107 3107 0 -1 4202560 2024 0 0 0 30 0 0 0 15 0 19 0 869321742 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=3107/tid=3128] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3128/stat : 3128 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321742 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606682521 0 4 0 16800975 18446604453983266688 0 0 -1 4 0 0 0
[pid=3107/tid=3129] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3129/stat : 3129 (java) S 3105 3107 3107 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869321742 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606683136 0 4 0 16800975 18446604453983266688 0 0 -1 2 0 0 0
[pid=3107/tid=3131] ppid=3105 vsize=8540264 CPUtime=0 cores=0,2,4,6
/proc/3107/task/3131/stat : 3131 (java) S 3105 3107 3107 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869321783 8745230336 14819 33554432000 1073741824 1073778376 140733725851296 18446744073709551615 235606683136 0 4 0 16800975 18446604453983266688 0 0 -1 0 0 0 0
[pid=2901/tid=2912] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/2912/stat : 2912 (python) S 2899 2901 2236 0 -1 4202560 36 928 0 0 0 0 0 0 18 0 7 0 869288542 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 2 0 0 0
[pid=2901/tid=3046] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3046/stat : 3046 (python) S 2899 2901 2236 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 7 0 869293190 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 0 0 0 0
[pid=2901/tid=3074] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3074/stat : 3074 (python) S 2899 2901 2236 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 7 0 869297699 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 4 0 0 0
[pid=2901/tid=3084] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3084/stat : 3084 (python) S 2899 2901 2236 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 7 0 869307287 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 6 0 0 0
[pid=2901/tid=3096] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3096/stat : 3096 (python) S 2899 2901 2236 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 7 0 869316875 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 0 0 0 0
[pid=2901/tid=3106] ppid=2899 vsize=346800 CPUtime=0 cores=0,2,4,6
/proc/2901/task/3106/stat : 3106 (python) S 2899 2901 2236 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869321737 355123200 7724 33554432000 4194304 5683644 140735245715072 18446744073709551615 235606690225 0 0 16781312 33554434 18446604448262230080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 336.2
Current children cumulated vsize (KiB) 19810880
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2901 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=601908
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.71989
# while last known CPU time is 336.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 333.491
CPU time (s): 336.2
CPU user time (s): 334.07
CPU system time (s): 2.13
CPU usage (%): 100.812
Max. virtual memory (cumulated for all children) (KiB): 19810880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.601908
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15584
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= 3505
involuntary context switches= 29
runsolver used 2.23966 second user time and 4.30335 second system time
The end