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-3481599-1307578458/watcher-3481599-1307578458 -o /tmp/evaluation-result-3481599-1307578458/solver-3481599-1307578458 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481599-1307578458.opb -seed 923846817 -budget 1800
running on 4 cores: 1,3,5,7
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.02 2.07 1.83 3/680 13894
/proc/meminfo: memFree=14305212/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/13894/stat : 13894 (python) R 13892 13894 11000 0 -1 4202496 875 0 0 0 0 0 0 0 18 0 1 0 869445666 16150528 757 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278540485 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/13894/statm: 3943 757 343 364 0 430 0
[startup+0.0811639 s]
/proc/loadavg: 2.02 2.07 1.83 3/680 13894
/proc/meminfo: memFree=14305212/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=50008 CPUtime=0.04 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 1947 0 0 0 3 1 0 0 17 0 1 0 869445666 51208192 1712 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/13894/statm: 12502 1712 476 364 0 1202 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50008
[startup+0.101183 s]
/proc/loadavg: 2.02 2.07 1.83 3/680 13894
/proc/meminfo: memFree=14305212/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 2662 0 0 0 4 1 0 0 17 0 1 0 869445666 87670784 2381 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/13894/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.301128 s]
/proc/loadavg: 2.02 2.07 1.83 3/680 13894
/proc/meminfo: memFree=14305212/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/13894/stat : 13894 (python) R 13892 13894 11000 0 -1 4202496 5356 933 1 0 10 7 0 0 16 0 1 0 869445666 126709760 3744 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278875653 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/13894/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.701042 s]
/proc/loadavg: 2.02 2.07 1.83 3/680 13894
/proc/meminfo: memFree=14305212/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=282404 CPUtime=0.43 cores=1,3,5,7
/proc/13894/stat : 13894 (python) R 13892 13894 11000 0 -1 4202496 9201 933 1 0 27 16 0 0 15 0 1 0 869445666 289181696 6937 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/13894/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282404
[startup+1.50084 s]
/proc/loadavg: 2.02 2.07 1.83 3/684 13903
/proc/meminfo: memFree=14260044/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=294808 CPUtime=0.63 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 11089 1355 1 0 41 19 2 1 18 0 2 0 869445666 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13894/statm: 73702 7542 1871 364 0 8589 0
[pid=13901] ppid=13894 vsize=284564 CPUtime=0 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 712 0 0 0 0 0 0 0 16 0 1 0 869445753 291393536 5986 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 33554946 4414855196329345287 0 0 17 1 0 0 0
/proc/13901/statm: 71141 5986 319 364 0 6028 0
[pid=13903] ppid=13901 vsize=46328 CPUtime=0.62 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) R 13901 13903 13903 0 -1 4202496 9997 0 0 0 46 16 0 0 21 0 1 0 869445753 47439872 9188 33554432000 4194304 13684479 140736570953344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13903/statm: 11582 9188 733 2317 0 9260 0
[pid=13894/tid=13902] ppid=13892 vsize=294808 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 2 0 869445753 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 625700
[startup+3.10056 s]
/proc/loadavg: 2.02 2.07 1.83 3/684 13903
/proc/meminfo: memFree=14222596/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=294808 CPUtime=0.63 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 11089 1355 1 0 41 19 2 1 18 0 2 0 869445666 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13894/statm: 73702 7542 1871 364 0 8589 0
[pid=13901] ppid=13894 vsize=284564 CPUtime=0 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 869445753 291393536 5986 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 33554946 4414855196329345287 0 0 17 1 0 0 0
/proc/13901/statm: 71141 5986 319 364 0 6028 0
[pid=13903] ppid=13901 vsize=69940 CPUtime=2.22 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) R 13901 13903 13903 0 -1 4202496 18542 0 0 0 201 21 0 0 25 0 1 0 869445753 71618560 15310 33554432000 4194304 13684479 140736570953344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13903/statm: 17485 15310 821 2317 0 15163 0
[pid=13894/tid=13902] ppid=13892 vsize=294808 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 2 0 869445753 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 649312
[startup+6.30106 s]
/proc/loadavg: 2.02 2.07 1.83 3/684 13903
/proc/meminfo: memFree=14218208/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=294808 CPUtime=0.63 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 11089 1355 1 0 41 19 2 1 18 0 2 0 869445666 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13894/statm: 73702 7542 1871 364 0 8589 0
[pid=13901] ppid=13894 vsize=284564 CPUtime=0.01 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 876 0 0 0 0 1 0 0 15 0 1 0 869445753 291393536 6009 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 33554946 4414855952243589383 0 0 17 7 0 0 0
/proc/13901/statm: 71141 6009 342 364 0 6028 0
[pid=13903] ppid=13901 vsize=71384 CPUtime=5.42 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) R 13901 13903 13903 0 -1 4202496 18788 0 0 0 514 28 0 0 25 0 1 0 869445753 73097216 15552 33554432000 4194304 13684479 140736570953344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13903/statm: 17846 15552 821 2317 0 15524 0
[pid=13894/tid=13902] ppid=13892 vsize=294808 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 2 0 869445753 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 650756
[startup+12.7009 s]
/proc/loadavg: 2.02 2.07 1.83 3/684 13903
/proc/meminfo: memFree=14210176/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=294808 CPUtime=0.63 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 11089 1355 1 0 41 19 2 1 18 0 2 0 869445666 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13894/statm: 73702 7542 1871 364 0 8589 0
[pid=13901] ppid=13894 vsize=284564 CPUtime=0.03 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 888 0 0 0 1 2 0 0 15 0 1 0 869445753 291393536 6010 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 33554946 1823943241901277184 0 0 17 7 0 0 0
/proc/13901/statm: 71141 6010 343 364 0 6028 0
[pid=13903] ppid=13901 vsize=79920 CPUtime=11.83 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) R 13901 13903 13903 0 -1 4202496 20719 0 0 0 1141 42 0 0 25 0 1 0 869445753 81838080 17480 33554432000 4194304 13684479 140736570953344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13903/statm: 19980 17480 832 2317 0 17658 0
[pid=13894/tid=13902] ppid=13892 vsize=294808 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 2 0 869445753 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 659292
[startup+25.5006 s]
/proc/loadavg: 2.01 2.06 1.83 3/684 13904
/proc/meminfo: memFree=14209008/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=294808 CPUtime=0.63 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 11089 1355 1 0 41 19 2 1 18 0 2 0 869445666 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/13894/statm: 73702 7542 1871 364 0 8589 0
[pid=13901] ppid=13894 vsize=284564 CPUtime=0.09 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 898 0 0 0 4 5 0 0 15 0 1 0 869445753 291393536 6010 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373744 0 0 17 7 0 0 0
/proc/13901/statm: 71141 6010 343 364 0 6028 0
[pid=13903] ppid=13901 vsize=79920 CPUtime=24.61 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) R 13901 13903 13903 0 -1 4202496 20726 0 0 0 2411 50 0 0 25 0 1 0 869445753 81838080 17487 33554432000 4194304 13684479 140736570953344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13903/statm: 19980 17487 834 2317 0 17658 0
[pid=13894/tid=13902] ppid=13892 vsize=294808 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 2 0 869445753 301883392 7542 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 659292
[startup+51.1011 s]
/proc/loadavg: 2.01 2.06 1.84 5/708 13928
/proc/meminfo: memFree=14118044/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=305568 CPUtime=0.65 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 12004 1355 1 0 43 19 2 1 20 0 3 0 869445666 312901632 7675 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/13894/statm: 76392 7675 1874 364 0 11276 0
[pid=13901] ppid=13894 vsize=294808 CPUtime=0.18 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 1111 0 0 0 9 9 0 0 17 0 2 0 869445753 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/13901/statm: 73702 6078 406 364 0 8589 0
[pid=13903] ppid=13901 vsize=79920 CPUtime=47.49 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) T 13901 13903 13903 0 -1 4202496 20729 0 0 0 4662 87 0 0 25 0 1 0 869445753 81838080 17490 33554432000 4194304 13684479 140736570953344 18446744073709551615 7019326 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13903/statm: 19980 17490 837 2317 0 17658 0
[pid=13901/tid=13905] ppid=13894 vsize=294808 CPUtime=0 cores=1,3,5,7
/proc/13901/task/13905/stat : 13905 (python) S 13894 13894 11000 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869450502 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289340544 0 0 -1 1 0 0 0
[pid=13906] ppid=13894 vsize=295324 CPUtime=0 cores=1,3,5,7
/proc/13906/stat : 13906 (python) S 13894 13894 11000 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 869450504 302411776 6117 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899782 0 0 16781312 33554946 6930044463557345542 0 0 17 1 0 0 0
/proc/13906/statm: 73831 6117 320 364 0 8715 0
[pid=13908] ppid=13906 vsize=48936 CPUtime=2.7 cores=1,3,5,7
/proc/13908/stat : 13908 (scip-2.0.1.linu) R 13906 13908 13908 0 -1 4202496 11024 0 0 0 254 16 0 0 25 0 1 0 869450505 50110464 9113 33554432000 4194304 15243407 140737309920720 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/13908/statm: 12234 9113 838 2698 0 9529 0
[pid=13894/tid=13902] ppid=13892 vsize=305568 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 3 0 869445753 312901632 7675 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
[pid=13894/tid=13907] ppid=13892 vsize=305568 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13907/stat : 13907 (python) S 13892 13894 11000 0 -1 4202560 32 1355 0 0 0 0 2 1 20 0 3 0 869450505 312901632 7675 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 1024556
[startup+102.302 s]
/proc/loadavg: 2.08 2.08 1.85 3/701 13991
/proc/meminfo: memFree=13500544/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=315824 CPUtime=0.67 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 12927 1355 1 0 45 19 2 1 19 0 4 0 869445666 323403776 7681 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/13894/statm: 78956 7681 1876 364 0 13837 0
[pid=13901] ppid=13894 vsize=294808 CPUtime=0.18 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 1111 0 0 0 9 9 0 0 17 0 2 0 869445753 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/13901/statm: 73702 6078 406 364 0 8589 0
[pid=13903] ppid=13901 vsize=79920 CPUtime=47.49 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) T 13901 13903 13903 0 -1 4202496 20729 0 0 0 4662 87 0 0 25 0 1 0 869445753 81838080 17490 33554432000 4194304 13684479 140736570953344 18446744073709551615 7019326 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13903/statm: 19980 17490 837 2317 0 17658 0
[pid=13901/tid=13905] ppid=13894 vsize=294808 CPUtime=0 cores=1,3,5,7
/proc/13901/task/13905/stat : 13905 (python) S 13894 13894 11000 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869450502 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289340544 0 0 -1 1 0 0 0
[pid=13906] ppid=13894 vsize=295324 CPUtime=0.18 cores=1,3,5,7
/proc/13906/stat : 13906 (python) S 13894 13894 11000 0 -1 4202560 1123 0 0 0 7 11 0 0 16 0 2 0 869450504 302411776 6189 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13906/statm: 73831 6189 391 364 0 8715 0
[pid=13908] ppid=13906 vsize=84392 CPUtime=46.58 cores=1,3,5,7
/proc/13908/stat : 13908 (scip-2.0.1.linu) T 13906 13908 13908 0 -1 4202496 21313 0 0 0 4628 30 0 0 25 0 1 0 869450505 86417408 18073 33554432000 4194304 15243407 140737309920720 18446744073709551615 8112752 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13908/statm: 21098 18073 958 2698 0 18393 0
[pid=13906/tid=13970] ppid=13894 vsize=295324 CPUtime=0 cores=1,3,5,7
/proc/13906/task/13970/stat : 13970 (python) S 13894 13894 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869455163 302411776 6189 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604465300797248 0 0 -1 7 0 0 0
[pid=13971] ppid=13894 vsize=305580 CPUtime=0.01 cores=1,3,5,7
/proc/13971/stat : 13971 (python) S 13894 13894 11000 0 -1 4202560 916 0 0 0 0 1 0 0 15 0 1 0 869455166 312913920 6145 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899782 0 0 16781312 33554946 3881475280992206848 0 0 17 3 0 0 0
################
# More data... #
################
[pid=14000/tid=14006] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14006/stat : 14006 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6374 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14007] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14007/stat : 14007 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6376 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14008] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14008/stat : 14008 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6377 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14009] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14009/stat : 14009 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6380 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14010] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14010/stat : 14010 (java) S 13998 14000 14000 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869460008 8736546816 6380 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290696192 0 0 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 14000 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869460009 8736546816 6382 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 14000 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869460009 8736546816 6383 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869460011 8736546816 6393 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290703281 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=8531784 CPUtime=0.03 cores=1,3,5,7
/proc/14000/task/14014/stat : 14014 (java) R 13998 14000 14000 0 -1 4202560 548 0 0 0 3 0 0 0 24 0 18 0 869460011 8736546816 6405 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 47194421250569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=8531784 CPUtime=0.05 cores=1,3,5,7
/proc/14000/task/14015/stat : 14015 (java) R 13998 14000 14000 0 -1 4202560 850 0 0 0 5 0 0 0 25 0 18 0 869460011 8736546816 6406 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 47194418169038 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869460011 8736546816 6406 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869460011 8736546816 6407 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290696192 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=13894/tid=13902] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 5 0 869445753 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
[pid=13894/tid=13907] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13907/stat : 13907 (python) S 13892 13894 11000 0 -1 4202560 32 1355 0 0 0 0 2 1 20 0 5 0 869450505 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 7 0 0 0
[pid=13894/tid=13972] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13972/stat : 13972 (python) S 13892 13894 11000 0 -1 4202560 26 1355 0 0 0 0 2 1 20 0 5 0 869455166 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 3 0 0 0
[pid=13894/tid=13999] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13999/stat : 13999 (python) S 13892 13894 11000 0 -1 4202560 32 1355 0 0 0 0 2 1 20 0 5 0 869460006 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 145.13
Current children cumulated vsize (KiB) 18778876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+143.602 s]
/proc/loadavg: 2.16 2.10 1.87 6/726 14017
/proc/meminfo: memFree=13465232/32950904 swapFree=56615552/67111528
[pid=13894] ppid=13892 vsize=326080 CPUtime=0.7 cores=1,3,5,7
/proc/13894/stat : 13894 (python) S 13892 13894 11000 0 -1 4202496 13866 1355 1 0 48 19 2 1 20 0 5 0 869445666 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/13894/statm: 81520 7687 1878 364 0 16398 0
[pid=13901] ppid=13894 vsize=294808 CPUtime=0.18 cores=1,3,5,7
/proc/13901/stat : 13901 (python) S 13894 13894 11000 0 -1 4202560 1111 0 0 0 9 9 0 0 17 0 2 0 869445753 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/13901/statm: 73702 6078 406 364 0 8589 0
[pid=13903] ppid=13901 vsize=79920 CPUtime=47.49 cores=1,3,5,7
/proc/13903/stat : 13903 (scip-2.0.1.linu) T 13901 13903 13903 0 -1 4202496 20729 0 0 0 4662 87 0 0 25 0 1 0 869445753 81838080 17490 33554432000 4194304 13684479 140736570953344 18446744073709551615 7019326 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13903/statm: 19980 17490 837 2317 0 17658 0
[pid=13901/tid=13905] ppid=13894 vsize=294808 CPUtime=0 cores=1,3,5,7
/proc/13901/task/13905/stat : 13905 (python) S 13894 13894 11000 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869450502 301883392 6078 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289340544 0 0 -1 1 0 0 0
[pid=13906] ppid=13894 vsize=295324 CPUtime=0.18 cores=1,3,5,7
/proc/13906/stat : 13906 (python) S 13894 13894 11000 0 -1 4202560 1123 0 0 0 7 11 0 0 16 0 2 0 869450504 302411776 6189 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/13906/statm: 73831 6189 391 364 0 8715 0
[pid=13908] ppid=13906 vsize=84392 CPUtime=46.58 cores=1,3,5,7
/proc/13908/stat : 13908 (scip-2.0.1.linu) T 13906 13908 13908 0 -1 4202496 21313 0 0 0 4628 30 0 0 25 0 1 0 869450505 86417408 18073 33554432000 4194304 15243407 140737309920720 18446744073709551615 8112752 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/13908/statm: 21098 18073 958 2698 0 18393 0
[pid=13906/tid=13970] ppid=13894 vsize=295324 CPUtime=0 cores=1,3,5,7
/proc/13906/task/13970/stat : 13970 (python) S 13894 13894 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869455163 302411776 6189 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604465300797248 0 0 -1 7 0 0 0
[pid=13971] ppid=13894 vsize=305580 CPUtime=0.2 cores=1,3,5,7
/proc/13971/stat : 13971 (python) S 13894 13894 11000 0 -1 4202560 1124 0 0 0 10 10 0 0 16 0 2 0 869455166 312913920 6193 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/13971/statm: 76395 6193 391 364 0 11276 0
[pid=13973] ppid=13971 vsize=8545152 CPUtime=49.5 cores=1,3,5,7
/proc/13973/stat : 13973 (java) T 13971 13973 13973 0 -1 4202496 149779 0 1 0 4933 17 0 0 18 0 19 0 869455166 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/13973/statm: 2136288 133231 2259 9 0 2127029 0
[pid=13973/tid=13974] ppid=13971 vsize=8545152 CPUtime=47.95 cores=1,3,5,7
/proc/13973/task/13974/stat : 13974 (java) T 13971 13973 13973 0 -1 4202560 128391 0 1 0 4781 14 0 0 25 0 19 0 869455167 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13975] ppid=13971 vsize=8545152 CPUtime=0.01 cores=1,3,5,7
/proc/13973/task/13975/stat : 13975 (java) T 13971 13973 13973 0 -1 4202560 1141 0 0 0 1 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13973/tid=13976] ppid=13971 vsize=8545152 CPUtime=0.01 cores=1,3,5,7
/proc/13973/task/13976/stat : 13976 (java) T 13971 13973 13973 0 -1 4202560 583 0 0 0 1 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13973/tid=13977] ppid=13971 vsize=8545152 CPUtime=0.01 cores=1,3,5,7
/proc/13973/task/13977/stat : 13977 (java) T 13971 13973 13973 0 -1 4202560 1147 0 0 0 1 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13973/tid=13978] ppid=13971 vsize=8545152 CPUtime=0.02 cores=1,3,5,7
/proc/13973/task/13978/stat : 13978 (java) T 13971 13973 13973 0 -1 4202560 1074 0 0 0 2 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13973/tid=13979] ppid=13971 vsize=8545152 CPUtime=0.01 cores=1,3,5,7
/proc/13973/task/13979/stat : 13979 (java) T 13971 13973 13973 0 -1 4202560 690 0 0 0 1 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13980] ppid=13971 vsize=8545152 CPUtime=0.03 cores=1,3,5,7
/proc/13973/task/13980/stat : 13980 (java) T 13971 13973 13973 0 -1 4202560 1414 0 0 0 3 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13981] ppid=13971 vsize=8545152 CPUtime=0.03 cores=1,3,5,7
/proc/13973/task/13981/stat : 13981 (java) T 13971 13973 13973 0 -1 4202560 190 0 0 0 3 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13982] ppid=13971 vsize=8545152 CPUtime=0.02 cores=1,3,5,7
/proc/13973/task/13982/stat : 13982 (java) T 13971 13973 13973 0 -1 4202560 973 0 0 0 2 0 0 0 15 0 19 0 869455168 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237278832951 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13983] ppid=13971 vsize=8545152 CPUtime=0.18 cores=1,3,5,7
/proc/13973/task/13983/stat : 13983 (java) T 13971 13973 13973 0 -1 4202560 1090 0 0 0 18 0 0 0 15 0 19 0 869455169 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13973/tid=13984] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13984/stat : 13984 (java) T 13971 13973 13973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869455169 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13985] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13985/stat : 13985 (java) T 13971 13973 13973 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869455169 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13986] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13986/stat : 13986 (java) T 13971 13973 13973 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455171 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13987] ppid=13971 vsize=8545152 CPUtime=0.55 cores=1,3,5,7
/proc/13973/task/13987/stat : 13987 (java) T 13971 13973 13973 0 -1 4202560 4091 0 0 0 55 0 0 0 15 0 19 0 869455171 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13973/tid=13988] ppid=13971 vsize=8545152 CPUtime=0.6 cores=1,3,5,7
/proc/13973/task/13988/stat : 13988 (java) T 13971 13973 13973 0 -1 4202560 7601 0 0 0 59 1 0 0 15 0 19 0 869455171 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13989] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13989/stat : 13989 (java) T 13971 13973 13973 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455171 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=13973/tid=13990] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13990/stat : 13990 (java) T 13971 13973 13973 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869455171 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=13973/tid=13991] ppid=13971 vsize=8545152 CPUtime=0 cores=1,3,5,7
/proc/13973/task/13991/stat : 13991 (java) T 13971 13973 13973 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869455207 8750235648 133231 33554432000 1073741824 1073778376 140734252670320 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=13971/tid=13997] ppid=13894 vsize=305580 CPUtime=0 cores=1,3,5,7
/proc/13971/task/13997/stat : 13997 (python) S 13894 13894 11000 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869460003 312913920 6193 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604470139392960 0 0 -1 3 0 0 0
[pid=13998] ppid=13894 vsize=315836 CPUtime=0 cores=1,3,5,7
/proc/13998/stat : 13998 (python) S 13894 13894 11000 0 -1 4202560 795 0 0 0 0 0 0 0 19 0 1 0 869460006 323416064 6125 33554432000 4194304 5683644 140735042191136 18446744073709551615 237278899782 0 0 16781312 33554946 713806242992095232 0 0 17 3 0 0 0
/proc/13998/statm: 78959 6125 320 364 0 13837 0
[pid=14000] ppid=13998 vsize=8531784 CPUtime=0.3 cores=1,3,5,7
/proc/14000/stat : 14000 (java) S 13998 14000 14000 0 -1 4202496 6839 0 1 0 29 1 0 0 17 0 18 0 869460006 8736546816 6190 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14000/statm: 2132946 6190 2175 9 0 2123687 0
[pid=14000/tid=14001] ppid=13998 vsize=8531784 CPUtime=0.22 cores=1,3,5,7
/proc/14000/task/14001/stat : 14001 (java) R 13998 14000 14000 0 -1 4202560 4256 0 1 0 21 1 0 0 25 0 18 0 869460007 8736546816 6366 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 46912505179137 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14000/tid=14002] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14002/stat : 14002 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869460007 8736546816 6368 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14003] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14003/stat : 14003 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869460007 8736546816 6369 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14004] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14004/stat : 14004 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869460007 8736546816 6369 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14005] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14005/stat : 14005 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6370 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14006] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14006/stat : 14006 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6374 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14007] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14007/stat : 14007 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6376 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14008] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14008/stat : 14008 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6377 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14009] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14009/stat : 14009 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869460007 8736546816 6380 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14010] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14010/stat : 14010 (java) S 13998 14000 14000 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869460008 8736546816 6380 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290696192 0 0 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14011] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14011/stat : 14011 (java) S 13998 14000 14000 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869460009 8736546816 6382 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14012] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14012/stat : 14012 (java) S 13998 14000 14000 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869460009 8736546816 6383 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14013] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14013/stat : 14013 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869460011 8736546816 6393 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290703281 0 4 0 16800975 18446604468747528320 0 0 -1 7 0 0 0
[pid=14000/tid=14014] ppid=13998 vsize=8531784 CPUtime=0.03 cores=1,3,5,7
/proc/14000/task/14014/stat : 14014 (java) R 13998 14000 14000 0 -1 4202560 548 0 0 0 3 0 0 0 24 0 18 0 869460011 8736546816 6405 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 47194421250569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14015] ppid=13998 vsize=8531784 CPUtime=0.05 cores=1,3,5,7
/proc/14000/task/14015/stat : 14015 (java) R 13998 14000 14000 0 -1 4202560 850 0 0 0 5 0 0 0 25 0 18 0 869460011 8736546816 6406 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 47194418169038 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14000/tid=14016] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14016/stat : 14016 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869460011 8736546816 6406 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290695577 0 4 0 16800975 18446604468747528320 0 0 -1 3 0 0 0
[pid=14000/tid=14017] ppid=13998 vsize=8531784 CPUtime=0 cores=1,3,5,7
/proc/14000/task/14017/stat : 14017 (java) S 13998 14000 14000 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869460011 8736546816 6407 33554432000 1073741824 1073778376 140735214378784 18446744073709551615 237290696192 0 4 0 16800975 18446604468747528320 0 0 -1 5 0 0 0
[pid=13894/tid=13902] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13902/stat : 13902 (python) S 13892 13894 11000 0 -1 4202560 28 1355 0 0 0 0 2 1 18 0 5 0 869445753 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 1 0 0 0
[pid=13894/tid=13907] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13907/stat : 13907 (python) S 13892 13894 11000 0 -1 4202560 32 1355 0 0 0 0 2 1 20 0 5 0 869450505 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 7 0 0 0
[pid=13894/tid=13972] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13972/stat : 13972 (python) S 13892 13894 11000 0 -1 4202560 26 1355 0 0 0 0 2 1 20 0 5 0 869455166 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 3 0 0 0
[pid=13894/tid=13999] ppid=13892 vsize=326080 CPUtime=0.03 cores=1,3,5,7
/proc/13894/task/13999/stat : 13999 (python) S 13892 13894 11000 0 -1 4202560 32 1355 0 0 0 0 2 1 20 0 5 0 869460006 333905920 7687 33554432000 4194304 5683644 140735042191136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460857209088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 145.13
Current children cumulated vsize (KiB) 18778876
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13894 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=512922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=210967
# CPU time returned by wait4() is 0.723889
# while last known CPU time is 145.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 143.674
CPU time (s): 145.13
CPU user time (s): 143.28
CPU system time (s): 1.85
CPU usage (%): 101.013
Max. virtual memory (cumulated for all children) (KiB): 18778876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.512922
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15222
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= 5438
involuntary context switches= 20
runsolver used 0.819875 second user time and 1.64375 second system time
The end