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-3481662-1307577673/watcher-3481662-1307577673 -o /tmp/evaluation-result-3481662-1307577673/solver-3481662-1307577673 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481662-1307577673.opb -seed 744328838 -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.06 2.07 1.56 3/788 31860
/proc/meminfo: memFree=22506320/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/31860/stat : 31860 (python) R 31858 31860 30488 0 -1 4202496 1049 0 0 0 0 0 0 0 21 0 1 0 869366188 16625664 921 33554432000 4194304 5683644 140735238442208 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31860/statm: 4059 921 381 364 0 546 0
[startup+0.0947609 s]
/proc/loadavg: 2.06 2.07 1.56 3/788 31860
/proc/meminfo: memFree=22506320/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 2409 0 0 0 4 1 0 0 18 0 1 0 869366188 86597632 2136 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/31860/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.100746 s]
/proc/loadavg: 2.06 2.07 1.56 3/788 31860
/proc/meminfo: memFree=22506320/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/31860/stat : 31860 (python) R 31858 31860 30488 0 -1 4202496 2664 0 0 0 5 1 0 0 18 0 1 0 869366188 87674880 2382 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31860/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.30073 s]
/proc/loadavg: 2.06 2.07 1.56 3/788 31860
/proc/meminfo: memFree=22506320/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 5355 933 1 0 14 4 0 0 17 0 1 0 869366188 126709760 3744 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272685061 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/31860/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.70071 s]
/proc/loadavg: 2.06 2.07 1.56 3/788 31860
/proc/meminfo: memFree=22506320/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=292152 CPUtime=0.49 cores=0,2,4,6
/proc/31860/stat : 31860 (python) R 31858 31860 30488 0 -1 4202496 11458 933 1 0 38 11 0 0 16 0 1 0 869366188 299163648 9322 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272386233 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31860/statm: 73038 9323 1781 364 0 7931 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 292152
[startup+1.50045 s]
/proc/loadavg: 2.06 2.07 1.56 3/789 31865
/proc/meminfo: memFree=22463904/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=320368 CPUtime=1.29 cores=0,2,4,6
/proc/31860/stat : 31860 (python) R 31858 31860 30488 0 -1 4202496 18296 933 1 0 117 12 0 0 17 0 1 0 869366188 328056832 16160 33554432000 4194304 5683644 140735238442208 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31860/statm: 80092 16160 1781 364 0 14985 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 320368
[startup+3.10028 s]
/proc/loadavg: 2.05 2.07 1.56 3/789 31865
/proc/meminfo: memFree=22438480/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=327640 CPUtime=2.88 cores=0,2,4,6
/proc/31860/stat : 31860 (python) R 31858 31860 30488 0 -1 4202496 27745 933 1 0 275 13 0 0 19 0 1 0 869366188 335503360 18234 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284513108 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/31860/statm: 81910 18234 1816 364 0 16803 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 327640
[startup+6.30071 s]
/proc/loadavg: 2.05 2.07 1.56 3/792 31868
/proc/meminfo: memFree=22164052/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=341028 CPUtime=3.63 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 28833 933 1 0 349 14 0 0 23 0 2 0 869366188 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31860/statm: 85257 19095 1870 364 0 20144 0
[pid=31866] ppid=31860 vsize=330784 CPUtime=0 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 1 0 869366572 338722816 17572 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709135 0 0 16781312 33554946 10808637220198514947 0 0 17 4 0 0 0
/proc/31866/statm: 82696 17572 351 364 0 17583 0
[pid=31868] ppid=31866 vsize=328400 CPUtime=2.45 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) R 31866 31868 31868 0 -1 4202496 78172 0 0 0 227 18 0 0 25 0 1 0 869366572 336281600 77550 33554432000 4194304 13684479 140735059708048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31868/statm: 82100 77550 620 2317 0 79778 0
[pid=31860/tid=31867] ppid=31858 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 25 933 0 0 0 0 0 0 23 0 2 0 869366572 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 1000212
[startup+12.7006 s]
/proc/loadavg: 2.12 2.09 1.57 3/792 31869
/proc/meminfo: memFree=22068564/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=341028 CPUtime=3.63 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 28833 933 1 0 349 14 0 0 23 0 2 0 869366188 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31860/statm: 85257 19095 1870 364 0 20144 0
[pid=31866] ppid=31860 vsize=330784 CPUtime=0.04 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 898 0 0 0 2 2 0 0 15 0 1 0 869366572 338722816 17596 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709135 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/31866/statm: 82696 17596 375 364 0 17583 0
[pid=31868] ppid=31866 vsize=383052 CPUtime=8.84 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) R 31866 31868 31868 0 -1 4202496 95869 0 0 0 839 45 0 0 25 0 1 0 869366572 392245248 91387 33554432000 4194304 13684479 140735059708048 18446744073709551615 6733904 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31868/statm: 95763 91387 687 2317 0 93441 0
[pid=31860/tid=31867] ppid=31858 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 25 933 0 0 0 0 0 0 23 0 2 0 869366572 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 1054864
[startup+25.5013 s]
/proc/loadavg: 2.10 2.08 1.57 3/792 31869
/proc/meminfo: memFree=21907616/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=341028 CPUtime=3.63 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 28833 933 1 0 349 14 0 0 23 0 2 0 869366188 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31860/statm: 85257 19095 1870 364 0 20144 0
[pid=31866] ppid=31860 vsize=330784 CPUtime=0.1 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 915 0 0 0 5 5 0 0 15 0 1 0 869366572 338722816 17596 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709135 0 0 16781312 33554946 1863368121100795904 0 0 17 4 0 0 0
/proc/31866/statm: 82696 17596 375 364 0 17583 0
[pid=31868] ppid=31866 vsize=563652 CPUtime=21.61 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) R 31866 31868 31868 0 -1 4202496 140098 0 0 0 2104 57 0 0 25 0 1 0 869366572 577179648 132444 33554432000 4194304 13684479 140735059708048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31868/statm: 140913 132444 817 2317 0 138591 0
[pid=31860/tid=31867] ppid=31858 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 25 933 0 0 0 0 0 0 23 0 2 0 869366572 349212672 19095 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 1235464
[startup+51.1007 s]
/proc/loadavg: 2.06 2.08 1.58 3/796 31874
/proc/meminfo: memFree=21871712/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=351284 CPUtime=3.65 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 29645 933 1 0 351 14 0 0 20 0 3 0 869366188 359714816 19102 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31860/statm: 87821 19102 1873 364 0 22705 0
[pid=31866] ppid=31860 vsize=341028 CPUtime=0.25 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 1090 0 0 0 13 12 0 0 16 0 2 0 869366572 349212672 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/31866/statm: 85257 17632 406 364 0 20144 0
[pid=31868] ppid=31866 vsize=589516 CPUtime=46.36 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) T 31866 31868 31868 0 -1 4202496 144759 0 0 0 4575 61 0 0 25 0 1 0 869366572 603664384 137105 33554432000 4194304 13684479 140735059708048 18446744073709551615 7098862 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31868/statm: 147379 137105 819 2317 0 145057 0
[pid=31866/tid=31871] ppid=31860 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31866/task/31871/stat : 31871 (python) S 31860 31860 30488 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869371215 349212672 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604449130662912 0 0 -1 4 0 0 0
[pid=31872] ppid=31860 vsize=341040 CPUtime=0 cores=0,2,4,6
/proc/31872/stat : 31872 (python) S 31860 31860 30488 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 869371217 349224960 17573 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709190 0 0 16781312 33554946 1413247727344549888 0 0 17 4 0 0 0
/proc/31872/statm: 85260 17573 348 364 0 20144 0
[pid=31874] ppid=31872 vsize=34364 CPUtime=0.78 cores=0,2,4,6
/proc/31874/stat : 31874 (wbo1.4a) R 31872 31874 31874 0 -1 4202496 12891 0 0 0 76 2 0 0 22 0 1 0 869371218 35188736 7747 33554432000 134512640 135751879 4289209856 18446744073709551615 135204359 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/31874/statm: 8591 7747 142 303 0 8286 0
[pid=31860/tid=31867] ppid=31858 vsize=351284 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 25 933 0 0 0 0 0 0 23 0 3 0 869366572 359714816 19102 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31873] ppid=31858 vsize=351284 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31873/stat : 31873 (python) S 31858 31860 30488 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 3 0 869371217 359714816 19102 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1657232
[startup+102.324 s]
/proc/loadavg: 2.02 2.06 1.61 3/801 31880
/proc/meminfo: memFree=21457532/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=361540 CPUtime=3.67 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 30498 933 1 0 353 14 0 0 20 0 4 0 869366188 370216960 19108 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31860/statm: 90385 19108 1875 364 0 25266 0
[pid=31866] ppid=31860 vsize=341028 CPUtime=0.25 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 1090 0 0 0 13 12 0 0 16 0 2 0 869366572 349212672 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/31866/statm: 85257 17632 406 364 0 20144 0
[pid=31868] ppid=31866 vsize=589516 CPUtime=46.36 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) T 31866 31868 31868 0 -1 4202496 144759 0 0 0 4575 61 0 0 25 0 1 0 869366572 603664384 137105 33554432000 4194304 13684479 140735059708048 18446744073709551615 7098862 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31868/statm: 147379 137105 819 2317 0 145057 0
[pid=31866/tid=31871] ppid=31860 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31866/task/31871/stat : 31871 (python) S 31860 31860 30488 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869371215 349212672 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604449130662912 0 0 -1 4 0 0 0
[pid=31872] ppid=31860 vsize=341040 CPUtime=0.27 cores=0,2,4,6
/proc/31872/stat : 31872 (python) S 31860 31860 30488 0 -1 4202560 1118 0 0 0 13 14 0 0 16 0 2 0 869371217 349224960 17622 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31872/statm: 85260 17622 396 364 0 20144 0
[pid=31874] ppid=31872 vsize=73284 CPUtime=49.62 cores=0,2,4,6
/proc/31874/stat : 31874 (wbo1.4a) T 31872 31874 31874 0 -1 4202496 40643 0 0 0 4938 24 0 0 25 0 1 0 869371218 75042816 17527 33554432000 134512640 135751879 4289209856 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/31874/statm: 18321 17527 146 303 0 18016 0
[pid=31872/tid=31877] ppid=31860 vsize=341040 CPUtime=0 cores=0,2,4,6
/proc/31872/task/31877/stat : 31877 (python) S 31860 31860 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869376183 349224960 17622 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604446168972032 0 0 -1 6 0 0 0
[pid=31878] ppid=31860 vsize=351296 CPUtime=0 cores=0,2,4,6
/proc/31878/stat : 31878 (python) S 31860 31860 30488 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869376186 359727104 17577 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709190 0 0 16781312 33554946 8083856366424260865 0 0 17 0 0 0 0
/proc/31878/statm: 87824 17577 348 364 0 22705 0
[pid=31880] ppid=31878 vsize=321180 CPUtime=2.33 cores=0,2,4,6
/proc/31880/stat : 31880 (scip-2.0.1.linu) R 31878 31880 31880 0 -1 4202496 76079 0 0 0 220 13 0 0 25 0 1 0 869376186 328888320 75457 33554432000 4194304 15243407 140733434067808 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31880/statm: 80295 75457 664 2698 0 77590 0
[pid=31860/tid=31867] ppid=31858 vsize=361540 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 25 933 0 0 0 0 0 0 23 0 4 0 869366572 370216960 19108 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31873] ppid=31858 vsize=361540 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31873/stat : 31873 (python) S 31858 31860 30488 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 4 0 869371217 370216960 19108 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 4 0 0 0
[pid=31860/tid=31879] ppid=31858 vsize=361540 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31879/stat : 31879 (python) S 31858 31860 30488 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 4 0 869376186 370216960 19108 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 2378884
[startup+162.302 s]
/proc/loadavg: 2.15 2.08 1.64 3/808 31962
/proc/meminfo: memFree=20799912/32950928 swapFree=43925852/67111528
################
# More data... #
################
[pid=31860/tid=31867] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 7 0 869366572 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31873] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31873/stat : 31873 (python) S 31858 31860 30488 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 869371217 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 4 0 0 0
[pid=31860/tid=31879] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31879/stat : 31879 (python) S 31858 31860 30488 0 -1 4202560 35 933 0 0 0 0 0 0 18 0 7 0 869376186 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 0 0 0 0
[pid=31860/tid=31884] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31884/stat : 31884 (python) S 31858 31860 30488 0 -1 4202560 24 933 0 0 0 0 0 0 20 0 7 0 869380860 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31969] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31969/stat : 31969 (python) S 31858 31860 30488 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 7 0 869385651 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=32206] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/32206/stat : 32206 (python) S 31858 31860 30488 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 7 0 869436544 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 709.02
Current children cumulated vsize (KiB) 21102488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+703.902 s]
/proc/loadavg: 1.93 2.02 1.80 6/875 32224
/proc/meminfo: memFree=18889288/32950928 swapFree=43925852/67111528
[pid=31860] ppid=31858 vsize=392308 CPUtime=3.81 cores=0,2,4,6
/proc/31860/stat : 31860 (python) S 31858 31860 30488 0 -1 4202496 33376 933 1 0 366 15 0 0 20 0 7 0 869366188 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31860/statm: 98077 19126 1881 364 0 32949 0
[pid=31866] ppid=31860 vsize=341028 CPUtime=1.75 cores=0,2,4,6
/proc/31866/stat : 31866 (python) S 31860 31860 30488 0 -1 4202560 1170 0 0 0 82 93 0 0 15 0 2 0 869366572 349212672 17633 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31866/statm: 85257 17633 407 364 0 20144 0
[pid=31868] ppid=31866 vsize=631540 CPUtime=324.48 cores=0,2,4,6
/proc/31868/stat : 31868 (scip-2.0.1.linu) T 31866 31868 31868 0 -1 4202496 155467 0 0 0 32355 93 0 0 25 0 1 0 869366572 646696960 147797 33554432000 4194304 13684479 140735059708048 18446744073709551615 7095964 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31868/statm: 157885 147797 818 2317 0 155563 0
[pid=31866/tid=31871] ppid=31860 vsize=341028 CPUtime=0 cores=0,2,4,6
/proc/31866/task/31871/stat : 31871 (python) S 31860 31860 30488 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869371215 349212672 17633 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604449130662912 0 0 -1 4 0 0 0
[pid=31872] ppid=31860 vsize=341040 CPUtime=0.27 cores=0,2,4,6
/proc/31872/stat : 31872 (python) S 31860 31860 30488 0 -1 4202560 1118 0 0 0 13 14 0 0 16 0 2 0 869371217 349224960 17622 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31872/statm: 85260 17622 396 364 0 20144 0
[pid=31874] ppid=31872 vsize=73284 CPUtime=49.62 cores=0,2,4,6
/proc/31874/stat : 31874 (wbo1.4a) T 31872 31874 31874 0 -1 4202496 40643 0 0 0 4938 24 0 0 25 0 1 0 869371218 75042816 17527 33554432000 134512640 135751879 4289209856 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/31874/statm: 18321 17527 146 303 0 18016 0
[pid=31872/tid=31877] ppid=31860 vsize=341040 CPUtime=0 cores=0,2,4,6
/proc/31872/task/31877/stat : 31877 (python) S 31860 31860 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869376183 349224960 17622 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604446168972032 0 0 -1 6 0 0 0
[pid=31878] ppid=31860 vsize=351296 CPUtime=1.05 cores=0,2,4,6
/proc/31878/stat : 31878 (python) S 31860 31860 30488 0 -1 4202560 1223 0 0 0 54 51 0 0 16 0 2 0 869376186 359727104 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/31878/statm: 87824 17632 402 364 0 22705 0
[pid=31880] ppid=31878 vsize=685624 CPUtime=183.55 cores=0,2,4,6
/proc/31880/stat : 31880 (scip-2.0.1.linu) T 31878 31880 31880 0 -1 4202496 166973 0 0 0 18268 87 0 0 25 0 1 0 869376186 702078976 162206 33554432000 4194304 15243407 140733434067808 18446744073709551615 6567596 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31880/statm: 171406 162206 892 2698 0 168701 0
[pid=31878/tid=31882] ppid=31860 vsize=351296 CPUtime=0 cores=0,2,4,6
/proc/31878/task/31882/stat : 31882 (python) S 31860 31860 30488 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869380857 359727104 17632 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604440491765824 0 0 -1 0 0 0 0
[pid=31883] ppid=31860 vsize=361552 CPUtime=0.25 cores=0,2,4,6
/proc/31883/stat : 31883 (python) S 31860 31860 30488 0 -1 4202560 1197 0 0 0 13 12 0 0 16 0 2 0 869380860 370229248 17636 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/31883/statm: 90388 17636 402 364 0 25266 0
[pid=31885] ppid=31883 vsize=8538804 CPUtime=49.39 cores=0,2,4,6
/proc/31885/stat : 31885 (java) T 31883 31885 31885 0 -1 4202496 87145 0 1 0 4929 10 0 0 18 0 19 0 869380860 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31885/statm: 2134701 83039 2249 9 0 2125442 0
[pid=31885/tid=31886] ppid=31883 vsize=8538804 CPUtime=47.77 cores=0,2,4,6
/proc/31885/task/31886/stat : 31886 (java) T 31883 31885 31885 0 -1 4202560 64510 0 1 0 4770 7 0 0 25 0 19 0 869380861 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 46912505989879 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31887] ppid=31883 vsize=8538804 CPUtime=0.01 cores=0,2,4,6
/proc/31885/task/31887/stat : 31887 (java) T 31883 31885 31885 0 -1 4202560 1090 0 0 0 1 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31888] ppid=31883 vsize=8538804 CPUtime=0.04 cores=0,2,4,6
/proc/31885/task/31888/stat : 31888 (java) T 31883 31885 31885 0 -1 4202560 3181 0 0 0 4 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31889] ppid=31883 vsize=8538804 CPUtime=0.01 cores=0,2,4,6
/proc/31885/task/31889/stat : 31889 (java) T 31883 31885 31885 0 -1 4202560 797 0 0 0 1 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31890] ppid=31883 vsize=8538804 CPUtime=0.03 cores=0,2,4,6
/proc/31885/task/31890/stat : 31890 (java) T 31883 31885 31885 0 -1 4202560 2887 0 0 0 3 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31891] ppid=31883 vsize=8538804 CPUtime=0.02 cores=0,2,4,6
/proc/31885/task/31891/stat : 31891 (java) T 31883 31885 31885 0 -1 4202560 2000 0 0 0 2 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31892] ppid=31883 vsize=8538804 CPUtime=0.02 cores=0,2,4,6
/proc/31885/task/31892/stat : 31892 (java) T 31883 31885 31885 0 -1 4202560 1952 0 0 0 2 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31893] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31893/stat : 31893 (java) T 31883 31885 31885 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31885/tid=31894] ppid=31883 vsize=8538804 CPUtime=0.02 cores=0,2,4,6
/proc/31885/task/31894/stat : 31894 (java) T 31883 31885 31885 0 -1 4202560 2331 0 0 0 2 0 0 0 15 0 19 0 869380862 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31885/tid=31895] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31895/stat : 31895 (java) T 31883 31885 31885 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 869380863 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31896] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31896/stat : 31896 (java) T 31883 31885 31885 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869380863 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31897] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31897/stat : 31897 (java) T 31883 31885 31885 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869380863 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31898] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31898/stat : 31898 (java) T 31883 31885 31885 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869380866 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31899] ppid=31883 vsize=8538804 CPUtime=0.71 cores=0,2,4,6
/proc/31885/task/31899/stat : 31899 (java) T 31883 31885 31885 0 -1 4202560 2332 0 0 0 71 0 0 0 15 0 19 0 869380866 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31885/tid=31900] ppid=31883 vsize=8538804 CPUtime=0.69 cores=0,2,4,6
/proc/31885/task/31900/stat : 31900 (java) T 31883 31885 31885 0 -1 4202560 4393 0 0 0 69 0 0 0 15 0 19 0 869380866 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31885/tid=31901] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31901/stat : 31901 (java) T 31883 31885 31885 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869380866 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=31885/tid=31902] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31902/stat : 31902 (java) T 31883 31885 31885 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869380866 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=31885/tid=31926] ppid=31883 vsize=8538804 CPUtime=0 cores=0,2,4,6
/proc/31885/task/31926/stat : 31926 (java) T 31883 31885 31885 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869381017 8743735296 83039 33554432000 1073741824 1073778376 140737483745520 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=31883/tid=31967] ppid=31860 vsize=361552 CPUtime=0 cores=0,2,4,6
/proc/31883/task/31967/stat : 31967 (python) S 31860 31860 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869385648 370229248 17636 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447958977472 0 0 -1 4 0 0 0
[pid=31968] ppid=31860 vsize=371808 CPUtime=0.54 cores=0,2,4,6
/proc/31968/stat : 31968 (python) S 31860 31860 30488 0 -1 4202560 1184 0 0 0 26 28 0 0 17 0 2 0 869385651 380731392 17634 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/31968/statm: 92952 17634 396 364 0 27827 0
[pid=31970] ppid=31968 vsize=95720 CPUtime=93.6 cores=0,2,4,6
/proc/31970/stat : 31970 (clasp-1.3.7-x86) T 31968 31970 31970 0 -1 4202496 25704 0 0 0 9357 3 0 0 25 0 1 0 869385651 98017280 23606 33554432000 134512640 136139019 4293103424 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/31970/statm: 23930 23606 188 398 0 23530 0
[pid=31968/tid=31981] ppid=31860 vsize=371808 CPUtime=0 cores=0,2,4,6
/proc/31968/task/31981/stat : 31981 (python) S 31860 31860 30488 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869395015 380731392 17634 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554946 18446604450919178560 0 0 -1 0 0 0 0
[pid=32205] ppid=31860 vsize=382064 CPUtime=0 cores=0,2,4,6
/proc/32205/stat : 32205 (python) S 31860 31860 30488 0 -1 4202560 821 0 0 0 0 0 0 0 19 0 1 0 869436544 391233536 17589 33554432000 4194304 5683644 140735238442208 18446744073709551615 268272709190 0 0 16781312 33554946 573400923112472576 0 0 17 0 0 0 0
/proc/32205/statm: 95516 17589 348 364 0 30388 0
[pid=32207] ppid=32205 vsize=8536420 CPUtime=0.71 cores=0,2,4,6
/proc/32207/stat : 32207 (java) S 32205 32207 32207 0 -1 4202496 15427 0 1 0 70 1 0 0 20 0 18 0 869436544 8741294080 13773 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32207/statm: 2134105 13774 2202 9 0 2124846 0
[pid=32207/tid=32208] ppid=32205 vsize=8536420 CPUtime=0.36 cores=0,2,4,6
/proc/32207/task/32208/stat : 32208 (java) R 32205 32207 32207 0 -1 4202560 10510 0 1 0 36 0 0 0 25 0 18 0 869436545 8741294080 13847 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 46912505658053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32207/tid=32209] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32209/stat : 32209 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869436546 8741294080 13848 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32210] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32210/stat : 32210 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869436546 8741294080 13849 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32211] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32211/stat : 32211 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869436546 8741294080 13851 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32212] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32212/stat : 32212 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436546 8741294080 13852 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32213] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32213/stat : 32213 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436546 8741294080 13853 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32214] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32214/stat : 32214 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436546 8741294080 13856 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32215] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32215/stat : 32215 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436546 8741294080 13858 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32216] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32216/stat : 32216 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436546 8741294080 13861 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32217] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32217/stat : 32217 (java) S 32205 32207 32207 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869436547 8741294080 13862 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284505600 0 0 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32218] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32218/stat : 32218 (java) S 32205 32207 32207 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869436547 8741294080 13863 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32219] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32219/stat : 32219 (java) S 32205 32207 32207 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869436547 8741294080 13865 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=32207/tid=32220] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32220/stat : 32220 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436549 8741294080 13866 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284512689 0 4 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32221] ppid=32205 vsize=8536420 CPUtime=0.17 cores=0,2,4,6
/proc/32207/task/32221/stat : 32221 (java) S 32205 32207 32207 0 -1 4202560 1391 0 0 0 17 0 0 0 25 0 18 0 869436549 8741294080 13868 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 4 0 0 0
[pid=32207/tid=32222] ppid=32205 vsize=8536420 CPUtime=0.15 cores=0,2,4,6
/proc/32207/task/32222/stat : 32222 (java) S 32205 32207 32207 0 -1 4202560 2209 0 0 0 15 0 0 0 25 0 18 0 869436549 8741294080 13869 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 2 0 0 0
[pid=32207/tid=32223] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32223/stat : 32223 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869436549 8741294080 13870 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284504985 0 4 0 16800975 18446604440533856448 0 0 -1 6 0 0 0
[pid=32207/tid=32224] ppid=32205 vsize=8536420 CPUtime=0 cores=0,2,4,6
/proc/32207/task/32224/stat : 32224 (java) S 32205 32207 32207 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869436549 8741294080 13871 33554432000 1073741824 1073778376 140734820524336 18446744073709551615 268284505600 0 4 0 16800975 18446604440533856448 0 0 -1 0 0 0 0
[pid=31860/tid=31867] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31867/stat : 31867 (python) S 31858 31860 30488 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 7 0 869366572 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31873] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31873/stat : 31873 (python) S 31858 31860 30488 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 869371217 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 4 0 0 0
[pid=31860/tid=31879] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31879/stat : 31879 (python) S 31858 31860 30488 0 -1 4202560 35 933 0 0 0 0 0 0 18 0 7 0 869376186 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 0 0 0 0
[pid=31860/tid=31884] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31884/stat : 31884 (python) S 31858 31860 30488 0 -1 4202560 24 933 0 0 0 0 0 0 20 0 7 0 869380860 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=31969] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/31969/stat : 31969 (python) S 31858 31860 30488 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 7 0 869385651 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
[pid=31860/tid=32206] ppid=31858 vsize=392308 CPUtime=0 cores=0,2,4,6
/proc/31860/task/32206/stat : 32206 (python) S 31858 31860 30488 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 7 0 869436544 401723392 19126 33554432000 4194304 5683644 140735238442208 18446744073709551615 268284512689 0 0 16781312 33554434 18446604448860986432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 709.02
Current children cumulated vsize (KiB) 21102488
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31860 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=669442
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=159975
# CPU time returned by wait4() is 3.82942
# while last known CPU time is 709.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 703.999
CPU time (s): 709.02
CPU user time (s): 704.71
CPU system time (s): 4.31
CPU usage (%): 100.713
Max. virtual memory (cumulated for all children) (KiB): 21102488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.66944
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34313
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= 2571
involuntary context switches= 27
runsolver used 6.36603 second user time and 13.6789 second system time
The end