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-3481567-1307578217/watcher-3481567-1307578217 -o /tmp/evaluation-result-3481567-1307578217/solver-3481567-1307578217 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481567-1307578217.opb -seed 224641633 -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.00 2.04 1.76 3/660 13797
/proc/meminfo: memFree=15354836/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 869421582 16150528 783 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/13797/statm: 3943 783 346 364 0 430 0
[startup+0.047251 s]
/proc/loadavg: 2.00 2.04 1.76 3/660 13797
/proc/meminfo: memFree=15354836/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/13797/stat : 13797 (python) R 13795 13797 11000 0 -1 4202496 1288 0 0 0 2 0 0 0 17 0 1 0 869421582 19337216 1140 33554432000 4194304 5683644 140737255275632 18446744073709551615 4439516 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13797/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100672 s]
/proc/loadavg: 2.00 2.04 1.76 3/660 13797
/proc/meminfo: memFree=15354836/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=85620 CPUtime=0.07 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 2666 0 0 0 5 2 0 0 17 0 1 0 869421582 87674880 2382 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/13797/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85620
[startup+0.300194 s]
/proc/loadavg: 2.00 2.04 1.76 3/660 13797
/proc/meminfo: memFree=15354836/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 5357 932 1 0 12 6 0 0 18 0 1 0 869421582 126709760 3744 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278875653 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/13797/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.701071 s]
/proc/loadavg: 2.00 2.04 1.76 3/660 13797
/proc/meminfo: memFree=15354836/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=282400 CPUtime=0.43 cores=0,2,4,6
/proc/13797/stat : 13797 (python) R 13795 13797 11000 0 -1 4202496 9210 932 1 0 32 11 0 0 17 0 1 0 869421582 289177600 6941 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899727 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13797/statm: 70600 6941 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282400
[startup+1.50098 s]
/proc/loadavg: 2.00 2.04 1.76 3/661 13803
/proc/meminfo: memFree=15326992/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=296768 CPUtime=0.87 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 12419 1381 1 0 63 16 7 1 19 0 2 0 869421582 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 74192 8051 1863 364 0 9079 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 296768
[startup+3.10064 s]
/proc/loadavg: 2.00 2.04 1.76 3/664 13806
/proc/meminfo: memFree=15252708/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=296768 CPUtime=0.87 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 12419 1381 1 0 63 16 7 1 19 0 2 0 869421582 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 74192 8051 1863 364 0 9079 0
[pid=13804] ppid=13797 vsize=286524 CPUtime=0 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 713 0 0 0 0 0 0 0 15 0 1 0 869421690 293400576 6503 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899727 0 0 16781312 33554946 13496322613235908866 0 0 17 6 0 0 0
/proc/13804/statm: 71631 6503 319 364 0 6518 0
[pid=13806] ppid=13804 vsize=82868 CPUtime=2 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) R 13804 13806 13806 0 -1 4202496 19187 0 0 0 190 10 0 0 25 0 1 0 869421690 84856832 18104 33554432000 4194304 13684479 140734960825104 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13806/statm: 20717 18104 730 2317 0 18395 0
[pid=13797/tid=13805] ppid=13795 vsize=296768 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 2 0 869421690 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 666160
[startup+6.30121 s]
/proc/loadavg: 2.00 2.04 1.76 3/664 13806
/proc/meminfo: memFree=15253584/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=296768 CPUtime=0.87 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 12419 1381 1 0 63 16 7 1 19 0 2 0 869421582 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 74192 8051 1863 364 0 9079 0
[pid=13804] ppid=13797 vsize=286524 CPUtime=0.01 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 877 0 0 0 0 1 0 0 15 0 1 0 869421690 293400576 6527 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899727 0 0 16781312 33554946 4333307854871036162 0 0 17 6 0 0 0
/proc/13804/statm: 71631 6527 343 364 0 6518 0
[pid=13806] ppid=13804 vsize=85988 CPUtime=5.2 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) R 13804 13806 13806 0 -1 4202496 19912 0 0 0 510 10 0 0 25 0 1 0 869421690 88051712 18822 33554432000 4194304 13684479 140734960825104 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13806/statm: 21497 18822 736 2317 0 19175 0
[pid=13797/tid=13805] ppid=13795 vsize=296768 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 2 0 869421690 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 669280
[startup+12.7011 s]
/proc/loadavg: 2.00 2.04 1.76 3/665 13807
/proc/meminfo: memFree=15245932/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=296768 CPUtime=0.87 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 12419 1381 1 0 63 16 7 1 19 0 2 0 869421582 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 74192 8051 1863 364 0 9079 0
[pid=13804] ppid=13797 vsize=286524 CPUtime=0.03 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 880 0 0 0 2 1 0 0 15 0 1 0 869421690 293400576 6527 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899727 0 0 16781312 33554946 72556772316949386 0 0 17 6 0 0 0
/proc/13804/statm: 71631 6527 343 364 0 6518 0
[pid=13806] ppid=13804 vsize=90932 CPUtime=11.6 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) R 13804 13806 13806 0 -1 4202496 21698 0 0 0 1149 11 0 0 25 0 1 0 869421690 93114368 20149 33554432000 4194304 13684479 140734960825104 18446744073709551615 7389857 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13806/statm: 22733 20149 734 2317 0 20411 0
[pid=13797/tid=13805] ppid=13795 vsize=296768 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 2 0 869421690 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 674224
[startup+25.5008 s]
/proc/loadavg: 2.22 2.09 1.78 3/665 13807
/proc/meminfo: memFree=15193952/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=296768 CPUtime=0.87 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 12419 1381 1 0 63 16 7 1 19 0 2 0 869421582 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 74192 8051 1863 364 0 9079 0
[pid=13804] ppid=13797 vsize=286524 CPUtime=0.08 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 885 0 0 0 5 3 0 0 15 0 1 0 869421690 293400576 6527 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899727 0 0 16781312 33554946 72556772316949386 0 0 17 6 0 0 0
/proc/13804/statm: 71631 6527 343 364 0 6518 0
[pid=13806] ppid=13804 vsize=139252 CPUtime=24.41 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) R 13804 13806 13806 0 -1 4202496 37194 0 0 0 2422 19 0 0 25 0 1 0 869421690 142594048 32457 33554432000 4194304 13684479 140734960825104 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13806/statm: 34813 32457 823 2317 0 32491 0
[pid=13797/tid=13805] ppid=13795 vsize=296768 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 2 0 869421690 303890432 8051 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 722544
[startup+51.1012 s]
/proc/loadavg: 2.14 2.08 1.79 3/669 13812
/proc/meminfo: memFree=15120948/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=307024 CPUtime=0.9 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 13339 1381 1 0 66 16 7 1 20 0 3 0 869421582 314392576 8066 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 76756 8066 1874 364 0 11640 0
[pid=13804] ppid=13797 vsize=296768 CPUtime=0.18 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 1088 0 0 0 10 8 0 0 17 0 2 0 869421690 303890432 6595 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 74192 6595 406 364 0 9079 0
[pid=13806] ppid=13804 vsize=144820 CPUtime=47.11 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) T 13804 13806 13806 0 -1 4202496 38439 0 0 0 4686 25 0 0 25 0 1 0 869421690 148295680 33702 33554432000 4194304 13684479 140734960825104 18446744073709551615 4965455 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13806/statm: 36205 33702 834 2317 0 33883 0
[pid=13804/tid=13809] ppid=13797 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (python) S 13797 13797 11000 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869426403 303890432 6595 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444431764416 0 0 -1 2 0 0 0
[pid=13810] ppid=13797 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/13810/stat : 13810 (python) S 13797 13797 11000 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 869426405 303902720 6508 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899782 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/13810/statm: 74195 6508 320 364 0 9079 0
[pid=13812] ppid=13810 vsize=83232 CPUtime=2.85 cores=0,2,4,6
/proc/13812/stat : 13812 (scip-2.0.1.linu) R 13810 13812 13812 0 -1 4202496 22341 0 0 0 276 9 0 0 25 0 1 0 869426405 85229568 16732 33554432000 4194304 15243407 140733499028528 18446744073709551615 8135224 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13812/statm: 20808 16732 824 2698 0 18103 0
[pid=13797/tid=13805] ppid=13795 vsize=307024 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 3 0 869421690 314392576 8066 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13811] ppid=13795 vsize=307024 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13811/stat : 13811 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 20 0 3 0 869426405 314392576 8066 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1128624
[startup+102.317 s]
/proc/loadavg: 2.11 2.08 1.80 4/673 13817
/proc/meminfo: memFree=15025876/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=317280 CPUtime=0.92 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 14223 1381 1 0 68 16 7 1 20 0 4 0 869421582 324894720 8072 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 79320 8072 1876 364 0 14201 0
[pid=13804] ppid=13797 vsize=296768 CPUtime=0.18 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 1088 0 0 0 10 8 0 0 17 0 2 0 869421690 303890432 6595 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 74192 6595 406 364 0 9079 0
[pid=13806] ppid=13804 vsize=144820 CPUtime=47.11 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) T 13804 13806 13806 0 -1 4202496 38439 0 0 0 4686 25 0 0 25 0 1 0 869421690 148295680 33702 33554432000 4194304 13684479 140734960825104 18446744073709551615 4965455 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13806/statm: 36205 33702 834 2317 0 33883 0
[pid=13804/tid=13809] ppid=13797 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (python) S 13797 13797 11000 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869426403 303890432 6595 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444431764416 0 0 -1 2 0 0 0
[pid=13810] ppid=13797 vsize=296780 CPUtime=0.18 cores=0,2,4,6
/proc/13810/stat : 13810 (python) S 13797 13797 11000 0 -1 4202560 1171 0 0 0 9 9 0 0 16 0 2 0 869426405 303902720 6586 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13810/statm: 74195 6586 397 364 0 9079 0
[pid=13812] ppid=13810 vsize=143972 CPUtime=46.45 cores=0,2,4,6
/proc/13812/stat : 13812 (scip-2.0.1.linu) T 13810 13812 13812 0 -1 4202496 64900 0 0 0 4623 22 0 0 25 0 1 0 869426405 147427328 33287 33554432000 4194304 15243407 140733499028528 18446744073709551615 8136051 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/13812/statm: 35993 33287 937 2698 0 33288 0
[pid=13810/tid=13814] ppid=13797 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/13810/task/13814/stat : 13814 (python) S 13797 13797 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869431054 303902720 6586 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604450100644800 0 0 -1 6 0 0 0
[pid=13815] ppid=13797 vsize=307036 CPUtime=0.01 cores=0,2,4,6
/proc/13815/stat : 13815 (python) S 13797 13797 11000 0 -1 4202560 1016 0 0 0 1 0 0 0 15 0 1 0 869431057 314404864 6542 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899782 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/13815/statm: 76759 6542 350 364 0 11640 0
[pid=13817] ppid=13815 vsize=21916 CPUtime=7.55 cores=0,2,4,6
/proc/13817/stat : 13817 (wbo1.4a) R 13815 13817 13817 0 -1 4202496 5558 0 0 0 752 3 0 0 25 0 1 0 869431057 22441984 5026 33554432000 134512640 135751879 4288292272 18446744073709551615 134606357 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/13817/statm: 5479 5026 146 303 0 5174 0
[pid=13797/tid=13805] ppid=13795 vsize=317280 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 19 0 4 0 869421690 324894720 8072 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13811] ppid=13795 vsize=317280 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13811/stat : 13811 (python) S 13795 13797 11000 0 -1 4202560 27 1381 0 0 0 0 7 1 20 0 4 0 869426405 324894720 8072 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=13822/tid=13838] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) T 13820 13822 13822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) T 13820 13822 13822 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=13822/tid=13840] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13840/stat : 13840 (java) T 13820 13822 13822 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869436175 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13820/tid=13843] ppid=13797 vsize=317292 CPUtime=0 cores=0,2,4,6
/proc/13820/task/13843/stat : 13843 (python) S 13797 13797 11000 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869440726 324907008 6588 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453922484352 0 0 -1 6 0 0 0
[pid=13797/tid=13805] ppid=13795 vsize=327536 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 33 1381 0 0 0 0 7 1 18 0 5 0 869421690 335396864 8078 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13811] ppid=13795 vsize=327536 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13811/stat : 13811 (python) S 13795 13797 11000 0 -1 4202560 32 1381 0 0 0 0 7 1 18 0 5 0 869426405 335396864 8078 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 0 0 0 0
[pid=13797/tid=13816] ppid=13795 vsize=327536 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13816/stat : 13816 (python) S 13795 13797 11000 0 -1 4202560 29 1381 0 0 0 0 7 1 20 0 5 0 869431057 335396864 8078 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13821] ppid=13795 vsize=327536 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13821/stat : 13821 (python) S 13795 13797 11000 0 -1 4202560 22 1381 0 0 0 0 7 1 20 0 5 0 869436119 335396864 8078 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 285.06
Current children cumulated vsize (KiB) 10513836
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+291.401 s]
/proc/loadavg: 2.01 2.06 1.84 4/709 13929
/proc/meminfo: memFree=14013628/32950904 swapFree=56615552/67111528
[pid=13797] ppid=13795 vsize=337792 CPUtime=1.02 cores=0,2,4,6
/proc/13797/stat : 13797 (python) S 13795 13797 11000 0 -1 4202496 16122 1381 1 0 78 16 7 1 20 0 6 0 869421582 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/13797/statm: 84448 8084 1880 364 0 19323 0
[pid=13804] ppid=13797 vsize=296768 CPUtime=0.37 cores=0,2,4,6
/proc/13804/stat : 13804 (python) S 13797 13797 11000 0 -1 4202560 1117 0 0 0 20 17 0 0 16 0 2 0 869421690 303890432 6596 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 74192 6596 407 364 0 9079 0
[pid=13806] ppid=13804 vsize=144820 CPUtime=96.59 cores=0,2,4,6
/proc/13806/stat : 13806 (scip-2.0.1.linu) T 13804 13806 13806 0 -1 4202496 38740 0 0 0 9622 37 0 0 25 0 1 0 869421690 148295680 33999 33554432000 4194304 13684479 140734960825104 18446744073709551615 7154615 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/13806/statm: 36205 33999 838 2317 0 33883 0
[pid=13804/tid=13809] ppid=13797 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (python) S 13797 13797 11000 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869426403 303890432 6596 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444431764416 0 0 -1 2 0 0 0
[pid=13810] ppid=13797 vsize=296780 CPUtime=0.38 cores=0,2,4,6
/proc/13810/stat : 13810 (python) S 13797 13797 11000 0 -1 4202560 1217 0 0 0 19 19 0 0 15 0 2 0 869426405 303902720 6586 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13810/statm: 74195 6586 397 364 0 9079 0
[pid=13812] ppid=13810 vsize=149696 CPUtime=96 cores=0,2,4,6
/proc/13812/stat : 13812 (scip-2.0.1.linu) T 13810 13812 13812 0 -1 4202496 66428 0 0 0 9572 28 0 0 25 0 1 0 869426405 153288704 33549 33554432000 4194304 15243407 140733499028528 18446744073709551615 6958445 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/13812/statm: 37424 33549 946 2698 0 34719 0
[pid=13810/tid=13814] ppid=13797 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/13810/task/13814/stat : 13814 (python) S 13797 13797 11000 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869431054 303902720 6586 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604450100644800 0 0 -1 6 0 0 0
[pid=13815] ppid=13797 vsize=307036 CPUtime=0.2 cores=0,2,4,6
/proc/13815/stat : 13815 (python) S 13797 13797 11000 0 -1 4202560 1187 0 0 0 9 11 0 0 16 0 2 0 869431057 314404864 6590 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13815/statm: 76759 6590 397 364 0 11640 0
[pid=13817] ppid=13815 vsize=124984 CPUtime=50.58 cores=0,2,4,6
/proc/13817/stat : 13817 (wbo1.4a) T 13815 13817 13817 0 -1 4202496 31310 0 0 0 5044 14 0 0 25 0 1 0 869431057 127983616 30778 33554432000 134512640 135751879 4288292272 18446744073709551615 134606372 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/13817/statm: 31246 30778 146 303 0 30941 0
[pid=13815/tid=13819] ppid=13797 vsize=307036 CPUtime=0 cores=0,2,4,6
/proc/13815/task/13819/stat : 13819 (python) S 13797 13797 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869436116 314404864 6590 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604448655177024 0 0 -1 6 0 0 0
[pid=13820] ppid=13797 vsize=317292 CPUtime=0.18 cores=0,2,4,6
/proc/13820/stat : 13820 (python) S 13797 13797 11000 0 -1 4202560 1153 0 0 0 9 9 0 0 17 0 2 0 869436119 324907008 6588 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/13820/statm: 79323 6588 391 364 0 14201 0
[pid=13822] ppid=13820 vsize=8548924 CPUtime=48.03 cores=0,2,4,6
/proc/13822/stat : 13822 (java) T 13820 13822 13822 0 -1 4202496 176059 0 1 0 4783 20 0 0 18 0 19 0 869436119 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/13822/statm: 2137231 155793 2248 9 0 2127972 0
[pid=13822/tid=13823] ppid=13820 vsize=8548924 CPUtime=45.86 cores=0,2,4,6
/proc/13822/task/13823/stat : 13823 (java) T 13820 13822 13822 0 -1 4202560 126155 0 1 0 4572 14 0 0 25 0 19 0 869436120 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 46912505864843 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13824] ppid=13820 vsize=8548924 CPUtime=0.04 cores=0,2,4,6
/proc/13822/task/13824/stat : 13824 (java) T 13820 13822 13822 0 -1 4202560 4346 0 0 0 4 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13822/tid=13825] ppid=13820 vsize=8548924 CPUtime=0.05 cores=0,2,4,6
/proc/13822/task/13825/stat : 13825 (java) T 13820 13822 13822 0 -1 4202560 5418 0 0 0 5 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13826] ppid=13820 vsize=8548924 CPUtime=0.05 cores=0,2,4,6
/proc/13822/task/13826/stat : 13826 (java) T 13820 13822 13822 0 -1 4202560 5622 0 0 0 5 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13822/tid=13827] ppid=13820 vsize=8548924 CPUtime=0.02 cores=0,2,4,6
/proc/13822/task/13827/stat : 13827 (java) T 13820 13822 13822 0 -1 4202560 2798 0 0 0 2 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13822/tid=13828] ppid=13820 vsize=8548924 CPUtime=0.05 cores=0,2,4,6
/proc/13822/task/13828/stat : 13828 (java) T 13820 13822 13822 0 -1 4202560 5546 0 0 0 5 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=13822/tid=13829] ppid=13820 vsize=8548924 CPUtime=0.04 cores=0,2,4,6
/proc/13822/task/13829/stat : 13829 (java) T 13820 13822 13822 0 -1 4202560 4674 0 0 0 4 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13830] ppid=13820 vsize=8548924 CPUtime=0.03 cores=0,2,4,6
/proc/13822/task/13830/stat : 13830 (java) T 13820 13822 13822 0 -1 4202560 4081 0 0 0 3 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=13822/tid=13831] ppid=13820 vsize=8548924 CPUtime=0.04 cores=0,2,4,6
/proc/13822/task/13831/stat : 13831 (java) T 13820 13822 13822 0 -1 4202560 4003 0 0 0 4 0 0 0 15 0 19 0 869436121 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13822/tid=13832] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13832/stat : 13832 (java) T 13820 13822 13822 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 19 0 869436122 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13822/tid=13833] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13833/stat : 13833 (java) T 13820 13822 13822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869436122 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13834] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13834/stat : 13834 (java) T 13820 13822 13822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869436122 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13835] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13835/stat : 13835 (java) T 13820 13822 13822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13836] ppid=13820 vsize=8548924 CPUtime=0.69 cores=0,2,4,6
/proc/13822/task/13836/stat : 13836 (java) T 13820 13822 13822 0 -1 4202560 4751 0 0 0 69 0 0 0 15 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=13822/tid=13837] ppid=13820 vsize=8548924 CPUtime=1.04 cores=0,2,4,6
/proc/13822/task/13837/stat : 13837 (java) T 13820 13822 13822 0 -1 4202560 6820 0 0 0 104 0 0 0 15 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13838] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13838/stat : 13838 (java) T 13820 13822 13822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13822/tid=13839] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13839/stat : 13839 (java) T 13820 13822 13822 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869436124 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=13822/tid=13840] ppid=13820 vsize=8548924 CPUtime=0 cores=0,2,4,6
/proc/13822/task/13840/stat : 13840 (java) T 13820 13822 13822 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869436175 8754098176 155793 33554432000 1073741824 1073778376 140734353866688 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=13820/tid=13843] ppid=13797 vsize=317292 CPUtime=0 cores=0,2,4,6
/proc/13820/task/13843/stat : 13843 (python) S 13797 13797 11000 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869440726 324907008 6588 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453922484352 0 0 -1 6 0 0 0
[pid=13909] ppid=13797 vsize=327548 CPUtime=0 cores=0,2,4,6
/proc/13909/stat : 13909 (python) S 13797 13797 11000 0 -1 4202560 817 0 0 0 0 0 0 0 15 0 1 0 869450637 335409152 6520 33554432000 4194304 5683644 140737255275632 18446744073709551615 237278899782 0 0 16781312 33554946 3963439831278682112 0 0 17 2 0 0 0
/proc/13909/statm: 81887 6520 320 364 0 16762 0
[pid=13911] ppid=13909 vsize=8543764 CPUtime=1.89 cores=0,2,4,6
/proc/13911/stat : 13911 (java) S 13909 13911 13911 0 -1 4202496 45470 0 1 0 182 7 0 0 20 0 19 0 869450637 8748814336 41972 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/13911/statm: 2135941 41973 2229 9 0 2126682 0
[pid=13911/tid=13912] ppid=13909 vsize=8543764 CPUtime=0.85 cores=0,2,4,6
/proc/13911/task/13912/stat : 13912 (java) R 13909 13911 13911 0 -1 4202560 34924 0 1 0 80 5 0 0 25 0 19 0 869450638 8748814336 42440 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 46912505607210 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13911/tid=13913] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13913/stat : 13913 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869450638 8748814336 42445 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13914] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13914/stat : 13914 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869450638 8748814336 42448 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13915] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13915/stat : 13915 (java) S 13909 13911 13911 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42452 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13916] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13916/stat : 13916 (java) S 13909 13911 13911 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42457 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 2 0 0 0
[pid=13911/tid=13917] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13917/stat : 13917 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42459 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 2 0 0 0
[pid=13911/tid=13918] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13918/stat : 13918 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42463 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 2 0 0 0
[pid=13911/tid=13919] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13919/stat : 13919 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42464 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 2 0 0 0
[pid=13911/tid=13920] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13920/stat : 13920 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450638 8748814336 42465 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 2 0 0 0
[pid=13911/tid=13921] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13921/stat : 13921 (java) S 13909 13911 13911 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869450639 8748814336 42466 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290696192 0 0 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13922] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13922/stat : 13922 (java) S 13909 13911 13911 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869450640 8748814336 42469 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13923] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13923/stat : 13923 (java) S 13909 13911 13911 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869450640 8748814336 42471 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13924] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13924/stat : 13924 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869450642 8748814336 42474 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290703281 0 4 0 16800975 18446604444431762624 0 0 -1 6 0 0 0
[pid=13911/tid=13925] ppid=13909 vsize=8543764 CPUtime=0.5 cores=0,2,4,6
/proc/13911/task/13925/stat : 13925 (java) S 13909 13911 13911 0 -1 4202560 3906 0 0 0 50 0 0 0 24 0 19 0 869450642 8748814336 42476 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 6 0 0 0
[pid=13911/tid=13926] ppid=13909 vsize=8543764 CPUtime=0.54 cores=0,2,4,6
/proc/13911/task/13926/stat : 13926 (java) S 13909 13911 13911 0 -1 4202560 5706 0 0 0 52 2 0 0 25 0 19 0 869450642 8748814336 42478 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 4 0 0 0
[pid=13911/tid=13927] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13927/stat : 13927 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869450642 8748814336 42480 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290695577 0 4 0 16800975 18446604444431762624 0 0 -1 6 0 0 0
[pid=13911/tid=13928] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13928/stat : 13928 (java) S 13909 13911 13911 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869450642 8748814336 42482 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290696192 0 4 0 16800975 18446604444431762624 0 0 -1 0 0 0 0
[pid=13911/tid=13929] ppid=13909 vsize=8543764 CPUtime=0 cores=0,2,4,6
/proc/13911/task/13929/stat : 13929 (java) S 13909 13911 13911 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869450694 8748814336 42485 33554432000 1073741824 1073778376 140733283702496 18446744073709551615 237290696192 0 4 0 16800975 18446604444431762624 0 0 -1 0 0 0 0
[pid=13797/tid=13805] ppid=13795 vsize=337792 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13805/stat : 13805 (python) S 13795 13797 11000 0 -1 4202560 33 1381 0 0 0 0 7 1 18 0 6 0 869421690 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13811] ppid=13795 vsize=337792 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13811/stat : 13811 (python) S 13795 13797 11000 0 -1 4202560 32 1381 0 0 0 0 7 1 18 0 6 0 869426405 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 0 0 0 0
[pid=13797/tid=13816] ppid=13795 vsize=337792 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13816/stat : 13816 (python) S 13795 13797 11000 0 -1 4202560 29 1381 0 0 0 0 7 1 20 0 6 0 869431057 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
[pid=13797/tid=13821] ppid=13795 vsize=337792 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13821/stat : 13821 (python) S 13795 13797 11000 0 -1 4202560 22 1381 0 0 0 0 7 1 20 0 6 0 869436119 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 2 0 0 0
[pid=13797/tid=13910] ppid=13795 vsize=337792 CPUtime=0.08 cores=0,2,4,6
/proc/13797/task/13910/stat : 13910 (python) S 13795 13797 11000 0 -1 4202560 29 1381 0 0 0 0 7 1 20 0 6 0 869450637 345899008 8084 33554432000 4194304 5683644 140737255275632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604445205936064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 295.24
Current children cumulated vsize (KiB) 19395404
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 13797 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=859869
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=188971
# CPU time returned by wait4() is 1.04884
# while last known CPU time is 295.24
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 291.48
CPU time (s): 295.24
CPU user time (s): 293.45
CPU system time (s): 1.79
CPU usage (%): 101.29
Max. virtual memory (cumulated for all children) (KiB): 19395404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.859869
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17506
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= 9114
involuntary context switches= 30
runsolver used 1.81372 second user time and 3.79742 second system time
The end