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-3481505-1307577967/watcher-3481505-1307577967 -o /tmp/evaluation-result-3481505-1307577967/solver-3481505-1307577967 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481505-1307577967.opb -seed 1727720464 -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.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17113/stat : 17113 (python) R 17111 17113 14716 0 -1 4202496 997 0 0 0 0 0 0 0 25 0 1 0 948027515 16629760 869 33554432000 4194304 5683644 140733982044880 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17113/statm: 4060 869 368 364 0 547 0
[startup+0.0648449 s]
/proc/loadavg: 1.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=50012 CPUtime=0.03 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 1970 0 0 0 3 0 0 0 25 0 1 0 948027515 51212288 1732 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17113/statm: 12503 1732 480 364 0 1203 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 50012
[startup+0.106718 s]
/proc/loadavg: 1.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/17113/stat : 17113 (python) R 17111 17113 14716 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 948027515 98435072 2484 33554432000 4194304 5683644 140733982044880 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17113/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300745 s]
/proc/loadavg: 1.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 6701 929 1 0 17 6 0 0 18 0 1 0 948027515 207863808 4981 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17113/statm: 50748 4981 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.700501 s]
/proc/loadavg: 1.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=268568 CPUtime=0.35 cores=0,2,4,6
/proc/17113/stat : 17113 (python) D 17111 17113 14716 0 -1 4202496 8592 929 1 0 26 9 0 0 18 0 1 0 948027515 275013632 6624 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988598327 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/17113/statm: 67142 6624 1704 364 0 5290 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 268568
[startup+1.51636 s]
/proc/loadavg: 1.99 2.09 1.70 2/720 17113
/proc/meminfo: memFree=13343716/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=289584 CPUtime=1.19 cores=0,2,4,6
/proc/17113/stat : 17113 (python) R 17111 17113 14716 0 -1 4202496 12876 1586 1 0 41 29 41 8 16 0 1 0 948027515 296534016 8711 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988258328 0 0 16781312 2 0 0 0 17 2 0 0 50
/proc/17113/statm: 72396 8711 1782 364 0 7289 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 289584
[startup+3.10008 s]
/proc/loadavg: 1.99 2.09 1.70 3/721 17119
/proc/meminfo: memFree=13305904/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=304868 CPUtime=2.77 cores=0,2,4,6
/proc/17113/stat : 17113 (python) R 17111 17113 14716 0 -1 4202496 21830 1586 1 0 197 31 41 8 19 0 1 0 948027515 312184832 12593 33554432000 4194304 5683644 140733982044880 18446744073709551615 47992142948560 0 0 16781312 33554434 0 0 0 17 0 0 0 50
/proc/17113/statm: 76217 12593 1847 364 0 11107 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 304868
[startup+6.30064 s]
/proc/loadavg: 1.99 2.09 1.70 3/724 17123
/proc/meminfo: memFree=13142076/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=315124 CPUtime=2.79 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 22134 1586 1 0 199 31 41 8 21 0 2 0 948027515 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 50
/proc/17113/statm: 78781 12621 1871 364 0 13668 0
[pid=17120] ppid=17113 vsize=304880 CPUtime=0.02 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 876 0 0 0 1 1 0 0 15 0 1 0 948027827 312197120 11088 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612623 0 0 16781312 33554946 16132692905251799297 0 0 17 6 0 0 0
/proc/17120/statm: 76220 11088 342 364 0 11107 0
[pid=17122] ppid=17120 vsize=204624 CPUtime=3.17 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) R 17120 17122 17122 0 -1 4202496 49734 0 0 0 297 20 0 0 25 0 1 0 948027828 209534976 45644 33554432000 4194304 13684479 140737464474112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17122/statm: 51156 45644 776 2317 0 48834 0
[pid=17113/tid=17121] ppid=17111 vsize=315124 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 28 1586 0 0 0 0 41 8 21 0 2 0 948027828 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 824628
[startup+12.7005 s]
/proc/loadavg: 1.99 2.09 1.70 3/724 17123
/proc/meminfo: memFree=13142468/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=315124 CPUtime=2.79 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 22134 1586 1 0 199 31 41 8 21 0 2 0 948027515 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 50
/proc/17113/statm: 78781 12621 1871 364 0 13668 0
[pid=17120] ppid=17113 vsize=304880 CPUtime=0.04 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 879 0 0 0 2 2 0 0 15 0 1 0 948027827 312197120 11088 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612623 0 0 16781312 33554946 782469176483643392 0 0 17 6 0 0 0
/proc/17120/statm: 76220 11088 342 364 0 11107 0
[pid=17122] ppid=17120 vsize=214180 CPUtime=9.57 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) R 17120 17122 17122 0 -1 4202496 54434 0 0 0 935 22 0 0 20 0 1 0 948027828 219320320 50108 33554432000 4194304 13684479 140737464474112 18446744073709551615 6427705 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17122/statm: 53545 50108 756 2317 0 51223 0
[pid=17113/tid=17121] ppid=17111 vsize=315124 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 28 1586 0 0 0 0 41 8 21 0 2 0 948027828 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 834184
[startup+25.5012 s]
/proc/loadavg: 1.99 2.08 1.71 3/724 17123
/proc/meminfo: memFree=13162068/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=315124 CPUtime=2.79 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 22134 1586 1 0 199 31 41 8 21 0 2 0 948027515 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 50
/proc/17113/statm: 78781 12621 1871 364 0 13668 0
[pid=17120] ppid=17113 vsize=304880 CPUtime=0.12 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 898 0 0 0 6 6 0 0 15 0 1 0 948027827 312197120 11088 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612623 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17120/statm: 76220 11088 342 364 0 11107 0
[pid=17122] ppid=17120 vsize=234020 CPUtime=22.36 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) R 17120 17122 17122 0 -1 4202496 59182 0 0 0 2206 30 0 0 25 0 1 0 948027828 239636480 54844 33554432000 4194304 13684479 140737464474112 18446744073709551615 7415834 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17122/statm: 58505 54844 758 2317 0 56183 0
[pid=17113/tid=17121] ppid=17111 vsize=315124 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 28 1586 0 0 0 0 41 8 21 0 2 0 948027828 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 854024
[startup+51.1008 s]
/proc/loadavg: 1.93 2.06 1.71 3/719 17184
/proc/meminfo: memFree=13085904/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=315124 CPUtime=2.79 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 22134 1586 1 0 199 31 41 8 21 0 2 0 948027515 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 50
/proc/17113/statm: 78781 12621 1871 364 0 13668 0
[pid=17120] ppid=17113 vsize=304880 CPUtime=0.23 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 919 0 0 0 12 11 0 0 15 0 1 0 948027827 312197120 11088 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612623 0 0 16781312 33554946 1025168127589089280 0 0 17 6 0 0 0
/proc/17120/statm: 76220 11088 342 364 0 11107 0
[pid=17122] ppid=17120 vsize=239440 CPUtime=47.96 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) R 17120 17122 17122 0 -1 4202496 61060 0 0 0 4753 43 0 0 25 0 1 0 948027828 245186560 56722 33554432000 4194304 13684479 140737464474112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17122/statm: 59860 56722 933 2317 0 57538 0
[pid=17113/tid=17121] ppid=17111 vsize=315124 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 28 1586 0 0 0 0 41 8 21 0 2 0 948027828 322686976 12621 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 859444
[startup+102.302 s]
/proc/loadavg: 1.97 2.05 1.72 3/766 17232
/proc/meminfo: memFree=12190632/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=335636 CPUtime=2.85 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 23891 1586 1 0 204 32 41 8 20 0 4 0 948027515 343691264 12634 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 50
/proc/17113/statm: 83909 12634 1876 364 0 18790 0
[pid=17120] ppid=17113 vsize=315124 CPUtime=0.26 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 1122 0 0 0 13 13 0 0 16 0 2 0 948027827 322686976 11156 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17120/statm: 78781 11156 405 364 0 13668 0
[pid=17122] ppid=17120 vsize=239440 CPUtime=48.18 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) T 17120 17122 17122 0 -1 4202496 61060 0 0 0 4775 43 0 0 25 0 1 0 948027828 245186560 56722 33554432000 4194304 13684479 140737464474112 18446744073709551615 4542769 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17122/statm: 59860 56722 933 2317 0 57538 0
[pid=17120/tid=17185] ppid=17113 vsize=315124 CPUtime=0 cores=0,2,4,6
/proc/17120/task/17185/stat : 17185 (python) S 17113 17113 14716 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 948032647 322686976 11156 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443266704384 0 0 -1 6 0 0 0
[pid=17186] ppid=17113 vsize=315136 CPUtime=0.25 cores=0,2,4,6
/proc/17186/stat : 17186 (python) S 17113 17113 14716 0 -1 4202560 1134 0 0 0 13 12 0 0 16 0 2 0 948032650 322699264 11141 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17186/statm: 78784 11141 390 364 0 13668 0
[pid=17188] ppid=17186 vsize=729280 CPUtime=50.12 cores=0,2,4,6
/proc/17188/stat : 17188 (wbo1.4a) T 17186 17188 17188 0 -1 4202496 457495 0 0 0 4948 64 0 0 25 0 1 0 948032650 746782720 181624 33554432000 134512640 135751879 4289415184 18446744073709551615 134598203 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/17188/statm: 182320 181624 145 303 0 182015 0
[pid=17186/tid=17212] ppid=17113 vsize=315136 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17212/stat : 17212 (python) S 17113 17113 14716 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 948037663 322699264 11141 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450025853120 0 0 -1 6 0 0 0
[pid=17213] ppid=17113 vsize=325392 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (python) S 17113 17113 14716 0 -1 4202560 773 0 0 0 0 0 0 0 19 0 1 0 948037665 333201408 11073 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612678 0 0 16781312 33554946 2338723998931615744 0 0 17 2 0 0 0
/proc/17213/statm: 81348 11073 319 364 0 16229 0
[pid=17215] ppid=17213 vsize=8543364 CPUtime=1.9 cores=0,2,4,6
/proc/17215/stat : 17215 (java) S 17213 17215 17215 0 -1 4202496 38795 0 1 0 186 4 0 0 20 0 18 0 948037666 8748404736 31980 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17215/statm: 2135841 31981 2227 9 0 2126582 0
[pid=17215/tid=17216] ppid=17213 vsize=8543364 CPUtime=0.77 cores=0,2,4,6
/proc/17215/task/17216/stat : 17216 (java) R 17213 17215 17215 0 -1 4202560 23760 0 1 0 75 2 0 0 25 0 18 0 948037666 8748404736 31982 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 46912505745318 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17215/tid=17217] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17217/stat : 17217 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948037667 8748404736 31985 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17218] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17218/stat : 17218 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948037667 8748404736 31988 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17219] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17219/stat : 17219 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948037667 8748404736 31991 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17220] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17220/stat : 17220 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948037667 8748404736 31994 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17221] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17221/stat : 17221 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948037667 8748404736 31997 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17222/stat : 17222 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948037667 8748404736 32000 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17223] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17223/stat : 17223 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948037667 8748404736 32002 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17224] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17224/stat : 17224 (java) S 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948037667 8748404736 32004 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17225] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17225/stat : 17225 (java) S 17213 17215 17215 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948037668 8748404736 32006 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000409088 0 0 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
[pid=17215/tid=17226] ppid=17213 vsize=8543364 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17226/stat : 17226 (java) S 17213 17215 17215 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948037668 8748404736 32008 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446604441837927488 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=17113/tid=17121] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 39 1586 0 0 0 0 41 8 18 0 7 0 948027828 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
[pid=17113/tid=17187] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17187/stat : 17187 (python) S 17111 17113 14716 0 -1 4202560 31 1586 0 0 0 0 41 8 20 0 7 0 948032650 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
[pid=17113/tid=17214] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17214/stat : 17214 (python) S 17111 17113 14716 0 -1 4202560 30 1586 0 0 0 0 41 8 20 0 7 0 948037665 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 0 0 0 0
[pid=17113/tid=17241] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17241/stat : 17241 (python) S 17111 17113 14716 0 -1 4202560 27 1586 0 0 0 0 41 8 20 0 7 0 948042046 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 6 0 0 0
[pid=17113/tid=17317] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17317/stat : 17317 (python) S 17111 17113 14716 0 -1 4202560 30 1586 0 0 0 0 41 8 18 0 7 0 948056216 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 6 0 0 0
[pid=17113/tid=17355] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17355/stat : 17355 (python) S 17111 17113 14716 0 -1 4202560 27 1586 0 0 0 0 41 8 20 0 7 0 948097920 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 711.5
Current children cumulated vsize (KiB) 20816484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+704.602 s]
/proc/loadavg: 2.14 2.10 1.90 6/826 17373
/proc/meminfo: memFree=7461200/32950940 swapFree=67111360/67111528
[pid=17113] ppid=17111 vsize=366404 CPUtime=2.99 cores=0,2,4,6
/proc/17113/stat : 17113 (python) S 17111 17113 14716 0 -1 4202496 26704 1586 1 0 217 33 41 8 20 0 7 0 948027515 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 50
/proc/17113/statm: 91601 12652 1882 364 0 26473 0
[pid=17120] ppid=17113 vsize=315124 CPUtime=1.71 cores=0,2,4,6
/proc/17120/stat : 17120 (python) S 17113 17113 14716 0 -1 4202560 1201 0 0 0 89 82 0 0 15 0 2 0 948027827 322686976 11158 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17120/statm: 78781 11158 407 364 0 13668 0
[pid=17122] ppid=17120 vsize=295336 CPUtime=325.35 cores=0,2,4,6
/proc/17122/stat : 17122 (scip-2.0.1.linu) T 17120 17122 17122 0 -1 4202496 74972 0 0 0 32407 128 0 0 25 0 1 0 948027828 302424064 70276 33554432000 4194304 13684479 140737464474112 18446744073709551615 7432333 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17122/statm: 73834 70276 894 2317 0 71512 0
[pid=17120/tid=17185] ppid=17113 vsize=315124 CPUtime=0 cores=0,2,4,6
/proc/17120/task/17185/stat : 17185 (python) S 17113 17113 14716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 2 0 948032647 322686976 11158 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604443266704384 0 0 -1 6 0 0 0
[pid=17186] ppid=17113 vsize=315136 CPUtime=0.25 cores=0,2,4,6
/proc/17186/stat : 17186 (python) S 17113 17113 14716 0 -1 4202560 1134 0 0 0 13 12 0 0 16 0 2 0 948032650 322699264 11141 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17186/statm: 78784 11141 390 364 0 13668 0
[pid=17188] ppid=17186 vsize=729280 CPUtime=50.12 cores=0,2,4,6
/proc/17188/stat : 17188 (wbo1.4a) T 17186 17188 17188 0 -1 4202496 457495 0 0 0 4948 64 0 0 25 0 1 0 948032650 746782720 181624 33554432000 134512640 135751879 4289415184 18446744073709551615 134598203 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/17188/statm: 182320 181624 145 303 0 182015 0
[pid=17186/tid=17212] ppid=17113 vsize=315136 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17212/stat : 17212 (python) S 17113 17113 14716 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 948037663 322699264 11141 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450025853120 0 0 -1 6 0 0 0
[pid=17213] ppid=17113 vsize=325392 CPUtime=0.2 cores=0,2,4,6
/proc/17213/stat : 17213 (python) S 17113 17113 14716 0 -1 4202560 1128 0 0 0 11 9 0 0 16 0 2 0 948037665 333201408 11145 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17213/statm: 81348 11145 390 364 0 16229 0
[pid=17215] ppid=17213 vsize=8544392 CPUtime=46.72 cores=0,2,4,6
/proc/17215/stat : 17215 (java) T 17213 17215 17215 0 -1 4202496 339482 0 1 0 4629 43 0 0 18 0 19 0 948037666 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17215/statm: 2136098 331962 2252 9 0 2126839 0
[pid=17215/tid=17216] ppid=17213 vsize=8544392 CPUtime=43.36 cores=0,2,4,6
/proc/17215/task/17216/stat : 17216 (java) T 17213 17215 17215 0 -1 4202560 231986 0 1 0 4309 27 0 0 25 0 19 0 948037666 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 46912506275246 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17217] ppid=17213 vsize=8544392 CPUtime=0.12 cores=0,2,4,6
/proc/17215/task/17217/stat : 17217 (java) T 17213 17215 17215 0 -1 4202560 9635 0 0 0 11 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17215/tid=17218] ppid=17213 vsize=8544392 CPUtime=0.15 cores=0,2,4,6
/proc/17215/task/17218/stat : 17218 (java) T 17213 17215 17215 0 -1 4202560 11487 0 0 0 13 2 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17215/tid=17219] ppid=17213 vsize=8544392 CPUtime=0.17 cores=0,2,4,6
/proc/17215/task/17219/stat : 17219 (java) T 17213 17215 17215 0 -1 4202560 13702 0 0 0 16 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17215/tid=17220] ppid=17213 vsize=8544392 CPUtime=0.15 cores=0,2,4,6
/proc/17215/task/17220/stat : 17220 (java) T 17213 17215 17215 0 -1 4202560 10251 0 0 0 14 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17215/tid=17221] ppid=17213 vsize=8544392 CPUtime=0.17 cores=0,2,4,6
/proc/17215/task/17221/stat : 17221 (java) T 17213 17215 17215 0 -1 4202560 11291 0 0 0 16 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17222] ppid=17213 vsize=8544392 CPUtime=0.17 cores=0,2,4,6
/proc/17215/task/17222/stat : 17222 (java) T 17213 17215 17215 0 -1 4202560 14220 0 0 0 16 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17215/tid=17223] ppid=17213 vsize=8544392 CPUtime=0.14 cores=0,2,4,6
/proc/17215/task/17223/stat : 17223 (java) T 17213 17215 17215 0 -1 4202560 11363 0 0 0 13 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17215/tid=17224] ppid=17213 vsize=8544392 CPUtime=0.1 cores=0,2,4,6
/proc/17215/task/17224/stat : 17224 (java) T 17213 17215 17215 0 -1 4202560 9366 0 0 0 9 1 0 0 15 0 19 0 948037667 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17225] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17225/stat : 17225 (java) T 17213 17215 17215 0 -1 4202560 1001 0 0 0 0 0 0 0 15 0 19 0 948037668 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17215/tid=17226] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17226/stat : 17226 (java) T 17213 17215 17215 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948037668 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17227] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17227/stat : 17227 (java) T 17213 17215 17215 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948037668 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17228] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17228/stat : 17228 (java) T 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948037670 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17229] ppid=17213 vsize=8544392 CPUtime=1.04 cores=0,2,4,6
/proc/17215/task/17229/stat : 17229 (java) T 17213 17215 17215 0 -1 4202560 6812 0 0 0 104 0 0 0 15 0 19 0 948037670 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17215/tid=17230] ppid=17213 vsize=8544392 CPUtime=1.02 cores=0,2,4,6
/proc/17215/task/17230/stat : 17230 (java) T 17213 17215 17215 0 -1 4202560 6978 0 0 0 102 0 0 0 15 0 19 0 948037670 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17231] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17231/stat : 17231 (java) T 17213 17215 17215 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948037670 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17215/tid=17232] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17232/stat : 17232 (java) T 17213 17215 17215 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948037670 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17215/tid=17233] ppid=17213 vsize=8544392 CPUtime=0 cores=0,2,4,6
/proc/17215/task/17233/stat : 17233 (java) T 17213 17215 17215 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948037764 8749457408 331962 33554432000 1073741824 1073778376 140733552627408 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17213/tid=17239] ppid=17113 vsize=325392 CPUtime=0 cores=0,2,4,6
/proc/17213/task/17239/stat : 17239 (python) S 17113 17113 14716 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948042043 333201408 11145 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450785780672 0 0 -1 6 0 0 0
[pid=17240] ppid=17113 vsize=335648 CPUtime=0.45 cores=0,2,4,6
/proc/17240/stat : 17240 (python) S 17113 17113 14716 0 -1 4202560 1213 0 0 0 22 23 0 0 17 0 2 0 948042046 343703552 11149 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17240/statm: 83912 11149 390 364 0 18790 0
[pid=17242] ppid=17240 vsize=55760 CPUtime=95.84 cores=0,2,4,6
/proc/17242/stat : 17242 (clasp-1.3.7-x86) T 17240 17242 17242 0 -1 4202496 14693 0 0 0 9581 3 0 0 25 0 1 0 948042046 57098240 13670 33554432000 134512640 136139019 4287686784 18446744073709551615 134626620 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/17242/statm: 13940 13670 187 398 0 13540 0
[pid=17240/tid=17310] ppid=17113 vsize=335648 CPUtime=0 cores=0,2,4,6
/proc/17240/task/17310/stat : 17310 (python) S 17113 17113 14716 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948051632 343703552 11149 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348030656 0 0 -1 6 0 0 0
[pid=17316] ppid=17113 vsize=345904 CPUtime=1 cores=0,2,4,6
/proc/17316/stat : 17316 (python) S 17113 17113 14716 0 -1 4202560 1285 0 0 0 49 51 0 0 15 0 2 0 948056216 354205696 11159 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17316/statm: 86476 11159 396 364 0 21351 0
[pid=17318] ppid=17316 vsize=274280 CPUtime=185.59 cores=0,2,4,6
/proc/17318/stat : 17318 (scip-2.0.1.linu) T 17316 17318 17318 0 -1 4202496 81040 0 0 0 18510 49 0 0 25 0 1 0 948056216 280862720 63262 33554432000 4194304 15243407 140733268865408 18446744073709551615 8128935 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17318/statm: 68570 63262 865 2698 0 65865 0
[pid=17316/tid=17345] ppid=17113 vsize=345904 CPUtime=0 cores=0,2,4,6
/proc/17316/task/17345/stat : 17345 (python) S 17113 17113 14716 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 948065604 354205696 11159 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554946 18446604451378516992 0 0 -1 6 0 0 0
[pid=17354] ppid=17113 vsize=356160 CPUtime=0 cores=0,2,4,6
/proc/17354/stat : 17354 (python) S 17113 17113 14716 0 -1 4202560 818 0 0 0 0 0 0 0 18 0 1 0 948097920 364707840 11085 33554432000 4194304 5683644 140733982044880 18446744073709551615 215988612678 0 0 16781312 33554946 433605248070713344 0 0 17 2 0 0 0
/proc/17354/statm: 89040 11085 319 364 0 23912 0
[pid=17356] ppid=17354 vsize=8557668 CPUtime=1.28 cores=0,2,4,6
/proc/17356/stat : 17356 (java) S 17354 17356 17356 0 -1 4202496 22456 0 1 0 124 4 0 0 20 0 18 0 948097921 8763052032 17754 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17356/statm: 2139417 17754 2217 9 0 2130158 0
[pid=17356/tid=17357] ppid=17354 vsize=8557668 CPUtime=0.56 cores=0,2,4,6
/proc/17356/task/17357/stat : 17357 (java) R 17354 17356 17356 0 -1 4202560 9576 0 1 0 54 2 0 0 18 0 18 0 948097922 8763052032 17976 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 46912505551373 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17356/tid=17358] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17358/stat : 17358 (java) S 17354 17356 17356 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 948097922 8763052032 17977 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17359] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17359/stat : 17359 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948097922 8763052032 17977 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17360] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17360/stat : 17360 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948097922 8763052032 17978 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17361] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17361/stat : 17361 (java) S 17354 17356 17356 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948097922 8763052032 17979 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17362] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17362/stat : 17362 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097922 8763052032 17979 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17363] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17363/stat : 17363 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097922 8763052032 17980 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17364] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17364/stat : 17364 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097922 8763052032 17980 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17365] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17365/stat : 17365 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097922 8763052032 17981 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17366] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17366/stat : 17366 (java) S 17354 17356 17356 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948097923 8763052032 17981 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000409088 0 0 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17367] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17367/stat : 17367 (java) S 17354 17356 17356 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948097924 8763052032 17982 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17368] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17368/stat : 17368 (java) S 17354 17356 17356 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948097924 8763052032 17982 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17369] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17369/stat : 17369 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097926 8763052032 17983 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000416177 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17370] ppid=17354 vsize=8557668 CPUtime=0.39 cores=0,2,4,6
/proc/17356/task/17370/stat : 17370 (java) R 17354 17356 17356 0 -1 4202560 5339 0 0 0 39 0 0 0 25 0 18 0 948097926 8763052032 17983 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 47464641244442 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17356/tid=17371] ppid=17354 vsize=8557668 CPUtime=0.32 cores=0,2,4,6
/proc/17356/task/17371/stat : 17371 (java) R 17354 17356 17356 0 -1 4202560 6365 0 0 0 32 0 0 0 18 0 18 0 948097926 8763052032 17984 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 47464641787324 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17356/tid=17372] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17372/stat : 17372 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948097926 8763052032 17985 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000408473 0 4 0 16800975 18446604442256347392 0 0 -1 2 0 0 0
[pid=17356/tid=17373] ppid=17354 vsize=8557668 CPUtime=0 cores=0,2,4,6
/proc/17356/task/17373/stat : 17373 (java) S 17354 17356 17356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 948097926 8763052032 17985 33554432000 1073741824 1073778376 140733880977360 18446744073709551615 216000409088 0 4 0 16800975 18446604442256347392 0 0 -1 4 0 0 0
[pid=17113/tid=17121] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17121/stat : 17121 (python) S 17111 17113 14716 0 -1 4202560 39 1586 0 0 0 0 41 8 18 0 7 0 948027828 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
[pid=17113/tid=17187] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17187/stat : 17187 (python) S 17111 17113 14716 0 -1 4202560 31 1586 0 0 0 0 41 8 20 0 7 0 948032650 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
[pid=17113/tid=17214] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17214/stat : 17214 (python) S 17111 17113 14716 0 -1 4202560 30 1586 0 0 0 0 41 8 20 0 7 0 948037665 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 0 0 0 0
[pid=17113/tid=17241] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17241/stat : 17241 (python) S 17111 17113 14716 0 -1 4202560 27 1586 0 0 0 0 41 8 20 0 7 0 948042046 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 6 0 0 0
[pid=17113/tid=17317] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17317/stat : 17317 (python) S 17111 17113 14716 0 -1 4202560 30 1586 0 0 0 0 41 8 18 0 7 0 948056216 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 6 0 0 0
[pid=17113/tid=17355] ppid=17111 vsize=366404 CPUtime=0.49 cores=0,2,4,6
/proc/17113/task/17355/stat : 17355 (python) S 17111 17113 14716 0 -1 4202560 27 1586 0 0 0 0 41 8 20 0 7 0 948097920 375197696 12652 33554432000 4194304 5683644 140733982044880 18446744073709551615 216000416177 0 0 16781312 33554434 18446604450785779776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 711.5
Current children cumulated vsize (KiB) 20816484
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17113 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=596605
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=418936
# CPU time returned by wait4() is 3.01554
# while last known CPU time is 711.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 704.695
CPU time (s): 711.5
CPU user time (s): 706.41
CPU system time (s): 5.09
CPU usage (%): 100.966
Max. virtual memory (cumulated for all children) (KiB): 20816484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5966
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28294
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= 21797
involuntary context switches= 47
runsolver used 6.06708 second user time and 12.3691 second system time
The end