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-3481624-1307577610/watcher-3481624-1307577610 -o /tmp/evaluation-result-3481624-1307577610/solver-3481624-1307577610 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481624-1307577610.opb -seed 921398561 -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.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=16404 CPUtime=0.01 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 1117 0 0 0 1 0 0 0 22 0 1 0 850176543 16797696 985 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095507552 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30919/statm: 4100 985 409 364 0 587 0
[startup+0.088378 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=92004 CPUtime=0.07 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 2751 0 1 0 5 2 0 0 18 0 1 0 850176543 94212096 2461 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/30919/statm: 23001 2461 782 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92004
[startup+0.10596 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 3169 931 1 0 6 2 0 0 18 0 1 0 850176543 98435072 2483 33554432000 4194304 5683644 140735784900048 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30919/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300863 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=202996 CPUtime=0.24 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 6689 931 1 0 18 6 0 0 18 0 1 0 850176543 207867904 4971 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095449088 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/30919/statm: 50749 4971 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996
[startup+0.700776 s]
/proc/loadavg: 2.25 2.02 1.48 2/574 30919
/proc/meminfo: memFree=19950184/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=289788 CPUtime=0.6 cores=1,3,5,7
/proc/30919/stat : 30919 (python) R 30917 30919 30366 0 -1 4202496 11983 931 1 0 51 9 0 0 18 0 1 0 850176543 296742912 8741 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095106183 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/30919/statm: 72447 8741 1815 364 0 7340 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 289788
[startup+1.50067 s]
/proc/loadavg: 2.25 2.02 1.48 3/575 30924
/proc/meminfo: memFree=19920912/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 300916
[startup+3.10038 s]
/proc/loadavg: 2.31 2.04 1.49 3/578 30927
/proc/meminfo: memFree=19815984/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 850176647 297648128 7529 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 486449151291162624 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7529 351 364 0 7555 0
[pid=30927] ppid=30925 vsize=123476 CPUtime=2.05 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 29118 0 0 0 186 19 0 0 19 0 1 0 850176647 126439424 27554 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 30869 27554 812 2317 0 28547 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 715064
[startup+6.30078 s]
/proc/loadavg: 2.31 2.04 1.49 3/578 30927
/proc/meminfo: memFree=19808772/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.01 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 902 0 0 0 0 1 0 0 15 0 1 0 850176647 297648128 7558 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 3310447039547965440 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7558 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=130092 CPUtime=5.25 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 30981 0 0 0 501 24 0 0 20 0 1 0 850176647 133214208 29385 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 32523 29385 780 2317 0 30201 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 721680
[startup+12.7006 s]
/proc/loadavg: 2.26 2.04 1.50 3/578 30927
/proc/meminfo: memFree=19806076/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.04 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 905 0 0 0 2 2 0 0 15 0 1 0 850176647 297648128 7559 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 3579768908078383104 0 0 17 5 0 0 0
/proc/30925/statm: 72668 7559 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=144660 CPUtime=11.65 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 34733 0 0 0 1130 35 0 0 25 0 1 0 850176647 148131840 33131 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 36165 33131 776 2317 0 33843 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 736248
[startup+25.5003 s]
/proc/loadavg: 2.22 2.03 1.50 3/578 30927
/proc/meminfo: memFree=19822856/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=300916 CPUtime=0.93 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 12527 931 1 0 84 9 0 0 21 0 2 0 850176543 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30919/statm: 75229 9052 1870 364 0 10116 0
[pid=30925] ppid=30919 vsize=290672 CPUtime=0.1 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 917 0 0 0 5 5 0 0 15 0 1 0 850176647 297648128 7559 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471119 0 0 16781312 33554946 1471262702469906432 0 0 17 7 0 0 0
/proc/30925/statm: 72668 7559 375 364 0 7555 0
[pid=30927] ppid=30925 vsize=145060 CPUtime=24.45 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) R 30925 30927 30927 0 -1 4202496 34883 0 0 0 2393 52 0 0 25 0 1 0 850176647 148541440 33279 33554432000 4194304 13684479 140735138016416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30927/statm: 36265 33279 774 2317 0 33943 0
[pid=30919/tid=30926] ppid=30917 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 2 0 850176647 308137984 9052 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 736648
[startup+51.1016 s]
/proc/loadavg: 2.06 2.01 1.51 4/591 31017
/proc/meminfo: memFree=19682080/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=311172 CPUtime=0.97 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 13383 931 1 0 87 10 0 0 20 0 3 0 850176543 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30919/statm: 77793 9060 1873 364 0 12677 0
[pid=30925] ppid=30919 vsize=300916 CPUtime=0.23 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 1094 0 0 0 12 11 0 0 17 0 2 0 850176647 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30925/statm: 75229 7595 406 364 0 10116 0
[pid=30927] ppid=30925 vsize=180548 CPUtime=49.27 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) T 30925 30927 30927 0 -1 4202496 43635 0 0 0 4834 93 0 0 25 0 1 0 850176647 184881152 42031 33554432000 4194304 13684479 140735138016416 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30927/statm: 45137 42031 821 2317 0 42815 0
[pid=30925/tid=30997] ppid=30919 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30997/stat : 30997 (python) S 30919 30919 30366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850181575 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604471158414400 0 0 -1 7 0 0 0
[pid=30998] ppid=30919 vsize=300928 CPUtime=0 cores=1,3,5,7
/proc/30998/stat : 30998 (python) S 30919 30919 30366 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 1 0 850181578 308150272 7539 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471174 0 0 16781312 33554946 586109568132579328 0 0 17 1 0 0 0
/proc/30998/statm: 75232 7539 355 364 0 10116 0
[pid=31000] ppid=30998 vsize=8538608 CPUtime=1.58 cores=1,3,5,7
/proc/31000/stat : 31000 (java) S 30998 31000 31000 0 -1 4202496 30280 0 1 0 154 4 0 0 20 0 19 0 850181578 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31000/statm: 2134652 26730 2232 9 0 2125393 0
[pid=31000/tid=31001] ppid=30998 vsize=8538608 CPUtime=0.74 cores=1,3,5,7
/proc/31000/task/31001/stat : 31001 (java) R 30998 31000 31000 0 -1 4202560 22456 0 1 0 71 3 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 46912505911969 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31000/tid=31002] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31002/stat : 31002 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31003] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31003/stat : 31003 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31004] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31004/stat : 31004 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31005] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31005/stat : 31005 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31006] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31006/stat : 31006 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31007] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31007/stat : 31007 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31008] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31008/stat : 31008 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31009] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31009/stat : 31009 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181579 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31010] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31010/stat : 31010 (java) S 30998 31000 31000 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 0 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31011] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31011/stat : 31011 (java) S 30998 31000 31000 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31012] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31012/stat : 31012 (java) S 30998 31000 31000 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850181580 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 1 0 0 0
[pid=31000/tid=31013] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31013/stat : 31013 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107274673 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31014] ppid=30998 vsize=8538608 CPUtime=0.37 cores=1,3,5,7
/proc/31000/task/31014/stat : 31014 (java) S 30998 31000 31000 0 -1 4202560 1999 0 0 0 37 0 0 0 18 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=31000/tid=31015] ppid=30998 vsize=8538608 CPUtime=0.44 cores=1,3,5,7
/proc/31000/task/31015/stat : 31015 (java) S 30998 31000 31000 0 -1 4202560 4423 0 0 0 44 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 7 0 0 0
[pid=31000/tid=31016] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31016/stat : 31016 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446604467755518720 0 0 -1 1 0 0 0
[pid=31000/tid=31017] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31017/stat : 31017 (java) S 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850181583 8743534592 26730 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446604467755518720 0 0 -1 3 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=311172 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 3 0 850176647 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=311172 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 3 0 850181578 318640128 9060 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 52.05
################
# More data... #
################
[pid=31112/tid=31124] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31124/stat : 31124 (java) S 31110 31112 31112 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31125] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31125/stat : 31125 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107274673 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31126] ppid=31110 vsize=8534600 CPUtime=0.04 cores=1,3,5,7
/proc/31112/task/31126/stat : 31126 (java) R 31110 31112 31112 0 -1 4202560 491 0 0 0 4 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170004900437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31127] ppid=31110 vsize=8534600 CPUtime=0.08 cores=1,3,5,7
/proc/31112/task/31127/stat : 31127 (java) R 31110 31112 31112 0 -1 4202560 1240 0 0 0 8 0 0 0 17 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170005079561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31128] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31128/stat : 31128 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31129] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31129/stat : 31129 (java) R 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 6 0 850176647 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850181578 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
[pid=30919/tid=31092] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31092/stat : 31092 (python) S 30917 30919 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850186084 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31102] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31102/stat : 31102 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850191045 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31111] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31111/stat : 31111 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 850195655 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.38
Current children cumulated vsize (KiB) 19372892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+191.302 s]
/proc/loadavg: 2.03 2.03 1.58 6/629 31129
/proc/meminfo: memFree=18861808/32951124 swapFree=57370024/67111528
[pid=30919] ppid=30917 vsize=341940 CPUtime=1.05 cores=1,3,5,7
/proc/30919/stat : 30919 (python) S 30917 30919 30366 0 -1 4202496 16130 931 1 0 94 11 0 0 20 0 6 0 850176543 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30919/statm: 85485 9081 1879 364 0 20360 0
[pid=30925] ppid=30919 vsize=300916 CPUtime=0.23 cores=1,3,5,7
/proc/30925/stat : 30925 (python) S 30919 30919 30366 0 -1 4202560 1094 0 0 0 12 11 0 0 17 0 2 0 850176647 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30925/statm: 75229 7595 406 364 0 10116 0
[pid=30927] ppid=30925 vsize=180548 CPUtime=49.27 cores=1,3,5,7
/proc/30927/stat : 30927 (scip-2.0.1.linu) T 30925 30927 30927 0 -1 4202496 43635 0 0 0 4834 93 0 0 25 0 1 0 850176647 184881152 42031 33554432000 4194304 13684479 140735138016416 18446744073709551615 7390887 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/30927/statm: 45137 42031 821 2317 0 42815 0
[pid=30925/tid=30997] ppid=30919 vsize=300916 CPUtime=0 cores=1,3,5,7
/proc/30925/task/30997/stat : 30997 (python) S 30919 30919 30366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850181575 308137984 7595 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604471158414400 0 0 -1 7 0 0 0
[pid=30998] ppid=30919 vsize=300928 CPUtime=0.21 cores=1,3,5,7
/proc/30998/stat : 30998 (python) S 30919 30919 30366 0 -1 4202560 1173 0 0 0 11 10 0 0 16 0 2 0 850181578 308150272 7592 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30998/statm: 75232 7592 402 364 0 10116 0
[pid=31000] ppid=30998 vsize=8538608 CPUtime=46.32 cores=1,3,5,7
/proc/31000/stat : 31000 (java) T 30998 31000 31000 0 -1 4202496 45385 0 1 0 4623 9 0 0 18 0 19 0 850181578 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31000/statm: 2134652 41332 2259 9 0 2125393 0
[pid=31000/tid=31001] ppid=30998 vsize=8538608 CPUtime=44.72 cores=1,3,5,7
/proc/31000/task/31001/stat : 31001 (java) T 30998 31000 31000 0 -1 4202560 32638 0 1 0 4466 6 0 0 25 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 46912506024253 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31000/tid=31002] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31002/stat : 31002 (java) T 30998 31000 31000 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31003] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31003/stat : 31003 (java) T 30998 31000 31000 0 -1 4202560 568 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=31000/tid=31004] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31004/stat : 31004 (java) T 30998 31000 31000 0 -1 4202560 463 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31005] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31005/stat : 31005 (java) T 30998 31000 31000 0 -1 4202560 307 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31006] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31006/stat : 31006 (java) T 30998 31000 31000 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31007] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31007/stat : 31007 (java) T 30998 31000 31000 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31008] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31008/stat : 31008 (java) T 30998 31000 31000 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31009] ppid=30998 vsize=8538608 CPUtime=0.01 cores=1,3,5,7
/proc/31000/task/31009/stat : 31009 (java) T 30998 31000 31000 0 -1 4202560 242 0 0 0 1 0 0 0 15 0 19 0 850181579 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31010] ppid=30998 vsize=8538608 CPUtime=0.17 cores=1,3,5,7
/proc/31000/task/31010/stat : 31010 (java) T 30998 31000 31000 0 -1 4202560 2119 0 0 0 17 0 0 0 15 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31000/tid=31011] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31011/stat : 31011 (java) T 30998 31000 31000 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31012] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31012/stat : 31012 (java) T 30998 31000 31000 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850181580 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31013] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31013/stat : 31013 (java) T 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31014] ppid=30998 vsize=8538608 CPUtime=0.63 cores=1,3,5,7
/proc/31000/task/31014/stat : 31014 (java) T 30998 31000 31000 0 -1 4202560 2036 0 0 0 63 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31015] ppid=30998 vsize=8538608 CPUtime=0.67 cores=1,3,5,7
/proc/31000/task/31015/stat : 31015 (java) T 30998 31000 31000 0 -1 4202560 4938 0 0 0 67 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=31000/tid=31016] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31016/stat : 31016 (java) T 30998 31000 31000 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=31000/tid=31017] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31017/stat : 31017 (java) T 30998 31000 31000 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850181583 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=31000/tid=31018] ppid=30998 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/31000/task/31018/stat : 31018 (java) T 30998 31000 31000 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850181642 8743534592 41332 33554432000 1073741824 1073778376 140734521682480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30998/tid=31090] ppid=30919 vsize=300928 CPUtime=0 cores=1,3,5,7
/proc/30998/task/31090/stat : 31090 (python) S 30919 30919 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850186081 308150272 7592 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817650752 0 0 -1 7 0 0 0
[pid=31091] ppid=30919 vsize=311184 CPUtime=0.23 cores=1,3,5,7
/proc/31091/stat : 31091 (python) S 30919 30919 30366 0 -1 4202560 1121 0 0 0 11 12 0 0 17 0 2 0 850186083 318652416 7591 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31091/statm: 77796 7591 396 364 0 12677 0
[pid=31093] ppid=31091 vsize=154052 CPUtime=49.58 cores=1,3,5,7
/proc/31093/stat : 31093 (scip-2.0.1.linu) T 31091 31093 31093 0 -1 4202496 53263 0 0 0 4894 64 0 0 25 0 1 0 850186084 157749248 33195 33554432000 4194304 15243407 140735280833520 18446744073709551615 8113827 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31093/statm: 38513 33195 942 2698 0 35808 0
[pid=31091/tid=31100] ppid=30919 vsize=311184 CPUtime=0 cores=1,3,5,7
/proc/31091/task/31100/stat : 31100 (python) S 30919 30919 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850191042 318652416 7591 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467658887552 0 0 -1 7 0 0 0
[pid=31101] ppid=30919 vsize=321440 CPUtime=0.22 cores=1,3,5,7
/proc/31101/stat : 31101 (python) S 30919 30919 30366 0 -1 4202560 1129 0 0 0 11 11 0 0 17 0 2 0 850191045 329154560 7597 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/31101/statm: 80360 7597 396 364 0 15238 0
[pid=31103] ppid=31101 vsize=56980 CPUtime=45.94 cores=1,3,5,7
/proc/31103/stat : 31103 (wbo1.4a) T 31101 31103 31103 0 -1 4202496 14906 0 0 0 4577 17 0 0 25 0 1 0 850191045 58347520 13738 33554432000 134512640 135751879 4287640976 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/31103/statm: 14245 13738 146 303 0 13940 0
[pid=31101/tid=31109] ppid=30919 vsize=321440 CPUtime=0 cores=1,3,5,7
/proc/31101/task/31109/stat : 31109 (python) S 30919 30919 30366 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850195652 329154560 7597 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604469033570688 0 0 -1 5 0 0 0
[pid=31110] ppid=30919 vsize=331696 CPUtime=0 cores=1,3,5,7
/proc/31110/stat : 31110 (python) S 30919 30919 30366 0 -1 4202560 814 0 0 0 0 0 0 0 19 0 1 0 850195655 339656704 7546 33554432000 4194304 5683644 140735784900048 18446744073709551615 228095471174 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/31110/statm: 82924 7546 348 364 0 17799 0
[pid=31112] ppid=31110 vsize=8534600 CPUtime=0.33 cores=1,3,5,7
/proc/31112/stat : 31112 (java) S 31110 31112 31112 0 -1 4202496 7501 0 1 0 32 1 0 0 21 0 18 0 850195655 8739430400 6569 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31112/statm: 2133650 6569 2185 9 0 2124391 0
[pid=31112/tid=31113] ppid=31110 vsize=8534600 CPUtime=0.2 cores=1,3,5,7
/proc/31112/task/31113/stat : 31113 (java) R 31110 31112 31112 0 -1 4202560 4385 0 1 0 20 0 0 0 18 0 18 0 850195656 8739430400 6577 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31112/tid=31114] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31114/stat : 31114 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31115] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31115/stat : 31115 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31116] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31116/stat : 31116 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31117] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31117/stat : 31117 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6578 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31118] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31118/stat : 31118 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31119] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31119/stat : 31119 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31120] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31120/stat : 31120 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 7 0 0 0
[pid=31112/tid=31121] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31121/stat : 31121 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195657 8739430400 6579 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 5 0 0 0
[pid=31112/tid=31122] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31122/stat : 31122 (java) S 31110 31112 31112 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 0 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31123] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31123/stat : 31123 (java) S 31110 31112 31112 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31124] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31124/stat : 31124 (java) S 31110 31112 31112 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850195658 8739430400 6580 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31125] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31125/stat : 31125 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107274673 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31126] ppid=31110 vsize=8534600 CPUtime=0.04 cores=1,3,5,7
/proc/31112/task/31126/stat : 31126 (java) R 31110 31112 31112 0 -1 4202560 491 0 0 0 4 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170004900437 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31127] ppid=31110 vsize=8534600 CPUtime=0.08 cores=1,3,5,7
/proc/31112/task/31127/stat : 31127 (java) R 31110 31112 31112 0 -1 4202560 1240 0 0 0 8 0 0 0 17 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 47170005079561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31112/tid=31128] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31128/stat : 31128 (java) S 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107266969 0 4 0 16800975 18446604469655145280 0 0 -1 3 0 0 0
[pid=31112/tid=31129] ppid=31110 vsize=8534600 CPUtime=0 cores=1,3,5,7
/proc/31112/task/31129/stat : 31129 (java) R 31110 31112 31112 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850195660 8739430400 6581 33554432000 1073741824 1073778376 140733639157872 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30919/tid=30926] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30926/stat : 30926 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 21 0 6 0 850176647 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 7 0 0 0
[pid=30919/tid=30999] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/30999/stat : 30999 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850181578 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 1 0 0 0
[pid=30919/tid=31092] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31092/stat : 31092 (python) S 30917 30919 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 850186084 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31102] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31102/stat : 31102 (python) S 30917 30919 30366 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850191045 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
[pid=30919/tid=31111] ppid=30917 vsize=341940 CPUtime=0 cores=1,3,5,7
/proc/30919/task/31111/stat : 31111 (python) S 30917 30919 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 850195655 350146560 9081 33554432000 4194304 5683644 140735784900048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604468335899968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.38
Current children cumulated vsize (KiB) 19372892
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30919 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=942856
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=114982
# CPU time returned by wait4() is 1.05784
# while last known CPU time is 193.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.386
CPU time (s): 193.38
CPU user time (s): 190.99
CPU system time (s): 2.39
CPU usage (%): 101.042
Max. virtual memory (cumulated for all children) (KiB): 19373256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.942856
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17063
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= 1009
involuntary context switches= 26
runsolver used 1.20982 second user time and 2.57361 second system time
The end