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-3482819-1307578173/watcher-3482819-1307578173 -o /tmp/evaluation-result-3482819-1307578173/solver-3482819-1307578173 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482819-1307578173.opb -seed 106521175 -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: 1.96 2.05 1.72 3/555 24664
/proc/meminfo: memFree=22145184/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=16240 CPUtime=0.01 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 1063 0 0 0 1 0 0 0 25 0 1 0 869419993 16629760 934 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634515200 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 4060 934 381 364 0 547 0
[startup+0.0950181 s]
/proc/loadavg: 1.96 2.05 1.72 3/555 24664
/proc/meminfo: memFree=22145184/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 3141 931 1 0 5 1 0 0 18 0 1 0 869419993 98430976 2483 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634174584 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.101038 s]
/proc/loadavg: 1.96 2.05 1.72 3/555 24664
/proc/meminfo: memFree=22145184/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 869419993 98430976 2483 33554432000 4194304 5683644 140733504548272 18446744073709551615 5177571 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301025 s]
/proc/loadavg: 1.96 2.05 1.72 3/555 24664
/proc/meminfo: memFree=22145184/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=203280 CPUtime=0.23 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 6715 931 1 0 16 7 0 0 17 0 1 0 869419993 208158720 4994 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634176197 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 50820 4998 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203280
[startup+0.700951 s]
/proc/loadavg: 1.96 2.05 1.72 3/555 24664
/proc/meminfo: memFree=22145184/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=297348 CPUtime=0.6 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 12751 931 1 0 50 10 0 0 17 0 1 0 869419993 304484352 10613 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634176197 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 74337 10613 1781 364 0 9230 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 297348
[startup+1.50081 s]
/proc/loadavg: 1.96 2.05 1.72 4/556 24669
/proc/meminfo: memFree=22096940/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=331192 CPUtime=1.4 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 23429 931 1 0 129 11 0 0 18 0 1 0 869419993 339140608 18783 33554432000 4194304 5683644 140733504548272 18446744073709551615 47794400828101 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24664/statm: 82798 18784 1784 364 0 17691 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 331192
[startup+3.10051 s]
/proc/loadavg: 1.96 2.05 1.72 3/556 24669
/proc/meminfo: memFree=22077612/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=327768 CPUtime=3 cores=0,2,4,6
/proc/24664/stat : 24664 (python) R 24662 24664 23366 0 -1 4202496 27879 931 1 0 288 12 0 0 22 0 1 0 869419993 335634432 18290 33554432000 4194304 5683644 140733504548272 18446744073709551615 47794408104595 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/24664/statm: 81942 18290 1816 364 0 16835 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 327768
[startup+6.30094 s]
/proc/loadavg: 2.12 2.08 1.73 4/559 24672
/proc/meminfo: memFree=22053040/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=341180 CPUtime=3.35 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 28952 931 1 0 323 12 0 0 25 0 2 0 869419993 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24664/statm: 85295 19136 1872 364 0 20182 0
[pid=24670] ppid=24664 vsize=330936 CPUtime=0 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869420338 338878464 17611 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634535439 0 0 16781312 33554946 497782831250899204 0 0 17 4 0 0 0
/proc/24670/statm: 82734 17611 351 364 0 17621 0
[pid=24672] ppid=24670 vsize=17784 CPUtime=2.81 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) R 24670 24672 24672 0 -1 4202496 5976 0 0 0 281 0 0 0 25 0 1 0 869420339 18210816 4187 33554432000 134512640 136139019 4291810672 18446744073709551615 134883454 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24672/statm: 4446 4187 184 398 0 4046 0
[pid=24664/tid=24671] ppid=24662 vsize=341180 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 869420338 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 689900
[startup+12.7008 s]
/proc/loadavg: 2.11 2.08 1.73 4/559 24673
/proc/meminfo: memFree=22050616/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=341180 CPUtime=3.35 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 28952 931 1 0 323 12 0 0 25 0 2 0 869419993 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24664/statm: 85295 19136 1872 364 0 20182 0
[pid=24670] ppid=24664 vsize=330936 CPUtime=0.04 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 905 0 0 0 2 2 0 0 18 0 1 0 869420338 338878464 17635 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634535439 0 0 16781312 33554946 72409437758827383 0 0 17 4 0 0 0
/proc/24670/statm: 82734 17635 375 364 0 17621 0
[pid=24672] ppid=24670 vsize=21748 CPUtime=9.21 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) R 24670 24672 24672 0 -1 4202496 6975 0 0 0 920 1 0 0 25 0 1 0 869420339 22269952 5186 33554432000 134512640 136139019 4291810672 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24672/statm: 5437 5186 184 398 0 5037 0
[pid=24664/tid=24671] ppid=24662 vsize=341180 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 869420338 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 693864
[startup+25.5006 s]
/proc/loadavg: 2.09 2.07 1.74 3/559 24673
/proc/meminfo: memFree=22047264/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=341180 CPUtime=3.35 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 28952 931 1 0 323 12 0 0 25 0 2 0 869419993 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/24664/statm: 85295 19136 1872 364 0 20182 0
[pid=24670] ppid=24664 vsize=330936 CPUtime=0.08 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 910 0 0 0 4 4 0 0 18 0 1 0 869420338 338878464 17635 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634535439 0 0 16781312 33554946 72556772316949367 0 0 17 6 0 0 0
/proc/24670/statm: 82734 17635 375 364 0 17621 0
[pid=24672] ppid=24670 vsize=26952 CPUtime=22.01 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) R 24670 24672 24672 0 -1 4202496 8252 0 0 0 2200 1 0 0 25 0 1 0 869420339 27598848 6463 33554432000 134512640 136139019 4291810672 18446744073709551615 134865663 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/24672/statm: 6738 6463 184 398 0 6338 0
[pid=24664/tid=24671] ppid=24662 vsize=341180 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 869420338 349368320 19136 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 699068
[startup+51.101 s]
/proc/loadavg: 2.22 2.10 1.75 4/560 24675
/proc/meminfo: memFree=22035616/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=351436 CPUtime=3.38 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 29851 931 1 0 325 13 0 0 20 0 3 0 869419993 359870464 19143 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24664/statm: 87859 19143 1875 364 0 22743 0
[pid=24670] ppid=24664 vsize=341180 CPUtime=0.2 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 1146 0 0 0 10 10 0 0 19 0 2 0 869420338 349368320 17676 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24670/statm: 85295 17676 411 364 0 20182 0
[pid=24672] ppid=24670 vsize=36488 CPUtime=47.2 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) T 24670 24672 24672 0 -1 4202496 10640 0 0 0 4718 2 0 0 25 0 1 0 869420339 37363712 8851 33554432000 134512640 136139019 4291810672 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24672/statm: 9122 8851 184 398 0 8722 0
[pid=24664/tid=24671] ppid=24662 vsize=351436 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 3 0 869420338 359870464 19143 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 729104
[startup+102.32 s]
/proc/loadavg: 2.09 2.08 1.76 4/568 24684
/proc/meminfo: memFree=20682212/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=361692 CPUtime=3.41 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 30715 931 1 0 328 13 0 0 20 0 4 0 869419993 370372608 19149 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/24664/statm: 90423 19149 1877 364 0 25304 0
[pid=24670] ppid=24664 vsize=341180 CPUtime=0.2 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 1146 0 0 0 10 10 0 0 19 0 2 0 869420338 349368320 17676 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24670/statm: 85295 17676 411 364 0 20182 0
[pid=24672] ppid=24670 vsize=36488 CPUtime=47.2 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) T 24670 24672 24672 0 -1 4202496 10640 0 0 0 4718 2 0 0 25 0 1 0 869420339 37363712 8851 33554432000 134512640 136139019 4291810672 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24672/statm: 9122 8851 184 398 0 8722 0
[pid=24670/tid=24676] ppid=24664 vsize=341180 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (python) S 24664 24664 23366 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869425061 349368320 17676 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425911808 0 0 -1 6 0 0 0
[pid=24677] ppid=24664 vsize=341192 CPUtime=0.21 cores=0,2,4,6
/proc/24677/stat : 24677 (python) S 24664 24664 23366 0 -1 4202560 1115 0 0 0 10 11 0 0 16 0 2 0 869425063 349380608 17661 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24677/statm: 85298 17661 396 364 0 20182 0
[pid=24679] ppid=24677 vsize=856284 CPUtime=47.12 cores=0,2,4,6
/proc/24679/stat : 24679 (scip-2.0.1.linu) T 24677 24679 24679 0 -1 4202496 211015 0 0 0 4642 70 0 0 25 0 1 0 869425063 876834816 206890 33554432000 4194304 13684479 140734610991904 18446744073709551615 4880950 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24679/statm: 214071 206890 656 2317 0 211749 0
[pid=24677/tid=24681] ppid=24664 vsize=341192 CPUtime=0 cores=0,2,4,6
/proc/24677/task/24681/stat : 24681 (python) S 24664 24664 23366 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869429777 349380608 17661 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604442973054976 0 0 -1 6 0 0 0
[pid=24682] ppid=24664 vsize=351448 CPUtime=0.01 cores=0,2,4,6
/proc/24682/stat : 24682 (python) S 24664 24664 23366 0 -1 4202560 931 0 0 0 0 1 0 0 16 0 1 0 869429779 359882752 17640 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634535494 0 0 16781312 33554946 1866331760204153090 0 0 17 6 0 0 0
/proc/24682/statm: 87862 17640 372 364 0 22743 0
[pid=24684] ppid=24682 vsize=543200 CPUtime=4.43 cores=0,2,4,6
/proc/24684/stat : 24684 (scip-2.0.1.linu) R 24682 24684 24684 0 -1 4202496 132242 0 0 0 426 17 0 0 25 0 1 0 869429780 556236800 131617 33554432000 4194304 15243407 140735082705472 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24684/statm: 135800 131617 655 2698 0 133095 0
[pid=24664/tid=24671] ppid=24662 vsize=361692 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 4 0 869420338 370372608 19149 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24664/tid=24678] ppid=24662 vsize=361692 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24678/stat : 24678 (python) S 24662 24664 23366 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 869425063 370372608 19149 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24683] ppid=24662 vsize=361692 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24683/stat : 24683 (python) S 24662 24664 23366 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 4 0 869429780 370372608 19149 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.58
Current children cumulated vsize (KiB) 2831484
[startup+162.301 s]
/proc/loadavg: 2.34 2.13 1.79 4/572 24690
/proc/meminfo: memFree=20275612/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=371948 CPUtime=14.23 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 31654 931 1 0 1407 16 0 0 25 0 5 0 869419993 380874752 19155 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24664/statm: 92987 19155 1879 364 0 27865 0
[pid=24670] ppid=24664 vsize=341180 CPUtime=0.2 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 1146 0 0 0 10 10 0 0 19 0 2 0 869420338 349368320 17676 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24670/statm: 85295 17676 411 364 0 20182 0
[pid=24672] ppid=24670 vsize=36488 CPUtime=47.2 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) T 24670 24672 24672 0 -1 4202496 10640 0 0 0 4718 2 0 0 25 0 1 0 869420339 37363712 8851 33554432000 134512640 136139019 4291810672 18446744073709551615 134882965 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24672/statm: 9122 8851 184 398 0 8722 0
[pid=24670/tid=24676] ppid=24664 vsize=341180 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=24801/tid=24813] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24813/stat : 24813 (java) S 24799 24801 24801 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869583429 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24814] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24814/stat : 24814 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646338993 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24815] ppid=24799 vsize=8532592 CPUtime=0.03 cores=0,2,4,6
/proc/24801/task/24815/stat : 24815 (java) R 24799 24801 24801 0 -1 4202560 432 0 0 0 3 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24801/tid=24816] ppid=24799 vsize=8532592 CPUtime=0.02 cores=0,2,4,6
/proc/24801/task/24816/stat : 24816 (java) S 24799 24801 24801 0 -1 4202560 594 0 0 0 2 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24817] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24817/stat : 24817 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24818] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24818/stat : 24818 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869583431 8737374208 6015 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331904 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24664/tid=24671] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 9 0 869420338 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24664/tid=24678] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24678/stat : 24678 (python) S 24662 24664 23366 0 -1 4202560 41 931 0 0 0 0 0 0 18 0 9 0 869425063 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24683] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24683/stat : 24683 (python) S 24662 24664 23366 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 9 0 869429780 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 6 0 0 0
[pid=24664/tid=24689] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24689/stat : 24689 (python) S 24662 24664 23366 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 9 0 869435976 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24716] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24716/stat : 24716 (python) S 24662 24664 23366 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 869445418 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24748] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24748/stat : 24748 (python) S 24662 24664 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869514316 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24664/tid=24795] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24795/stat : 24795 (python) S 24662 24664 23366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 9 0 869578450 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24800] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24800/stat : 24800 (python) S 24662 24664 23366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 9 0 869583425 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1641.64
Current children cumulated vsize (KiB) 16626252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1634.5 s]
/proc/loadavg: 1.21 1.78 1.87 4/606 24818
/proc/meminfo: memFree=16707472/32951124 swapFree=51712240/67111528
[pid=24664] ppid=24662 vsize=412972 CPUtime=14.43 cores=0,2,4,6
/proc/24664/stat : 24664 (python) S 24662 24664 23366 0 -1 4202496 35460 931 1 0 1425 18 0 0 20 0 9 0 869419993 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24664/statm: 103243 19179 1887 364 0 38109 0
[pid=24670] ppid=24664 vsize=341180 CPUtime=1.05 cores=0,2,4,6
/proc/24670/stat : 24670 (python) S 24664 24664 23366 0 -1 4202560 1210 0 0 0 53 52 0 0 18 0 2 0 869420338 349368320 17677 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24670/statm: 85295 17677 412 364 0 20182 0
[pid=24672] ppid=24670 vsize=65424 CPUtime=232.04 cores=0,2,4,6
/proc/24672/stat : 24672 (clasp-1.3.7-x86) T 24670 24672 24672 0 -1 4202496 17830 0 0 0 23201 3 0 0 25 0 1 0 869420339 66994176 16041 33554432000 134512640 136139019 4291810672 18446744073709551615 134608407 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/24672/statm: 16356 16041 184 398 0 15956 0
[pid=24670/tid=24676] ppid=24664 vsize=341180 CPUtime=0 cores=0,2,4,6
/proc/24670/task/24676/stat : 24676 (python) S 24664 24664 23366 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 869425061 349368320 17677 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425911808 0 0 -1 6 0 0 0
[pid=24677] ppid=24664 vsize=341192 CPUtime=4.72 cores=0,2,4,6
/proc/24677/stat : 24677 (python) S 24664 24664 23366 0 -1 4202560 1199 0 0 0 236 236 0 0 15 0 2 0 869425063 349380608 17661 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24677/statm: 85298 17661 396 364 0 20182 0
[pid=24679] ppid=24677 vsize=3139560 CPUtime=1053.27 cores=0,2,4,6
/proc/24679/stat : 24679 (scip-2.0.1.linu) T 24677 24679 24679 0 -1 4202496 778850 0 0 0 105095 232 0 0 25 0 1 0 869425063 3214909440 774725 33554432000 4194304 13684479 140734610991904 18446744073709551615 4865612 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24679/statm: 784890 774725 660 2317 0 782568 0
[pid=24677/tid=24681] ppid=24664 vsize=341192 CPUtime=0 cores=0,2,4,6
/proc/24677/task/24681/stat : 24681 (python) S 24664 24664 23366 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869429777 349380608 17661 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604442973054976 0 0 -1 6 0 0 0
[pid=24682] ppid=24664 vsize=351448 CPUtime=0.46 cores=0,2,4,6
/proc/24682/stat : 24682 (python) S 24664 24664 23366 0 -1 4202560 1135 0 0 0 23 23 0 0 15 0 2 0 869429779 359882752 17665 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24682/statm: 87862 17665 396 364 0 22743 0
[pid=24684] ppid=24682 vsize=1091424 CPUtime=96.35 cores=0,2,4,6
/proc/24684/stat : 24684 (scip-2.0.1.linu) T 24682 24684 24684 0 -1 4202496 268657 0 0 0 9560 75 0 0 25 0 1 0 869429780 1117618176 264552 33554432000 4194304 15243407 140735082705472 18446744073709551615 5688591 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/24684/statm: 272856 264552 721 2698 0 270151 0
[pid=24682/tid=24686] ppid=24664 vsize=351448 CPUtime=0 cores=0,2,4,6
/proc/24682/task/24686/stat : 24686 (python) S 24664 24664 23366 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869434893 359882752 17665 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604445053256768 0 0 -1 6 0 0 0
[pid=24688] ppid=24664 vsize=361704 CPUtime=0.21 cores=0,2,4,6
/proc/24688/stat : 24688 (python) S 24664 24664 23366 0 -1 4202560 1142 0 0 0 10 11 0 0 16 0 2 0 869435975 370384896 17669 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/24688/statm: 90426 17669 396 364 0 25304 0
[pid=24690] ppid=24688 vsize=251296 CPUtime=49.14 cores=0,2,4,6
/proc/24690/stat : 24690 (minion) T 24688 24690 24690 0 -1 4202496 68547 0 0 0 4906 8 0 0 25 0 1 0 869435976 257327104 55285 33554432000 134512640 165565024 4289151360 18446744073709551615 142853096 0 0 16781312 8396802 18446744071562691360 0 0 17 4 0 0 0
/proc/24690/statm: 62824 55285 346 7582 0 55239 0
[pid=24688/tid=24692] ppid=24664 vsize=361704 CPUtime=0 cores=0,2,4,6
/proc/24688/task/24692/stat : 24692 (python) S 24664 24664 23366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869440891 370384896 17669 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604445786712256 0 0 -1 2 0 0 0
[pid=24715] ppid=24664 vsize=371960 CPUtime=0.21 cores=0,2,4,6
/proc/24715/stat : 24715 (python) S 24664 24664 23366 0 -1 4202560 1147 0 0 0 10 11 0 0 17 0 2 0 869445417 380887040 17673 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/24715/statm: 92990 17673 396 364 0 27865 0
[pid=24717] ppid=24715 vsize=58704 CPUtime=46.15 cores=0,2,4,6
/proc/24717/stat : 24717 (wbo1.4a) T 24715 24717 24717 0 -1 4202496 16203 0 0 0 4598 17 0 0 25 0 1 0 869445418 60112896 13975 33554432000 134512640 135751879 4286793456 18446744073709551615 134616390 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/24717/statm: 14676 13975 143 303 0 14371 0
[pid=24715/tid=24720] ppid=24664 vsize=371960 CPUtime=0 cores=0,2,4,6
/proc/24715/task/24720/stat : 24720 (python) S 24664 24664 23366 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869450034 380887040 17673 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604453425910912 0 0 -1 6 0 0 0
[pid=24747] ppid=24664 vsize=382216 CPUtime=0.41 cores=0,2,4,6
/proc/24747/stat : 24747 (python) S 24664 24664 23366 0 -1 4202560 1172 0 0 0 21 20 0 0 17 0 2 0 869514315 391389184 17677 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/24747/statm: 95554 17677 396 364 0 30426 0
[pid=24749] ppid=24747 vsize=55420 CPUtime=93.01 cores=0,2,4,6
/proc/24749/stat : 24749 (bsolo_pb10) T 24747 24749 24749 0 -1 4202496 13268 0 0 0 9296 5 0 0 25 0 1 0 869514316 56750080 11183 33554432000 134512640 137138936 4294346912 18446744073709551615 134543151 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/24749/statm: 13855 11183 184 642 0 13211 0
[pid=24747/tid=24752] ppid=24664 vsize=382216 CPUtime=0 cores=0,2,4,6
/proc/24747/task/24752/stat : 24752 (python) S 24664 24664 23366 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869523620 391389184 17677 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604447038750912 0 0 -1 4 0 0 0
[pid=24794] ppid=24664 vsize=392472 CPUtime=0.24 cores=0,2,4,6
/proc/24794/stat : 24794 (python) S 24664 24664 23366 0 -1 4202560 1154 0 0 0 12 12 0 0 16 0 2 0 869578450 401891328 17681 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646342091 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/24794/statm: 98118 17681 396 364 0 32987 0
[pid=24796] ppid=24794 vsize=73960 CPUtime=49.71 cores=0,2,4,6
/proc/24796/stat : 24796 (wbo1.4b-fixed) T 24794 24796 24796 0 -1 4202496 19985 0 0 0 4955 16 0 0 25 0 1 0 869578450 75735040 17752 33554432000 134512640 135752315 4290034688 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/24796/statm: 18490 17752 146 303 0 18185 0
[pid=24794/tid=24798] ppid=24664 vsize=392472 CPUtime=0 cores=0,2,4,6
/proc/24794/task/24798/stat : 24798 (python) S 24664 24664 23366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869583424 401891328 17681 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554946 18446604446305057664 0 0 -1 2 0 0 0
[pid=24799] ppid=24664 vsize=402728 CPUtime=0 cores=0,2,4,6
/proc/24799/stat : 24799 (python) S 24664 24664 23366 0 -1 4202560 832 0 0 0 0 0 0 0 18 0 1 0 869583425 412393472 17636 33554432000 4194304 5683644 140733504548272 18446744073709551615 216634535494 0 0 16781312 33554946 3044514454264872960 0 0 17 6 0 0 0
/proc/24799/statm: 100682 17636 348 364 0 35548 0
[pid=24801] ppid=24799 vsize=8532592 CPUtime=0.24 cores=0,2,4,6
/proc/24801/stat : 24801 (java) S 24799 24801 24801 0 -1 4202496 6597 0 1 0 23 1 0 0 20 0 18 0 869583425 8737374208 6008 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24801/statm: 2133148 6008 2161 9 0 2123889 0
[pid=24801/tid=24802] ppid=24799 vsize=8532592 CPUtime=0.17 cores=0,2,4,6
/proc/24801/task/24802/stat : 24802 (java) R 24799 24801 24801 0 -1 4202560 4191 0 1 0 17 0 0 0 25 0 18 0 869583427 8737374208 6012 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24801/tid=24803] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24803/stat : 24803 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869583427 8737374208 6012 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24804] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24804/stat : 24804 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869583427 8737374208 6012 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24805] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24805/stat : 24805 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869583427 8737374208 6012 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24806] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24806/stat : 24806 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583427 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24807] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24807/stat : 24807 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583427 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24808] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24808/stat : 24808 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583427 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24809] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24809/stat : 24809 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583427 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24810] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24810/stat : 24810 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583427 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24811] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24811/stat : 24811 (java) S 24799 24801 24801 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869583428 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331904 0 0 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24812] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24812/stat : 24812 (java) S 24799 24801 24801 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869583429 8737374208 6013 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24813] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24813/stat : 24813 (java) S 24799 24801 24801 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869583429 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24814] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24814/stat : 24814 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646338993 0 4 0 16800975 18446604443232208000 0 0 -1 6 0 0 0
[pid=24801/tid=24815] ppid=24799 vsize=8532592 CPUtime=0.03 cores=0,2,4,6
/proc/24801/task/24815/stat : 24815 (java) R 24799 24801 24801 0 -1 4202560 432 0 0 0 3 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24801/tid=24816] ppid=24799 vsize=8532592 CPUtime=0.02 cores=0,2,4,6
/proc/24801/task/24816/stat : 24816 (java) S 24799 24801 24801 0 -1 4202560 594 0 0 0 2 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24817] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24817/stat : 24817 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869583431 8737374208 6014 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331289 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24801/tid=24818] ppid=24799 vsize=8532592 CPUtime=0 cores=0,2,4,6
/proc/24801/task/24818/stat : 24818 (java) S 24799 24801 24801 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869583431 8737374208 6015 33554432000 1073741824 1073778376 140735159414976 18446744073709551615 216646331904 0 4 0 16800975 18446604443232208000 0 0 -1 2 0 0 0
[pid=24664/tid=24671] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24671/stat : 24671 (python) S 24662 24664 23366 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 9 0 869420338 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24664/tid=24678] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24678/stat : 24678 (python) S 24662 24664 23366 0 -1 4202560 41 931 0 0 0 0 0 0 18 0 9 0 869425063 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24683] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24683/stat : 24683 (python) S 24662 24664 23366 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 9 0 869429780 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 6 0 0 0
[pid=24664/tid=24689] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24689/stat : 24689 (python) S 24662 24664 23366 0 -1 4202560 31 931 0 0 0 0 0 0 25 0 9 0 869435976 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24716] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24716/stat : 24716 (python) S 24662 24664 23366 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 9 0 869445418 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24748] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24748/stat : 24748 (python) S 24662 24664 23366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 9 0 869514316 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 4 0 0 0
[pid=24664/tid=24795] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24795/stat : 24795 (python) S 24662 24664 23366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 9 0 869578450 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
[pid=24664/tid=24800] ppid=24662 vsize=412972 CPUtime=0 cores=0,2,4,6
/proc/24664/task/24800/stat : 24800 (python) S 24662 24664 23366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 9 0 869583425 422883328 19179 33554432000 4194304 5683644 140733504548272 18446744073709551615 216646338993 0 0 16781312 33554434 18446604449123068864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1641.64
Current children cumulated vsize (KiB) 16626252
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24664 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=259832
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=187971
# CPU time returned by wait4() is 14.4478
# while last known CPU time is 1641.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1634.59
CPU time (s): 1641.64
CPU user time (s): 1634.24
CPU system time (s): 7.4
CPU usage (%): 100.431
Max. virtual memory (cumulated for all children) (KiB): 16626252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2598
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36396
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= 1035
involuntary context switches= 63
runsolver used 11.1503 second user time and 20.3739 second system time
The end