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-3481880-1307576845/watcher-3481880-1307576845 -o /tmp/evaluation-result-3481880-1307576845/solver-3481880-1307576845 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481880-1307576845.opb -seed 683913730 -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.41 1.73 0.84 3/645 7598
/proc/meminfo: memFree=29951188/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/7598/stat : 7598 (python) R 7596 7598 7156 0 -1 4202496 845 0 0 0 0 0 0 0 18 0 1 0 947915267 16138240 727 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/7598/statm: 3940 727 334 364 0 427 0
[startup+0.0785311 s]
/proc/loadavg: 2.41 1.73 0.84 3/645 7598
/proc/meminfo: memFree=29951188/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=56744 CPUtime=0.05 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 2104 0 0 0 4 1 0 0 17 0 1 0 947915267 58105856 1858 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7598/statm: 14186 1858 499 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 56744
[startup+0.101249 s]
/proc/loadavg: 2.41 1.73 0.84 3/645 7598
/proc/meminfo: memFree=29951188/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 3034 464 1 0 5 2 0 0 18 0 1 0 947915267 98435072 2483 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284925696 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7598/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300529 s]
/proc/loadavg: 2.41 1.73 0.84 3/645 7598
/proc/meminfo: memFree=29951188/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 5357 928 1 0 12 5 0 0 17 0 1 0 947915267 126709760 3744 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7598/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700377 s]
/proc/loadavg: 2.41 1.73 0.84 3/645 7598
/proc/meminfo: memFree=29951188/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=262008 CPUtime=0.42 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 8386 928 1 0 27 15 0 0 16 0 1 0 947915267 268296192 6473 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7598/statm: 65502 6473 1677 364 0 5218 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 262008
[startup+1.50127 s]
/proc/loadavg: 2.41 1.73 0.84 5/653 7614
/proc/meminfo: memFree=29861952/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=293864 CPUtime=0.56 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 9799 928 1 0 40 16 0 0 18 0 2 0 947915267 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7598/statm: 73466 7305 1870 364 0 8353 0
[pid=7612] ppid=7598 vsize=283620 CPUtime=0 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 947915352 290426880 5783 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945935 0 0 16781312 33554946 210591983213740032 0 0 17 6 0 0 0
/proc/7612/statm: 70905 5783 352 364 0 5792 0
[pid=7614] ppid=7612 vsize=40372 CPUtime=0.63 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) R 7612 7614 7614 0 -1 4202496 8591 0 0 0 60 3 0 0 18 0 1 0 947915352 41340928 7777 33554432000 4194304 13684479 140735912986448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7614/statm: 10093 7777 774 2317 0 7771 0
[pid=7598/tid=7613] ppid=7596 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 947915352 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 617856
[startup+3.101 s]
/proc/loadavg: 2.70 1.81 0.87 5/653 7614
/proc/meminfo: memFree=29831448/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=293864 CPUtime=0.56 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 9799 928 1 0 40 16 0 0 18 0 2 0 947915267 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7598/statm: 73466 7305 1870 364 0 8353 0
[pid=7612] ppid=7598 vsize=283620 CPUtime=0 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 947915352 290426880 5783 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945935 0 0 16781312 33554946 2455765843477266432 0 0 17 6 0 0 0
/proc/7612/statm: 70905 5783 352 364 0 5792 0
[pid=7614] ppid=7612 vsize=48572 CPUtime=2.24 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) R 7612 7614 7614 0 -1 4202496 10741 0 0 0 218 6 0 0 18 0 1 0 947915352 49737728 9863 33554432000 4194304 13684479 140735912986448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7614/statm: 12143 9863 803 2317 0 9821 0
[pid=7598/tid=7613] ppid=7596 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 947915352 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 626056
[startup+6.30047 s]
/proc/loadavg: 2.70 1.81 0.87 5/653 7614
/proc/meminfo: memFree=29822064/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=293864 CPUtime=0.56 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 9799 928 1 0 40 16 0 0 18 0 2 0 947915267 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7598/statm: 73466 7305 1870 364 0 8353 0
[pid=7612] ppid=7598 vsize=283620 CPUtime=0.01 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 899 0 0 0 1 0 0 0 15 0 1 0 947915352 290426880 5807 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945935 0 0 16781312 33554946 3162161884904292352 0 0 17 6 0 0 0
/proc/7612/statm: 70905 5807 376 364 0 5792 0
[pid=7614] ppid=7612 vsize=54320 CPUtime=5.44 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) R 7612 7614 7614 0 -1 4202496 12292 0 0 0 534 10 0 0 18 0 1 0 947915352 55623680 11301 33554432000 4194304 13684479 140735912986448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7614/statm: 13580 11301 764 2317 0 11258 0
[pid=7598/tid=7613] ppid=7596 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 947915352 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 631804
[startup+12.7214 s]
/proc/loadavg: 2.74 1.84 0.89 5/653 7614
/proc/meminfo: memFree=29825752/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=293864 CPUtime=0.56 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 9799 928 1 0 40 16 0 0 18 0 2 0 947915267 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7598/statm: 73466 7305 1870 364 0 8353 0
[pid=7612] ppid=7598 vsize=283620 CPUtime=0.04 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 902 0 0 0 3 1 0 0 15 0 1 0 947915352 290426880 5807 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945935 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/7612/statm: 70905 5807 376 364 0 5792 0
[pid=7614] ppid=7612 vsize=55472 CPUtime=11.86 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) R 7612 7614 7614 0 -1 4202496 13350 0 0 0 1172 14 0 0 25 0 1 0 947915352 56803328 11592 33554432000 4194304 13684479 140735912986448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7614/statm: 13868 11592 788 2317 0 11546 0
[pid=7598/tid=7613] ppid=7596 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 947915352 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 632956
[startup+25.5003 s]
/proc/loadavg: 2.63 1.85 0.90 5/653 7614
/proc/meminfo: memFree=29815724/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=293864 CPUtime=0.56 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 9799 928 1 0 40 16 0 0 18 0 2 0 947915267 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7598/statm: 73466 7305 1870 364 0 8353 0
[pid=7612] ppid=7598 vsize=283620 CPUtime=0.11 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 908 0 0 0 7 4 0 0 15 0 1 0 947915352 290426880 5807 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949269 0 0 17 6 0 0 0
/proc/7612/statm: 70905 5807 376 364 0 5792 0
[pid=7614] ppid=7612 vsize=55472 CPUtime=24.64 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) R 7612 7614 7614 0 -1 4202496 13353 0 0 0 2441 23 0 0 25 0 1 0 947915352 56803328 11595 33554432000 4194304 13684479 140735912986448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7614/statm: 13868 11595 790 2317 0 11546 0
[pid=7598/tid=7613] ppid=7596 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 2 0 947915352 300916736 7305 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 632956
[startup+51.1009 s]
/proc/loadavg: 2.49 1.88 0.93 5/675 7638
/proc/meminfo: memFree=29762232/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=304624 CPUtime=0.59 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 10680 928 1 0 43 16 0 0 20 0 3 0 947915267 311934976 7438 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/7598/statm: 76156 7438 1873 364 0 11040 0
[pid=7612] ppid=7598 vsize=293864 CPUtime=0.25 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 1079 0 0 0 15 10 0 0 16 0 2 0 947915352 300916736 5843 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7612/statm: 73466 5843 407 364 0 8353 0
[pid=7614] ppid=7612 vsize=67572 CPUtime=49.3 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) T 7612 7614 7614 0 -1 4202496 15999 0 0 0 4886 44 0 0 25 0 1 0 947915352 69193728 14241 33554432000 4194304 13684479 140735912986448 18446744073709551615 7267032 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7614/statm: 16893 14241 814 2317 0 14571 0
[pid=7612/tid=7617] ppid=7598 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7612/task/7617/stat : 7617 (python) S 7598 7598 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947920284 300916736 5843 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397974080 0 0 -1 6 0 0 0
[pid=7618] ppid=7598 vsize=294380 CPUtime=0 cores=0,2,4,6
/proc/7618/stat : 7618 (python) S 7598 7598 7156 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 947920286 301445120 5910 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945990 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/7618/statm: 73595 5910 349 364 0 8479 0
[pid=7620] ppid=7618 vsize=8539648 CPUtime=1.74 cores=0,2,4,6
/proc/7620/stat : 7620 (java) S 7618 7620 7620 0 -1 4202496 15507 0 1 0 172 2 0 0 20 0 19 0 947920287 8744599552 11550 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7620/statm: 2134912 11550 2228 9 0 2125653 0
[pid=7620/tid=7621] ppid=7618 vsize=8539648 CPUtime=0.91 cores=0,2,4,6
/proc/7620/task/7621/stat : 7621 (java) R 7618 7620 7620 0 -1 4202560 7102 0 1 0 90 1 0 0 19 0 19 0 947920288 8744599552 11566 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 46912505332928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7620/tid=7622] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7622/stat : 7622 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947920288 8744599552 11566 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7623] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7623/stat : 7623 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7624] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7624/stat : 7624 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7625] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7625/stat : 7625 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7626] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7626/stat : 7626 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7627] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7627/stat : 7627 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7628] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7628/stat : 7628 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7629] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7629/stat : 7629 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920288 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7630] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7630/stat : 7630 (java) S 7618 7620 7620 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947920289 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296742400 0 0 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7631] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7631/stat : 7631 (java) S 7618 7620 7620 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947920289 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7632] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7632/stat : 7632 (java) S 7618 7620 7620 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947920289 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7633] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7633/stat : 7633 (java) S 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920292 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296749489 0 4 0 16800975 18446604446429848768 0 0 -1 6 0 0 0
[pid=7620/tid=7634] ppid=7618 vsize=8539648 CPUtime=0.48 cores=0,2,4,6
/proc/7620/task/7634/stat : 7634 (java) S 7618 7620 7620 0 -1 4202560 2089 0 0 0 48 0 0 0 15 0 19 0 947920292 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 4 0 0 0
[pid=7620/tid=7635] ppid=7618 vsize=8539648 CPUtime=0.35 cores=0,2,4,6
/proc/7620/task/7635/stat : 7635 (java) S 7618 7620 7620 0 -1 4202560 4931 0 0 0 35 0 0 0 23 0 19 0 947920292 8744599552 11567 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446604446429848768 0 0 -1 0 0 0 0
[pid=7620/tid=7636] ppid=7618 vsize=8539648 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=7662/tid=7671] ppid=7598 vsize=304636 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (python) S 7598 7598 7156 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947929722 311947264 5969 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445475034176 0 0 -1 6 0 0 0
[pid=7672] ppid=7598 vsize=314892 CPUtime=0.09 cores=0,2,4,6
/proc/7672/stat : 7672 (python) S 7598 7598 7156 0 -1 4202560 969 0 0 0 5 4 0 0 15 0 1 0 947929725 322449408 5942 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945990 0 0 16781312 33554946 72556772316949269 0 0 17 6 0 0 0
/proc/7672/statm: 78723 5942 373 364 0 13601 0
[pid=7674] ppid=7672 vsize=54608 CPUtime=17.74 cores=0,2,4,6
/proc/7674/stat : 7674 (scip-2.0.1.linu) R 7672 7674 7674 0 -1 4202496 15597 0 0 0 1763 11 0 0 25 0 1 0 947929725 55918592 9793 33554432000 4194304 15243407 140734328614272 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7674/statm: 13652 9793 901 2698 0 10947 0
[pid=7598/tid=7613] ppid=7596 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 5 0 947915352 332939264 7450 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
[pid=7598/tid=7619] ppid=7596 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7619/stat : 7619 (python) S 7596 7598 7156 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 5 0 947920287 332939264 7450 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 0 0 0 0
[pid=7598/tid=7663] ppid=7596 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7663/stat : 7663 (python) S 7596 7598 7156 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 947925020 332939264 7450 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 0 0 0 0
[pid=7598/tid=7673] ppid=7596 vsize=325136 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7673/stat : 7673 (python) S 7596 7598 7156 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 5 0 947929725 332939264 7450 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 164.75
Current children cumulated vsize (KiB) 10288668
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+193.001 s]
/proc/loadavg: 2.25 2.03 1.13 5/735 7700
/proc/meminfo: memFree=29366268/32951124 swapFree=33333036/67111528
[pid=7598] ppid=7596 vsize=335392 CPUtime=0.68 cores=0,2,4,6
/proc/7598/stat : 7598 (python) S 7596 7598 7156 0 -1 4202496 13449 928 1 0 51 17 0 0 20 0 6 0 947915267 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/7598/statm: 83848 7476 1879 364 0 18723 0
[pid=7612] ppid=7598 vsize=293864 CPUtime=0.25 cores=0,2,4,6
/proc/7612/stat : 7612 (python) S 7598 7598 7156 0 -1 4202560 1079 0 0 0 15 10 0 0 16 0 2 0 947915352 300916736 5843 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7612/statm: 73466 5843 407 364 0 8353 0
[pid=7614] ppid=7612 vsize=67572 CPUtime=49.3 cores=0,2,4,6
/proc/7614/stat : 7614 (scip-2.0.1.linu) T 7612 7614 7614 0 -1 4202496 15999 0 0 0 4886 44 0 0 25 0 1 0 947915352 69193728 14241 33554432000 4194304 13684479 140735912986448 18446744073709551615 7267032 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7614/statm: 16893 14241 814 2317 0 14571 0
[pid=7612/tid=7617] ppid=7598 vsize=293864 CPUtime=0 cores=0,2,4,6
/proc/7612/task/7617/stat : 7617 (python) S 7598 7598 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947920284 300916736 5843 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397974080 0 0 -1 6 0 0 0
[pid=7618] ppid=7598 vsize=294380 CPUtime=0.27 cores=0,2,4,6
/proc/7618/stat : 7618 (python) S 7598 7598 7156 0 -1 4202560 1176 0 0 0 14 13 0 0 17 0 2 0 947920286 301445120 5965 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/7618/statm: 73595 5965 403 364 0 8479 0
[pid=7620] ppid=7618 vsize=8535140 CPUtime=49.17 cores=0,2,4,6
/proc/7620/stat : 7620 (java) T 7618 7620 7620 0 -1 4202496 29413 0 1 0 4912 5 0 0 18 0 19 0 947920287 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7620/statm: 2133785 19363 2257 9 0 2124526 0
[pid=7620/tid=7621] ppid=7618 vsize=8535140 CPUtime=46.63 cores=0,2,4,6
/proc/7620/task/7621/stat : 7621 (java) T 7618 7620 7620 0 -1 4202560 7226 0 1 0 4662 1 0 0 25 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 46912505755968 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7620/tid=7622] ppid=7618 vsize=8535140 CPUtime=0.04 cores=0,2,4,6
/proc/7620/task/7622/stat : 7622 (java) T 7618 7620 7620 0 -1 4202560 429 0 0 0 4 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7623] ppid=7618 vsize=8535140 CPUtime=0.02 cores=0,2,4,6
/proc/7620/task/7623/stat : 7623 (java) T 7618 7620 7620 0 -1 4202560 268 0 0 0 2 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7624] ppid=7618 vsize=8535140 CPUtime=0.03 cores=0,2,4,6
/proc/7620/task/7624/stat : 7624 (java) T 7618 7620 7620 0 -1 4202560 549 0 0 0 3 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7625] ppid=7618 vsize=8535140 CPUtime=0.04 cores=0,2,4,6
/proc/7620/task/7625/stat : 7625 (java) T 7618 7620 7620 0 -1 4202560 400 0 0 0 4 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7620/tid=7626] ppid=7618 vsize=8535140 CPUtime=0.02 cores=0,2,4,6
/proc/7620/task/7626/stat : 7626 (java) T 7618 7620 7620 0 -1 4202560 494 0 0 0 2 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7627] ppid=7618 vsize=8535140 CPUtime=0.01 cores=0,2,4,6
/proc/7620/task/7627/stat : 7627 (java) T 7618 7620 7620 0 -1 4202560 10 0 0 0 1 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7628] ppid=7618 vsize=8535140 CPUtime=0.04 cores=0,2,4,6
/proc/7620/task/7628/stat : 7628 (java) T 7618 7620 7620 0 -1 4202560 325 0 0 0 4 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7629] ppid=7618 vsize=8535140 CPUtime=0.02 cores=0,2,4,6
/proc/7620/task/7629/stat : 7629 (java) T 7618 7620 7620 0 -1 4202560 592 0 0 0 2 0 0 0 15 0 19 0 947920288 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7630] ppid=7618 vsize=8535140 CPUtime=0.49 cores=0,2,4,6
/proc/7620/task/7630/stat : 7630 (java) T 7618 7620 7620 0 -1 4202560 2245 0 0 0 49 0 0 0 15 0 19 0 947920289 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7620/tid=7631] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7631/stat : 7631 (java) T 7618 7620 7620 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947920289 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7632] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7632/stat : 7632 (java) T 7618 7620 7620 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947920289 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7633] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7633/stat : 7633 (java) T 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920292 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7634] ppid=7618 vsize=8535140 CPUtime=0.62 cores=0,2,4,6
/proc/7620/task/7634/stat : 7634 (java) T 7618 7620 7620 0 -1 4202560 2108 0 0 0 62 0 0 0 15 0 19 0 947920292 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7635] ppid=7618 vsize=8535140 CPUtime=1.13 cores=0,2,4,6
/proc/7620/task/7635/stat : 7635 (java) T 7618 7620 7620 0 -1 4202560 13367 0 0 0 112 1 0 0 15 0 19 0 947920292 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7620/tid=7636] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7636/stat : 7636 (java) T 7618 7620 7620 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947920292 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7637] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7637/stat : 7637 (java) T 7618 7620 7620 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947920292 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7620/tid=7638] ppid=7618 vsize=8535140 CPUtime=0 cores=0,2,4,6
/proc/7620/task/7638/stat : 7638 (java) T 7618 7620 7620 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947920322 8739983360 19363 33554432000 1073741824 1073778376 140736055080224 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7618/tid=7661] ppid=7598 vsize=294380 CPUtime=0 cores=0,2,4,6
/proc/7618/task/7661/stat : 7661 (python) S 7598 7598 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947925017 301445120 5965 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443481850880 0 0 -1 2 0 0 0
[pid=7662] ppid=7598 vsize=304636 CPUtime=0.27 cores=0,2,4,6
/proc/7662/stat : 7662 (python) S 7598 7598 7156 0 -1 4202560 1192 0 0 0 13 14 0 0 16 0 2 0 947925020 311947264 5969 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7662/statm: 76159 5969 403 364 0 11040 0
[pid=7664] ppid=7662 vsize=98440 CPUtime=47.01 cores=0,2,4,6
/proc/7664/stat : 7664 (wbo1.4a) T 7662 7664 7664 0 -1 4202496 24463 0 0 0 4652 49 0 0 25 0 1 0 947925020 100802560 24170 33554432000 134512640 135751879 4292108432 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/7664/statm: 24610 24170 146 303 0 24305 0
[pid=7662/tid=7671] ppid=7598 vsize=304636 CPUtime=0 cores=0,2,4,6
/proc/7662/task/7671/stat : 7671 (python) S 7598 7598 7156 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947929722 311947264 5969 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445475034176 0 0 -1 6 0 0 0
[pid=7672] ppid=7598 vsize=314892 CPUtime=0.26 cores=0,2,4,6
/proc/7672/stat : 7672 (python) S 7598 7598 7156 0 -1 4202560 1146 0 0 0 13 13 0 0 17 0 2 0 947929725 322449408 5967 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7672/statm: 78723 5967 397 364 0 13601 0
[pid=7674] ppid=7672 vsize=53704 CPUtime=47.9 cores=0,2,4,6
/proc/7674/stat : 7674 (scip-2.0.1.linu) T 7672 7674 7674 0 -1 4202496 32126 0 0 0 4764 26 0 0 19 0 1 0 947929725 54992896 10120 33554432000 4194304 15243407 140734328614272 18446744073709551615 7103755 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/7674/statm: 13426 10120 908 2698 0 10721 0
[pid=7672/tid=7679] ppid=7598 vsize=314892 CPUtime=0 cores=0,2,4,6
/proc/7672/task/7679/stat : 7679 (python) S 7598 7598 7156 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 947934516 322449408 5967 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 6 0 0 0
[pid=7680] ppid=7598 vsize=325148 CPUtime=0 cores=0,2,4,6
/proc/7680/stat : 7680 (python) S 7598 7598 7156 0 -1 4202560 805 0 0 0 0 0 0 0 15 0 1 0 947934519 332951552 5942 33554432000 4194304 5683644 140734302129200 18446744073709551615 224284945990 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/7680/statm: 81287 5942 349 364 0 16162 0
[pid=7682] ppid=7680 vsize=8538352 CPUtime=1.02 cores=0,2,4,6
/proc/7682/stat : 7682 (java) S 7680 7682 7682 0 -1 4202496 12125 0 1 0 100 2 0 0 20 0 19 0 947934519 8743272448 10426 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7682/statm: 2134588 10427 2222 9 0 2125329 0
[pid=7682/tid=7683] ppid=7680 vsize=8538352 CPUtime=0.47 cores=0,2,4,6
/proc/7682/task/7683/stat : 7683 (java) R 7680 7682 7682 0 -1 4202560 6968 0 1 0 46 1 0 0 18 0 19 0 947934520 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296751797 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7682/tid=7684] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7684/stat : 7684 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7685/stat : 7685 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7686] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7686/stat : 7686 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7687] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7687/stat : 7687 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7688] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7688/stat : 7688 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7689] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7689/stat : 7689 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7690] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7690/stat : 7690 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7691] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7691/stat : 7691 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934521 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7692] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7692/stat : 7692 (java) S 7680 7682 7682 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947934522 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296742400 0 0 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7693] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7693/stat : 7693 (java) S 7680 7682 7682 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947934522 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7694] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7694/stat : 7694 (java) S 7680 7682 7682 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947934522 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7695] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7695/stat : 7695 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934524 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296749489 0 4 0 16800975 18446604447847761728 0 0 -1 6 0 0 0
[pid=7682/tid=7696] ppid=7680 vsize=8538352 CPUtime=0.26 cores=0,2,4,6
/proc/7682/task/7696/stat : 7696 (java) R 7680 7682 7682 0 -1 4202560 1935 0 0 0 26 0 0 0 17 0 19 0 947934524 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 47316165608200 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7682/tid=7697] ppid=7680 vsize=8538352 CPUtime=0.29 cores=0,2,4,6
/proc/7682/task/7697/stat : 7697 (java) R 7680 7682 7682 0 -1 4202560 1998 0 0 0 29 0 0 0 17 0 19 0 947934524 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 47316166557361 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7682/tid=7698] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7698/stat : 7698 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947934524 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296741785 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7699] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7699/stat : 7699 (java) S 7680 7682 7682 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947934524 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296742400 0 4 0 16800975 18446604447847761728 0 0 -1 0 0 0 0
[pid=7682/tid=7700] ppid=7680 vsize=8538352 CPUtime=0 cores=0,2,4,6
/proc/7682/task/7700/stat : 7700 (java) S 7680 7682 7682 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947934552 8743272448 10601 33554432000 1073741824 1073778376 140735648720048 18446744073709551615 224296742400 0 4 0 16800975 18446604447847761728 0 0 -1 4 0 0 0
[pid=7598/tid=7613] ppid=7596 vsize=335392 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7613/stat : 7613 (python) S 7596 7598 7156 0 -1 4202560 26 928 0 0 0 0 0 0 18 0 6 0 947915352 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 6 0 0 0
[pid=7598/tid=7619] ppid=7596 vsize=335392 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7619/stat : 7619 (python) S 7596 7598 7156 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 6 0 947920287 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 0 0 0 0
[pid=7598/tid=7663] ppid=7596 vsize=335392 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7663/stat : 7663 (python) S 7596 7598 7156 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 947925020 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 0 0 0 0
[pid=7598/tid=7673] ppid=7596 vsize=335392 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7673/stat : 7673 (python) S 7596 7598 7156 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 947929725 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 2 0 0 0
[pid=7598/tid=7681] ppid=7596 vsize=335392 CPUtime=0 cores=0,2,4,6
/proc/7598/task/7681/stat : 7681 (python) S 7596 7598 7156 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 6 0 947934519 343441408 7476 33554432000 4194304 5683644 140734302129200 18446744073709551615 224296749489 0 0 16781312 33554434 18446604452396128064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 196.13
Current children cumulated vsize (KiB) 19161520
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 7598 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=513921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=176973
# CPU time returned by wait4() is 0.690894
# while last known CPU time is 196.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.09
CPU time (s): 196.13
CPU user time (s): 194.2
CPU system time (s): 1.93
CPU usage (%): 101.574
Max. virtual memory (cumulated for all children) (KiB): 19161520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.513921
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14380
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= 10765
involuntary context switches= 27
runsolver used 1.42278 second user time and 2.79157 second system time
The end