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-3481707-1307576825/watcher-3481707-1307576825 -o /tmp/evaluation-result-3481707-1307576825/solver-3481707-1307576825 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481707-1307576825.opb -seed 1587251613 -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.01 1.50 0.70 2/411 16911
/proc/meminfo: memFree=26969732/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/16911/stat : 16911 (python) R 16909 16911 16077 0 -1 4202496 959 0 0 0 0 0 0 0 25 0 1 0 947913169 16289792 834 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020439175 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16911/statm: 3977 834 357 364 0 464 0
[startup+0.0295829 s]
/proc/loadavg: 2.01 1.50 0.70 2/411 16911
/proc/meminfo: memFree=26969732/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 1260 0 0 0 1 0 0 0 25 0 1 0 947913169 19341312 1113 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16911/statm: 4722 1113 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.104603 s]
/proc/loadavg: 2.01 1.50 0.70 2/411 16911
/proc/meminfo: memFree=26969732/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/16911/stat : 16911 (python) R 16909 16911 16077 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 947913169 98430976 2483 33554432000 4194304 5683644 140733639980656 18446744073709551615 5168605 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16911/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301608 s]
/proc/loadavg: 2.01 1.50 0.70 2/411 16911
/proc/meminfo: memFree=26969732/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 6679 930 1 0 17 6 0 0 17 0 1 0 947913169 207863808 4962 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16911/statm: 50748 4962 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.70048 s]
/proc/loadavg: 2.01 1.50 0.70 2/411 16911
/proc/meminfo: memFree=26969732/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 295700
[startup+1.50034 s]
/proc/loadavg: 2.01 1.50 0.70 3/419 16923
/proc/meminfo: memFree=26884480/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
[pid=16917] ppid=16911 vsize=285456 CPUtime=0 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 748 0 0 0 0 0 0 0 16 0 1 0 947913236 292306944 6200 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416015 0 0 16781312 33554946 3918029734763528449 0 0 17 6 0 0 0
/proc/16917/statm: 71364 6200 352 364 0 6251 0
[pid=16919] ppid=16917 vsize=64296 CPUtime=0.82 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) R 16917 16919 16919 0 -1 4202496 14378 0 0 0 78 4 0 0 21 0 1 0 947913236 65839104 13505 33554432000 4194304 13684479 140737287877776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16919/statm: 16074 13505 752 2317 0 13752 0
[pid=16911/tid=16918] ppid=16909 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947913236 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 645452
[startup+3.10108 s]
/proc/loadavg: 2.01 1.51 0.70 3/419 16923
/proc/meminfo: memFree=26876916/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
[pid=16917] ppid=16911 vsize=285456 CPUtime=0 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 947913236 292306944 6200 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416015 0 0 16781312 33554946 3918029734763528449 0 0 17 6 0 0 0
/proc/16917/statm: 71364 6200 352 364 0 6251 0
[pid=16919] ppid=16917 vsize=65820 CPUtime=2.41 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) R 16917 16919 16919 0 -1 4202496 14862 0 0 0 237 4 0 0 25 0 1 0 947913236 67399680 13978 33554432000 4194304 13684479 140737287877776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16919/statm: 16455 13978 746 2317 0 14133 0
[pid=16911/tid=16918] ppid=16909 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947913236 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 646976
[startup+6.3005 s]
/proc/loadavg: 2.01 1.51 0.70 3/419 16923
/proc/meminfo: memFree=26872576/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
[pid=16917] ppid=16911 vsize=285456 CPUtime=0.01 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 905 0 0 0 1 0 0 0 15 0 1 0 947913236 292306944 6227 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416015 0 0 16781312 33554946 3918027467020796161 0 0 17 6 0 0 0
/proc/16917/statm: 71364 6227 376 364 0 6251 0
[pid=16919] ppid=16917 vsize=65820 CPUtime=5.62 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) R 16917 16919 16919 0 -1 4202496 14900 0 0 0 557 5 0 0 25 0 1 0 947913236 67399680 14004 33554432000 4194304 13684479 140737287877776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16919/statm: 16455 14004 745 2317 0 14133 0
[pid=16911/tid=16918] ppid=16909 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947913236 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 646976
[startup+12.7003 s]
/proc/loadavg: 2.01 1.53 0.72 3/419 16923
/proc/meminfo: memFree=26869568/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
[pid=16917] ppid=16911 vsize=285456 CPUtime=0.02 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 909 0 0 0 1 1 0 0 15 0 1 0 947913236 292306944 6227 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416015 0 0 16781312 33554946 72556772316949405 0 0 17 6 0 0 0
/proc/16917/statm: 71364 6227 376 364 0 6251 0
[pid=16919] ppid=16917 vsize=67880 CPUtime=12.01 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) R 16917 16919 16919 0 -1 4202496 15411 0 0 0 1196 5 0 0 25 0 1 0 947913236 69509120 14515 33554432000 4194304 13684479 140737287877776 18446744073709551615 7390546 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16919/statm: 16970 14515 745 2317 0 14648 0
[pid=16911/tid=16918] ppid=16909 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947913236 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 649036
[startup+25.501 s]
/proc/loadavg: 2.01 1.54 0.73 3/419 16924
/proc/meminfo: memFree=26861256/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=295700 CPUtime=0.58 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 10311 930 1 0 49 9 0 0 19 0 2 0 947913169 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16911/statm: 73925 7722 1870 364 0 8812 0
[pid=16917] ppid=16911 vsize=285456 CPUtime=0.06 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 920 0 0 0 3 3 0 0 15 0 1 0 947913236 292306944 6228 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416015 0 0 16781312 33554946 72556772316949405 0 0 17 6 0 0 0
/proc/16917/statm: 71364 6228 376 364 0 6251 0
[pid=16919] ppid=16917 vsize=69100 CPUtime=24.81 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) R 16917 16919 16919 0 -1 4202496 18516 0 0 0 2474 7 0 0 25 0 1 0 947913236 70758400 14783 33554432000 4194304 13684479 140737287877776 18446744073709551615 7410352 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16919/statm: 17275 14783 745 2317 0 14953 0
[pid=16911/tid=16918] ppid=16909 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947913236 302796800 7722 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 650256
[startup+51.1013 s]
/proc/loadavg: 2.00 1.58 0.76 2/434 16971
/proc/meminfo: memFree=26818392/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=306460 CPUtime=0.6 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 11213 930 1 0 51 9 0 0 20 0 3 0 947913169 313815040 7857 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16911/statm: 76615 7857 1873 364 0 11499 0
[pid=16917] ppid=16911 vsize=295700 CPUtime=0.13 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 1092 0 0 0 7 6 0 0 17 0 2 0 947913236 302796800 6264 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16917/statm: 73925 6264 407 364 0 8812 0
[pid=16919] ppid=16917 vsize=78152 CPUtime=48.34 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) T 16917 16919 16919 0 -1 4202496 22846 0 0 0 4825 9 0 0 25 0 1 0 947913236 80027648 17005 33554432000 4194304 13684479 140737287877776 18446744073709551615 7019274 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16919/statm: 19538 17005 745 2317 0 17216 0
[pid=16917/tid=16925] ppid=16911 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16917/task/16925/stat : 16925 (python) S 16911 16911 16077 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947918071 302796800 6264 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 6 0 0 0
[pid=16927] ppid=16911 vsize=296216 CPUtime=0 cores=0,2,4,6
/proc/16927/stat : 16927 (python) S 16911 16911 16077 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 947918074 303325184 6329 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416070 0 0 16781312 33554946 3635357733487608065 0 0 17 0 0 0 0
/proc/16927/statm: 74054 6329 349 364 0 8938 0
[pid=16931] ppid=16927 vsize=8540560 CPUtime=2.92 cores=0,2,4,6
/proc/16931/stat : 16931 (java) S 16927 16931 16931 0 -1 4202496 20151 0 1 0 289 3 0 0 18 0 19 0 947918074 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16931/statm: 2135140 17007 2259 9 0 2125881 0
[pid=16931/tid=16933] ppid=16927 vsize=8540560 CPUtime=2 cores=0,2,4,6
/proc/16931/task/16933/stat : 16933 (java) R 16927 16931 16931 0 -1 4202560 10744 0 1 0 198 2 0 0 21 0 19 0 947918075 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 46912505917443 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16931/tid=16935] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16935/stat : 16935 (java) S 16927 16931 16931 0 -1 4202560 199 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16937] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16937/stat : 16937 (java) S 16927 16931 16931 0 -1 4202560 171 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 6 0 0 0
[pid=16931/tid=16939] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16939/stat : 16939 (java) S 16927 16931 16931 0 -1 4202560 214 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 6 0 0 0
[pid=16931/tid=16941] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16941/stat : 16941 (java) S 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16943] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16943/stat : 16943 (java) S 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16945] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16945/stat : 16945 (java) S 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16946] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16946/stat : 16946 (java) S 16927 16931 16931 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16948] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16948/stat : 16948 (java) S 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918076 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16951] ppid=16927 vsize=8540560 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16951/stat : 16951 (java) S 16927 16931 16931 0 -1 4202560 736 0 0 0 1 0 0 0 17 0 19 0 947918077 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032212480 0 0 0 16800975 18446604453978955840 0 0 -1 4 0 0 0
[pid=16931/tid=16953] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16953/stat : 16953 (java) S 16927 16931 16931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947918077 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16955] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16955/stat : 16955 (java) S 16927 16931 16931 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947918077 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16959] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16959/stat : 16959 (java) S 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947918080 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032219569 0 4 0 16800975 18446604453978955840 0 0 -1 6 0 0 0
[pid=16931/tid=16960] ppid=16927 vsize=8540560 CPUtime=0.41 cores=0,2,4,6
/proc/16931/task/16960/stat : 16960 (java) S 16927 16931 16931 0 -1 4202560 3213 0 0 0 41 0 0 0 16 0 19 0 947918080 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16963] ppid=16927 vsize=8540560 CPUtime=0.46 cores=0,2,4,6
/proc/16931/task/16963/stat : 16963 (java) S 16927 16931 16931 0 -1 4202560 3327 0 0 0 46 0 0 0 15 0 19 0 947918080 8745533440 17007 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446604453978955840 0 0 -1 0 0 0 0
[pid=16931/tid=16964] ppid=16927 vsize=8540560 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17046/stat : 17046 (scip-2.0.1.linu) T 17044 17046 17046 0 -1 4202496 100224 0 0 0 4816 17 0 0 25 0 1 0 947922729 74862592 14004 33554432000 4194304 15243407 140736277779792 18446744073709551615 8108639 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17046/statm: 18277 14004 849 2698 0 15572 0
[pid=17044/tid=17070] ppid=16911 vsize=306472 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17070/stat : 17070 (python) S 16911 16911 16077 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947927565 313827328 6395 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453907800448 0 0 -1 0 0 0 0
[pid=17071] ppid=16911 vsize=316728 CPUtime=0.05 cores=0,2,4,6
/proc/17071/stat : 17071 (python) S 16911 16911 16077 0 -1 4202560 971 0 0 0 2 3 0 0 15 0 1 0 947927567 324329472 6366 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416070 0 0 16781312 33554946 72556772316949405 0 0 17 6 0 0 0
/proc/17071/statm: 79182 6366 373 364 0 14060 0
[pid=17073] ppid=17071 vsize=27360 CPUtime=18.31 cores=0,2,4,6
/proc/17073/stat : 17073 (wbo1.4a) R 17071 17073 17073 0 -1 4202496 14527 0 0 0 1825 6 0 0 25 0 1 0 947927568 28016640 6368 33554432000 134512640 135751879 4291392016 18446744073709551615 134606351 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/17073/statm: 6840 6368 146 303 0 6535 0
[pid=16911/tid=16918] ppid=16909 vsize=326972 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 5 0 947913236 334819328 7870 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
[pid=16911/tid=16928] ppid=16909 vsize=326972 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16928/stat : 16928 (python) S 16909 16911 16077 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 947918074 334819328 7870 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 0 0 0 0
[pid=16911/tid=17045] ppid=16909 vsize=326972 CPUtime=0 cores=0,2,4,6
/proc/16911/task/17045/stat : 17045 (python) S 16909 16911 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 947922729 334819328 7870 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
[pid=16911/tid=17072] ppid=16909 vsize=326972 CPUtime=0 cores=0,2,4,6
/proc/16911/task/17072/stat : 17072 (python) S 16909 16911 16077 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 947927567 334819328 7870 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 163.66
Current children cumulated vsize (KiB) 10261488
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+194.602 s]
/proc/loadavg: 2.06 1.76 0.95 7/494 17099
/proc/meminfo: memFree=26016264/32951124 swapFree=67056304/67111528
[pid=16911] ppid=16909 vsize=337228 CPUtime=0.69 cores=0,2,4,6
/proc/16911/stat : 16911 (python) S 16909 16911 16077 0 -1 4202496 14166 930 1 0 59 10 0 0 20 0 6 0 947913169 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16911/statm: 84307 7877 1879 364 0 19182 0
[pid=16917] ppid=16911 vsize=295700 CPUtime=0.13 cores=0,2,4,6
/proc/16917/stat : 16917 (python) S 16911 16911 16077 0 -1 4202560 1092 0 0 0 7 6 0 0 17 0 2 0 947913236 302796800 6264 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16917/statm: 73925 6264 407 364 0 8812 0
[pid=16919] ppid=16917 vsize=78152 CPUtime=48.34 cores=0,2,4,6
/proc/16919/stat : 16919 (scip-2.0.1.linu) T 16917 16919 16919 0 -1 4202496 22846 0 0 0 4825 9 0 0 25 0 1 0 947913236 80027648 17005 33554432000 4194304 13684479 140737287877776 18446744073709551615 7019274 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16919/statm: 19538 17005 745 2317 0 17216 0
[pid=16917/tid=16925] ppid=16911 vsize=295700 CPUtime=0 cores=0,2,4,6
/proc/16917/task/16925/stat : 16925 (python) S 16911 16911 16077 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947918071 302796800 6264 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 6 0 0 0
[pid=16927] ppid=16911 vsize=296216 CPUtime=0.16 cores=0,2,4,6
/proc/16927/stat : 16927 (python) S 16911 16911 16077 0 -1 4202560 1116 0 0 0 9 7 0 0 16 0 2 0 947918074 303325184 6381 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16927/statm: 74054 6381 397 364 0 8938 0
[pid=16931] ppid=16927 vsize=8540780 CPUtime=47.54 cores=0,2,4,6
/proc/16931/stat : 16931 (java) T 16927 16931 16931 0 -1 4202496 21718 0 1 0 4749 5 0 0 18 0 19 0 947918074 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16931/statm: 2135195 18535 2259 9 0 2125936 0
[pid=16931/tid=16933] ppid=16927 vsize=8540780 CPUtime=46.06 cores=0,2,4,6
/proc/16931/task/16933/stat : 16933 (java) T 16927 16931 16931 0 -1 4202560 10768 0 1 0 4603 3 0 0 25 0 19 0 947918075 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 46912505901979 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16931/tid=16935] ppid=16927 vsize=8540780 CPUtime=0.02 cores=0,2,4,6
/proc/16931/task/16935/stat : 16935 (java) T 16927 16931 16931 0 -1 4202560 213 0 0 0 2 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16931/tid=16937] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16937/stat : 16937 (java) T 16927 16931 16931 0 -1 4202560 176 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16931/tid=16939] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16939/stat : 16939 (java) T 16927 16931 16931 0 -1 4202560 338 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16941] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16941/stat : 16941 (java) T 16927 16931 16931 0 -1 4202560 43 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16931/tid=16943] ppid=16927 vsize=8540780 CPUtime=0.02 cores=0,2,4,6
/proc/16931/task/16943/stat : 16943 (java) T 16927 16931 16931 0 -1 4202560 238 0 0 0 2 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16931/tid=16945] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16945/stat : 16945 (java) T 16927 16931 16931 0 -1 4202560 57 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16931/tid=16946] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16946/stat : 16946 (java) T 16927 16931 16931 0 -1 4202560 181 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16931/tid=16948] ppid=16927 vsize=8540780 CPUtime=0.01 cores=0,2,4,6
/proc/16931/task/16948/stat : 16948 (java) T 16927 16931 16931 0 -1 4202560 295 0 0 0 1 0 0 0 15 0 19 0 947918076 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16951] ppid=16927 vsize=8540780 CPUtime=0.36 cores=0,2,4,6
/proc/16931/task/16951/stat : 16951 (java) T 16927 16931 16931 0 -1 4202560 1440 0 0 0 36 0 0 0 15 0 19 0 947918077 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16931/tid=16953] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16953/stat : 16953 (java) T 16927 16931 16931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947918077 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16931/tid=16955] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16955/stat : 16955 (java) T 16927 16931 16931 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947918077 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16931/tid=16959] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16959/stat : 16959 (java) T 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918080 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16960] ppid=16927 vsize=8540780 CPUtime=0.46 cores=0,2,4,6
/proc/16931/task/16960/stat : 16960 (java) T 16927 16931 16931 0 -1 4202560 3247 0 0 0 46 0 0 0 15 0 19 0 947918080 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16931/tid=16963] ppid=16927 vsize=8540780 CPUtime=0.48 cores=0,2,4,6
/proc/16931/task/16963/stat : 16963 (java) T 16927 16931 16931 0 -1 4202560 3327 0 0 0 48 0 0 0 15 0 19 0 947918080 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16964] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16964/stat : 16964 (java) T 16927 16931 16931 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947918080 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16966] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16966/stat : 16966 (java) T 16927 16931 16931 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947918080 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16931/tid=16967] ppid=16927 vsize=8540780 CPUtime=0 cores=0,2,4,6
/proc/16931/task/16967/stat : 16967 (java) T 16927 16931 16931 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947918125 8745758720 18535 33554432000 1073741824 1073778376 140733971094112 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16927/tid=17043] ppid=16911 vsize=296216 CPUtime=0 cores=0,2,4,6
/proc/16927/task/17043/stat : 17043 (python) S 16911 16911 16077 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947922726 303325184 6381 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604440629245248 0 0 -1 6 0 0 0
[pid=17044] ppid=16911 vsize=306472 CPUtime=0.14 cores=0,2,4,6
/proc/17044/stat : 17044 (python) S 16911 16911 16077 0 -1 4202560 1342 0 0 0 8 6 0 0 16 0 2 0 947922729 313827328 6395 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17044/statm: 76618 6395 406 364 0 11499 0
[pid=17046] ppid=17044 vsize=73108 CPUtime=48.33 cores=0,2,4,6
/proc/17046/stat : 17046 (scip-2.0.1.linu) T 17044 17046 17046 0 -1 4202496 100224 0 0 0 4816 17 0 0 25 0 1 0 947922729 74862592 14004 33554432000 4194304 15243407 140736277779792 18446744073709551615 8108639 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17046/statm: 18277 14004 849 2698 0 15572 0
[pid=17044/tid=17070] ppid=16911 vsize=306472 CPUtime=0 cores=0,2,4,6
/proc/17044/task/17070/stat : 17070 (python) S 16911 16911 16077 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947927565 313827328 6395 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453907800448 0 0 -1 0 0 0 0
[pid=17071] ppid=16911 vsize=316728 CPUtime=0.15 cores=0,2,4,6
/proc/17071/stat : 17071 (python) S 16911 16911 16077 0 -1 4202560 1148 0 0 0 7 8 0 0 16 0 2 0 947927567 324329472 6391 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17071/statm: 79182 6391 397 364 0 14060 0
[pid=17073] ppid=17071 vsize=59428 CPUtime=50.49 cores=0,2,4,6
/proc/17073/stat : 17073 (wbo1.4a) T 17071 17073 17073 0 -1 4202496 22544 0 0 0 5033 16 0 0 25 0 1 0 947927568 60854272 14385 33554432000 134512640 135751879 4291392016 18446744073709551615 134606459 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/17073/statm: 14857 14385 146 303 0 14552 0
[pid=17071/tid=17079] ppid=16911 vsize=316728 CPUtime=0 cores=0,2,4,6
/proc/17071/task/17079/stat : 17079 (python) S 16911 16911 16077 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947932617 324329472 6391 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453175371712 0 0 -1 6 0 0 0
[pid=17080] ppid=16911 vsize=326984 CPUtime=0 cores=0,2,4,6
/proc/17080/stat : 17080 (python) R 16911 16911 16077 0 -1 4202560 788 0 0 0 0 0 0 0 19 0 1 0 947932620 334831616 6343 33554432000 4194304 5683644 140733639980656 18446744073709551615 260020416070 0 0 16781312 33554946 0 0 0 17 2 0 0 0
/proc/17080/statm: 81746 6343 349 364 0 16621 0
[pid=17082] ppid=17080 vsize=8597348 CPUtime=0.1 cores=0,2,4,6
/proc/17082/stat : 17082 (java) S 17080 17082 17082 0 -1 4202496 5491 0 1 0 9 1 0 0 20 0 18 0 947932620 8803684352 4944 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17082/statm: 2149337 4944 2079 9 0 2140078 0
[pid=17082/tid=17083] ppid=17080 vsize=8597348 CPUtime=0.09 cores=0,2,4,6
/proc/17082/task/17083/stat : 17083 (java) R 17080 17082 17082 0 -1 4202560 3443 0 1 0 8 1 0 0 18 0 18 0 947932621 8803684352 4960 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17082/tid=17084] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17084/stat : 17084 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947932622 8803684352 4960 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17085] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17085/stat : 17085 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947932622 8803684352 4960 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17086] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17086/stat : 17086 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947932622 8803684352 4960 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17087] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17087/stat : 17087 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932622 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17088] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17088/stat : 17088 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932622 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17089] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17089/stat : 17089 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932622 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17090] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17090/stat : 17090 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932622 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17091] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17091/stat : 17091 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932622 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17092] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17092/stat : 17092 (java) S 17080 17082 17082 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947932623 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17093] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17093/stat : 17093 (java) S 17080 17082 17082 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947932623 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17094] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17094/stat : 17094 (java) S 17080 17082 17082 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947932623 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17095] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17095/stat : 17095 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932626 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17096] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17096/stat : 17096 (java) R 17080 17082 17082 0 -1 4202560 277 0 0 0 0 0 0 0 25 0 18 0 947932626 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 47773840013601 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17082/tid=17097] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17097/stat : 17097 (java) R 17080 17082 17082 0 -1 4202560 393 0 0 0 0 0 0 0 25 0 18 0 947932626 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 47773837319636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17082/tid=17098] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17098/stat : 17098 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932626 8803684352 4961 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=17082/tid=17099] ppid=17080 vsize=8597348 CPUtime=0 cores=0,2,4,6
/proc/17082/task/17099/stat : 17099 (java) S 17080 17082 17082 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947932626 8803684352 4962 33554432000 1073741824 1073778376 140736550873024 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 4 0 0 0
[pid=16911/tid=16918] ppid=16909 vsize=337228 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16918/stat : 16918 (python) S 16909 16911 16077 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 6 0 947913236 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
[pid=16911/tid=16928] ppid=16909 vsize=337228 CPUtime=0 cores=0,2,4,6
/proc/16911/task/16928/stat : 16928 (python) S 16909 16911 16077 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947918074 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 0 0 0 0
[pid=16911/tid=17045] ppid=16909 vsize=337228 CPUtime=0 cores=0,2,4,6
/proc/16911/task/17045/stat : 17045 (python) S 16909 16911 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 947922729 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
[pid=16911/tid=17072] ppid=16909 vsize=337228 CPUtime=0 cores=0,2,4,6
/proc/16911/task/17072/stat : 17072 (python) S 16909 16911 16077 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 947927567 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 6 0 0 0
[pid=16911/tid=17081] ppid=16909 vsize=337228 CPUtime=0 cores=0,2,4,6
/proc/16911/task/17081/stat : 17081 (python) S 16909 16911 16077 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 947932620 345321472 7877 33554432000 4194304 5683644 140733639980656 18446744073709551615 260032219569 0 0 16781312 33554434 18446604444696867264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 196.07
Current children cumulated vsize (KiB) 19228144
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 16911 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=595909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110983
# CPU time returned by wait4() is 0.706892
# while last known CPU time is 196.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 194.672
CPU time (s): 196.07
CPU user time (s): 195.22
CPU system time (s): 0.85
CPU usage (%): 100.718
Max. virtual memory (cumulated for all children) (KiB): 19228144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.595909
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15099
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= 1015
involuntary context switches= 20
runsolver used 0.911861 second user time and 1.74673 second system time
The end