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-3481558-1307578172/watcher-3481558-1307578172 -o /tmp/evaluation-result-3481558-1307578172/solver-3481558-1307578172 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481558-1307578172.opb -seed 1244544473 -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.29 2.14 1.78 2/817 20249
/proc/meminfo: memFree=10308604/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/20249/stat : 20249 (python) R 20247 20249 17436 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 869416987 16629760 922 33554432000 4194304 5683644 140735370170736 18446744073709551615 208079887344 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20249/statm: 4060 924 381 364 0 547 0
[startup+0.0575851 s]
/proc/loadavg: 2.29 2.14 1.78 2/817 20249
/proc/meminfo: memFree=10308604/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=36504 CPUtime=0.03 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 1611 0 0 0 3 0 0 0 17 0 1 0 869416987 37380096 1444 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20249/statm: 9126 1444 452 364 0 943 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36504
[startup+0.105528 s]
/proc/loadavg: 2.29 2.14 1.78 2/817 20249
/proc/meminfo: memFree=10308604/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/20249/stat : 20249 (python) R 20247 20249 17436 0 -1 4202496 3168 931 1 0 7 1 0 0 18 0 1 0 869416987 98430976 2483 33554432000 4194304 5683644 140735370170736 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20249/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301529 s]
/proc/loadavg: 2.29 2.14 1.78 2/817 20249
/proc/meminfo: memFree=10308604/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=202988 CPUtime=0.23 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 6699 931 1 0 17 6 0 0 17 0 1 0 869416987 207859712 4980 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20249/statm: 50747 4980 1472 364 0 3709 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202988
[startup+0.700415 s]
/proc/loadavg: 2.29 2.14 1.78 2/817 20249
/proc/meminfo: memFree=10308604/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=283192 CPUtime=0.39 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 9397 931 1 0 29 10 0 0 15 0 1 0 869416987 289988608 7127 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 2 4294934787 0 0 17 2 0 0 0
/proc/20249/statm: 70798 7127 1777 364 0 5691 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283192
[startup+1.50026 s]
/proc/loadavg: 2.29 2.14 1.78 3/819 20255
/proc/meminfo: memFree=10224392/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=293680 CPUtime=0.41 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 12009 931 1 0 31 10 0 0 18 0 1 0 869416987 300728320 9739 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20249/statm: 73420 9740 1777 364 0 8313 0
[pid=20255] ppid=20249 vsize=3740 CPUtime=1.01 cores=0,2,4,6
/proc/20255/stat : 20255 (PBlinearize) R 20249 20249 17436 0 -1 4202496 943 0 0 0 101 0 0 0 18 0 1 0 869417035 3829760 701 33554432000 4194304 5518411 140733780758496 18446744073709551615 4926752 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20255/statm: 935 701 126 324 0 607 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 297420
[startup+3.10084 s]
/proc/loadavg: 2.27 2.14 1.78 3/818 20255
/proc/meminfo: memFree=10049436/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=325512 CPUtime=3.03 cores=0,2,4,6
/proc/20249/stat : 20249 (python) R 20247 20249 17436 0 -1 4202496 33434 1875 1 0 181 14 108 0 20 0 1 0 869416987 333324288 17726 33554432000 4194304 5683644 140735370170736 18446744073709551615 47917366628929 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/20249/statm: 81378 17726 1816 364 0 16271 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 325512
[startup+6.30036 s]
/proc/loadavg: 2.27 2.14 1.78 3/821 20258
/proc/meminfo: memFree=9622220/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=338784 CPUtime=4.91 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 34844 1875 1 0 369 14 108 0 25 0 2 0 869416987 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20249/statm: 84696 18536 1871 364 0 19583 0
[pid=20256] ppid=20249 vsize=328540 CPUtime=0 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 706 0 0 0 0 0 0 0 15 0 1 0 869417485 336424960 16979 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 33554946 4233248036135862529 0 0 17 6 0 0 0
/proc/20256/statm: 82135 16979 318 364 0 17022 0
[pid=20258] ppid=20256 vsize=50584 CPUtime=1.3 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) R 20256 20258 20258 0 -1 4202496 15647 0 0 0 128 2 0 0 25 0 1 0 869417486 51798016 11640 33554432000 134512640 135751879 4294370784 18446744073709551615 134519008 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 12646 11640 145 303 0 12341 0
[pid=20249/tid=20257] ppid=20247 vsize=338784 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 2 0 869417486 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 717908
[startup+12.7011 s]
/proc/loadavg: 2.23 2.14 1.78 3/821 20259
/proc/meminfo: memFree=9147084/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=338784 CPUtime=4.91 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 34844 1875 1 0 369 14 108 0 25 0 2 0 869416987 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20249/statm: 84696 18536 1871 364 0 19583 0
[pid=20256] ppid=20249 vsize=328540 CPUtime=0.01 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 853 0 0 0 1 0 0 0 15 0 1 0 869417485 336424960 17003 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/20256/statm: 82135 17003 342 364 0 17022 0
[pid=20258] ppid=20256 vsize=63928 CPUtime=7.71 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) R 20256 20258 20258 0 -1 4202496 20490 0 0 0 768 3 0 0 25 0 1 0 869417486 65462272 14965 33554432000 134512640 135751879 4294370784 18446744073709551615 134606331 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 15982 14965 146 303 0 15677 0
[pid=20249/tid=20257] ppid=20247 vsize=338784 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 2 0 869417486 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 731252
[startup+25.5007 s]
/proc/loadavg: 2.19 2.13 1.78 3/822 20260
/proc/meminfo: memFree=9137612/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=338784 CPUtime=4.91 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 34844 1875 1 0 369 14 108 0 25 0 2 0 869416987 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20249/statm: 84696 18536 1871 364 0 19583 0
[pid=20256] ppid=20249 vsize=328540 CPUtime=0.08 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 863 0 0 0 4 4 0 0 15 0 1 0 869417485 336424960 17003 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/20256/statm: 82135 17003 342 364 0 17022 0
[pid=20258] ppid=20256 vsize=73360 CPUtime=20.51 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) R 20256 20258 20258 0 -1 4202496 22865 0 0 0 2046 5 0 0 25 0 1 0 869417486 75120640 17340 33554432000 134512640 135751879 4294370784 18446744073709551615 135209796 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 18340 17340 146 303 0 18035 0
[pid=20249/tid=20257] ppid=20247 vsize=338784 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 2 0 869417486 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 740684
[startup+51.1008 s]
/proc/loadavg: 2.12 2.12 1.79 3/822 20261
/proc/meminfo: memFree=9109280/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=338784 CPUtime=4.91 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 34844 1875 1 0 369 14 108 0 25 0 2 0 869416987 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20249/statm: 84696 18536 1871 364 0 19583 0
[pid=20256] ppid=20249 vsize=328540 CPUtime=0.22 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 874 0 0 0 11 11 0 0 15 0 1 0 869417485 336424960 17003 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252431 0 0 16781312 33554946 72556772316949396 0 0 17 6 0 0 0
/proc/20256/statm: 82135 17003 342 364 0 17022 0
[pid=20258] ppid=20256 vsize=102728 CPUtime=46.1 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) R 20256 20258 20258 0 -1 4202496 30200 0 0 0 4602 8 0 0 25 0 1 0 869417486 105193472 24675 33554432000 134512640 135751879 4294370784 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 25682 24675 146 303 0 25377 0
[pid=20249/tid=20257] ppid=20247 vsize=338784 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 2 0 869417486 346914816 18536 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 770052
[startup+102.301 s]
/proc/loadavg: 2.05 2.10 1.80 3/826 20266
/proc/meminfo: memFree=8440600/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=414576 CPUtime=4.93 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 35768 1875 1 0 371 14 108 0 20 0 3 0 869416987 424525824 18545 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20249/statm: 103644 18545 1874 364 0 38528 0
[pid=20256] ppid=20249 vsize=338784 CPUtime=0.23 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 1079 0 0 0 11 12 0 0 17 0 2 0 869417485 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20256/statm: 84696 17071 405 364 0 19583 0
[pid=20258] ppid=20256 vsize=107996 CPUtime=50.67 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) T 20256 20258 20258 0 -1 4202496 31519 0 0 0 5057 10 0 0 25 0 1 0 869417486 110587904 25994 33554432000 134512640 135751879 4294370784 18446744073709551615 134606135 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20258/statm: 26999 25994 146 303 0 26694 0
[pid=20256/tid=20262] ppid=20249 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (python) S 20249 20249 17436 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869422553 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443124307008 0 0 -1 6 0 0 0
[pid=20263] ppid=20249 vsize=338796 CPUtime=0.2 cores=0,2,4,6
/proc/20263/stat : 20263 (python) S 20249 20249 17436 0 -1 4202560 916 0 0 0 9 11 0 0 15 0 1 0 869422556 346927104 17008 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252486 0 0 16781312 33554946 72556772316949396 0 0 17 6 0 0 0
/proc/20263/statm: 84699 17008 343 364 0 19583 0
[pid=20265] ppid=20263 vsize=702160 CPUtime=46.6 cores=0,2,4,6
/proc/20265/stat : 20265 (scip-2.0.1.linu) R 20263 20265 20265 0 -1 4202496 173491 0 0 0 4627 33 0 0 25 0 1 0 869422556 719011840 164321 33554432000 4194304 13684479 140735508373824 18446744073709551615 7390765 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20265/statm: 175540 164321 797 2317 0 173218 0
[pid=20249/tid=20257] ppid=20247 vsize=414576 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 3 0 869417486 424525824 18545 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20264] ppid=20247 vsize=414576 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20264/stat : 20264 (python) S 20247 20249 17436 0 -1 4202560 20 1875 0 0 0 0 108 0 20 0 3 0 869422556 424525824 18545 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.63
Current children cumulated vsize (KiB) 1902312
[startup+162.302 s]
/proc/loadavg: 2.06 2.09 1.81 3/852 20294
/proc/meminfo: memFree=6171996/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=435088 CPUtime=4.99 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 37507 1875 1 0 376 15 108 0 20 0 5 0 869416987 445530112 18557 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20249/statm: 108772 18557 1878 364 0 43650 0
[pid=20256] ppid=20249 vsize=338784 CPUtime=0.23 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 1079 0 0 0 11 12 0 0 17 0 2 0 869417485 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20256/statm: 84696 17071 405 364 0 19583 0
[pid=20258] ppid=20256 vsize=107996 CPUtime=50.67 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) T 20256 20258 20258 0 -1 4202496 31519 0 0 0 5057 10 0 0 25 0 1 0 869417486 110587904 25994 33554432000 134512640 135751879 4294370784 18446744073709551615 134606135 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20258/statm: 26999 25994 146 303 0 26694 0
[pid=20256/tid=20262] ppid=20249 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (python) S 20249 20249 17436 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869422553 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443124307008 0 0 -1 6 0 0 0
[pid=20263] ppid=20249 vsize=338796 CPUtime=0.22 cores=0,2,4,6
/proc/20263/stat : 20263 (python) S 20249 20249 17436 0 -1 4202560 1111 0 0 0 10 12 0 0 16 0 2 0 869422556 346927104 17056 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20263/statm: 84699 17056 390 364 0 19583 0
[pid=20265] ppid=20263 vsize=702160 CPUtime=47.06 cores=0,2,4,6
/proc/20265/stat : 20265 (scip-2.0.1.linu) T 20263 20265 20265 0 -1 4202496 173951 0 0 0 4673 33 0 0 25 0 1 0 869422556 719011840 164781 33554432000 4194304 13684479 140735508373824 18446744073709551615 7159081 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20265/statm: 175540 164781 797 2317 0 173218 0
################
# More data... #
################
[pid=20300/tid=20312] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20312/stat : 20312 (java) S 20298 20300 20300 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 869441183 8747765760 58533 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20313] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20313/stat : 20313 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869441185 8747765760 58551 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092055985 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20314] ppid=20298 vsize=8542740 CPUtime=0.46 cores=0,2,4,6
/proc/20300/task/20314/stat : 20314 (java) S 20298 20300 20300 0 -1 4202560 3549 0 0 0 46 0 0 0 18 0 18 0 869441185 8747765760 58570 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20315] ppid=20298 vsize=8542740 CPUtime=0.44 cores=0,2,4,6
/proc/20300/task/20315/stat : 20315 (java) S 20298 20300 20300 0 -1 4202560 6143 0 0 0 44 0 0 0 25 0 18 0 869441185 8747765760 58587 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 0 0 0 0
[pid=20300/tid=20316] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20316/stat : 20316 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869441185 8747765760 58602 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20317] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20317/stat : 20317 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869441185 8747765760 58603 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048896 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20249/tid=20257] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 6 0 869417486 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20264] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20264/stat : 20264 (python) S 20247 20249 17436 0 -1 4202560 20 1875 0 0 0 0 108 0 20 0 6 0 869422556 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20269] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20269/stat : 20269 (python) S 20247 20249 17436 0 -1 4202560 24 1875 0 0 0 0 108 0 20 0 6 0 869427267 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20292] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20292/stat : 20292 (python) S 20247 20249 17436 0 -1 4202560 27 1875 0 0 0 0 108 0 20 0 6 0 869431857 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20299] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20299/stat : 20299 (python) S 20247 20249 17436 0 -1 4202560 27 1875 0 0 0 0 108 0 20 0 6 0 869441179 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 247.66
Current children cumulated vsize (KiB) 20537668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+242.901 s]
/proc/loadavg: 2.15 2.11 1.84 5/873 20317
/proc/meminfo: memFree=5763680/32950928 swapFree=38525204/67111528
[pid=20249] ppid=20247 vsize=445344 CPUtime=5.02 cores=0,2,4,6
/proc/20249/stat : 20249 (python) S 20247 20249 17436 0 -1 4202496 38425 1875 1 0 379 15 108 0 18 0 6 0 869416987 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20249/statm: 111336 18563 1880 364 0 46211 0
[pid=20256] ppid=20249 vsize=338784 CPUtime=0.23 cores=0,2,4,6
/proc/20256/stat : 20256 (python) S 20249 20249 17436 0 -1 4202560 1079 0 0 0 11 12 0 0 17 0 2 0 869417485 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20256/statm: 84696 17071 405 364 0 19583 0
[pid=20258] ppid=20256 vsize=107996 CPUtime=50.67 cores=0,2,4,6
/proc/20258/stat : 20258 (wbo1.4a) T 20256 20258 20258 0 -1 4202496 31519 0 0 0 5057 10 0 0 25 0 1 0 869417486 110587904 25994 33554432000 134512640 135751879 4294370784 18446744073709551615 134606135 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20258/statm: 26999 25994 146 303 0 26694 0
[pid=20256/tid=20262] ppid=20249 vsize=338784 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (python) S 20249 20249 17436 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869422553 346914816 17071 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443124307008 0 0 -1 6 0 0 0
[pid=20263] ppid=20249 vsize=338796 CPUtime=0.22 cores=0,2,4,6
/proc/20263/stat : 20263 (python) S 20249 20249 17436 0 -1 4202560 1111 0 0 0 10 12 0 0 16 0 2 0 869422556 346927104 17056 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20263/statm: 84699 17056 390 364 0 19583 0
[pid=20265] ppid=20263 vsize=702160 CPUtime=47.06 cores=0,2,4,6
/proc/20265/stat : 20265 (scip-2.0.1.linu) T 20263 20265 20265 0 -1 4202496 173951 0 0 0 4673 33 0 0 25 0 1 0 869422556 719011840 164781 33554432000 4194304 13684479 140735508373824 18446744073709551615 7159081 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20265/statm: 175540 164781 797 2317 0 173218 0
[pid=20263/tid=20267] ppid=20249 vsize=338796 CPUtime=0 cores=0,2,4,6
/proc/20263/task/20267/stat : 20267 (python) S 20249 20249 17436 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869427264 346927104 17056 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604452456203456 0 0 -1 6 0 0 0
[pid=20268] ppid=20249 vsize=414588 CPUtime=0.22 cores=0,2,4,6
/proc/20268/stat : 20268 (python) S 20249 20249 17436 0 -1 4202560 1135 0 0 0 12 10 0 0 17 0 2 0 869427267 424538112 17062 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20268/statm: 103647 17062 390 364 0 38528 0
[pid=20270] ppid=20268 vsize=8549352 CPUtime=48.55 cores=0,2,4,6
/proc/20270/stat : 20270 (java) T 20268 20270 20270 0 -1 4202496 558460 0 1 0 4788 67 0 0 18 0 19 0 869427267 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20270/statm: 2137338 552005 2248 9 0 2128079 0
[pid=20270/tid=20271] ppid=20268 vsize=8549352 CPUtime=45.45 cores=0,2,4,6
/proc/20270/task/20271/stat : 20271 (java) T 20268 20270 20270 0 -1 4202560 483629 0 1 0 4488 57 0 0 25 0 19 0 869427268 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 46912506030525 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20270/tid=20272] ppid=20268 vsize=8549352 CPUtime=0.13 cores=0,2,4,6
/proc/20270/task/20272/stat : 20272 (java) T 20268 20270 20270 0 -1 4202560 7981 0 0 0 12 1 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20273] ppid=20268 vsize=8549352 CPUtime=0.14 cores=0,2,4,6
/proc/20270/task/20273/stat : 20273 (java) T 20268 20270 20270 0 -1 4202560 7724 0 0 0 14 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20270/tid=20274] ppid=20268 vsize=8549352 CPUtime=0.27 cores=0,2,4,6
/proc/20270/task/20274/stat : 20274 (java) T 20268 20270 20270 0 -1 4202560 14187 0 0 0 25 2 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20270/tid=20275] ppid=20268 vsize=8549352 CPUtime=0.1 cores=0,2,4,6
/proc/20270/task/20275/stat : 20275 (java) T 20268 20270 20270 0 -1 4202560 5341 0 0 0 10 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20270/tid=20276] ppid=20268 vsize=8549352 CPUtime=0.07 cores=0,2,4,6
/proc/20270/task/20276/stat : 20276 (java) T 20268 20270 20270 0 -1 4202560 3689 0 0 0 7 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20270/tid=20277] ppid=20268 vsize=8549352 CPUtime=0.11 cores=0,2,4,6
/proc/20270/task/20277/stat : 20277 (java) T 20268 20270 20270 0 -1 4202560 7648 0 0 0 11 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20270/tid=20278] ppid=20268 vsize=8549352 CPUtime=0.1 cores=0,2,4,6
/proc/20270/task/20278/stat : 20278 (java) T 20268 20270 20270 0 -1 4202560 5655 0 0 0 10 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20279] ppid=20268 vsize=8549352 CPUtime=0.14 cores=0,2,4,6
/proc/20270/task/20279/stat : 20279 (java) T 20268 20270 20270 0 -1 4202560 7528 0 0 0 14 0 0 0 15 0 19 0 869427269 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20280] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20280/stat : 20280 (java) T 20268 20270 20270 0 -1 4202560 1268 0 0 0 0 0 0 0 15 0 19 0 869427270 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20281] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20281/stat : 20281 (java) T 20268 20270 20270 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869427270 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20282] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20282/stat : 20282 (java) T 20268 20270 20270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869427270 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20283] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20283/stat : 20283 (java) T 20268 20270 20270 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869427272 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20284] ppid=20268 vsize=8549352 CPUtime=0.91 cores=0,2,4,6
/proc/20270/task/20284/stat : 20284 (java) T 20268 20270 20270 0 -1 4202560 5136 0 0 0 91 0 0 0 15 0 19 0 869427272 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20270/tid=20285] ppid=20268 vsize=8549352 CPUtime=1.03 cores=0,2,4,6
/proc/20270/task/20285/stat : 20285 (java) T 20268 20270 20270 0 -1 4202560 7276 0 0 0 102 1 0 0 15 0 19 0 869427272 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20286] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20286/stat : 20286 (java) T 20268 20270 20270 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869427272 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20287] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20287/stat : 20287 (java) T 20268 20270 20270 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869427272 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20270/tid=20288] ppid=20268 vsize=8549352 CPUtime=0 cores=0,2,4,6
/proc/20270/task/20288/stat : 20288 (java) T 20268 20270 20270 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869427391 8754536448 552005 33554432000 1073741824 1073778376 140735932258304 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20268/tid=20290] ppid=20249 vsize=414588 CPUtime=0 cores=0,2,4,6
/proc/20268/task/20290/stat : 20290 (python) S 20249 20249 17436 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869431854 424538112 17062 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453608550528 0 0 -1 6 0 0 0
[pid=20291] ppid=20249 vsize=424844 CPUtime=0.42 cores=0,2,4,6
/proc/20291/stat : 20291 (python) S 20249 20249 17436 0 -1 4202560 1195 0 0 0 21 21 0 0 17 0 2 0 869431857 435040256 17066 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20291/statm: 106211 17066 390 364 0 41089 0
[pid=20293] ppid=20291 vsize=237964 CPUtime=93.17 cores=0,2,4,6
/proc/20293/stat : 20293 (clasp-1.3.7-x86) T 20291 20293 20293 0 -1 4202496 60480 0 0 0 9307 10 0 0 25 0 1 0 869431857 243675136 58422 33554432000 134512640 136139019 4286649808 18446744073709551615 134833170 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/20293/statm: 59491 58422 189 398 0 59091 0
[pid=20291/tid=20297] ppid=20249 vsize=424844 CPUtime=0 cores=0,2,4,6
/proc/20291/task/20297/stat : 20297 (python) S 20249 20249 17436 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 869441176 435040256 17066 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441401878528 0 0 -1 6 0 0 0
[pid=20298] ppid=20249 vsize=435100 CPUtime=0 cores=0,2,4,6
/proc/20298/stat : 20298 (python) S 20249 20249 17436 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 1 0 869441179 445542400 16998 33554432000 4194304 5683644 140735370170736 18446744073709551615 208080252486 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/20298/statm: 108775 16998 319 364 0 43650 0
[pid=20300] ppid=20298 vsize=8542740 CPUtime=2.1 cores=0,2,4,6
/proc/20300/stat : 20300 (java) S 20298 20300 20300 0 -1 4202496 62207 0 1 0 202 8 0 0 20 0 18 0 869441179 8747765760 58142 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20300/statm: 2135685 58142 2235 9 0 2126426 0
[pid=20300/tid=20301] ppid=20298 vsize=8542740 CPUtime=0.91 cores=0,2,4,6
/proc/20300/task/20301/stat : 20301 (java) R 20298 20300 20300 0 -1 4202560 35557 0 1 0 87 4 0 0 17 0 18 0 869441181 8747765760 58471 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 46912505629363 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20300/tid=20302] ppid=20298 vsize=8542740 CPUtime=0.06 cores=0,2,4,6
/proc/20300/task/20302/stat : 20302 (java) S 20298 20300 20300 0 -1 4202560 4806 0 0 0 6 0 0 0 16 0 18 0 869441181 8747765760 58474 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20303] ppid=20298 vsize=8542740 CPUtime=0.06 cores=0,2,4,6
/proc/20300/task/20303/stat : 20303 (java) S 20298 20300 20300 0 -1 4202560 4457 0 0 0 6 0 0 0 16 0 18 0 869441181 8747765760 58477 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 0 0 0 0
[pid=20300/tid=20304] ppid=20298 vsize=8542740 CPUtime=0.05 cores=0,2,4,6
/proc/20300/task/20304/stat : 20304 (java) S 20298 20300 20300 0 -1 4202560 3924 0 0 0 5 0 0 0 16 0 18 0 869441181 8747765760 58480 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20305] ppid=20298 vsize=8542740 CPUtime=0.03 cores=0,2,4,6
/proc/20300/task/20305/stat : 20305 (java) S 20298 20300 20300 0 -1 4202560 2295 0 0 0 3 0 0 0 17 0 18 0 869441181 8747765760 58483 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 2 0 0 0
[pid=20300/tid=20306] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20306/stat : 20306 (java) S 20298 20300 20300 0 -1 4202560 13 0 0 0 0 0 0 0 17 0 18 0 869441181 8747765760 58496 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20307] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20307/stat : 20307 (java) S 20298 20300 20300 0 -1 4202560 75 0 0 0 0 0 0 0 17 0 18 0 869441181 8747765760 58496 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 0 0 0 0
[pid=20300/tid=20308] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20308/stat : 20308 (java) S 20298 20300 20300 0 -1 4202560 39 0 0 0 0 0 0 0 17 0 18 0 869441181 8747765760 58496 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20309] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20309/stat : 20309 (java) S 20298 20300 20300 0 -1 4202560 216 0 0 0 0 0 0 0 17 0 18 0 869441181 8747765760 58496 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20310] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20310/stat : 20310 (java) S 20298 20300 20300 0 -1 4202560 73 0 0 0 0 0 0 0 17 0 18 0 869441182 8747765760 58497 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048896 0 0 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20311] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20311/stat : 20311 (java) S 20298 20300 20300 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869441183 8747765760 58514 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20312] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20312/stat : 20312 (java) S 20298 20300 20300 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 869441183 8747765760 58533 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20313] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20313/stat : 20313 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869441185 8747765760 58551 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092055985 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20314] ppid=20298 vsize=8542740 CPUtime=0.46 cores=0,2,4,6
/proc/20300/task/20314/stat : 20314 (java) S 20298 20300 20300 0 -1 4202560 3549 0 0 0 46 0 0 0 18 0 18 0 869441185 8747765760 58570 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20300/tid=20315] ppid=20298 vsize=8542740 CPUtime=0.44 cores=0,2,4,6
/proc/20300/task/20315/stat : 20315 (java) S 20298 20300 20300 0 -1 4202560 6143 0 0 0 44 0 0 0 25 0 18 0 869441185 8747765760 58587 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 0 0 0 0
[pid=20300/tid=20316] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20316/stat : 20316 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869441185 8747765760 58602 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048281 0 4 0 16800975 18446604447990450368 0 0 -1 6 0 0 0
[pid=20300/tid=20317] ppid=20298 vsize=8542740 CPUtime=0 cores=0,2,4,6
/proc/20300/task/20317/stat : 20317 (java) S 20298 20300 20300 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869441185 8747765760 58603 33554432000 1073741824 1073778376 140735695412976 18446744073709551615 208092048896 0 4 0 16800975 18446604447990450368 0 0 -1 4 0 0 0
[pid=20249/tid=20257] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20257/stat : 20257 (python) S 20247 20249 17436 0 -1 4202560 25 1875 0 0 0 0 108 0 25 0 6 0 869417486 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20264] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20264/stat : 20264 (python) S 20247 20249 17436 0 -1 4202560 20 1875 0 0 0 0 108 0 20 0 6 0 869422556 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20269] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20269/stat : 20269 (python) S 20247 20249 17436 0 -1 4202560 24 1875 0 0 0 0 108 0 20 0 6 0 869427267 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20292] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20292/stat : 20292 (python) S 20247 20249 17436 0 -1 4202560 27 1875 0 0 0 0 108 0 20 0 6 0 869431857 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
[pid=20249/tid=20299] ppid=20247 vsize=445344 CPUtime=1.08 cores=0,2,4,6
/proc/20249/task/20299/stat : 20299 (python) S 20247 20249 17436 0 -1 4202560 27 1875 0 0 0 0 108 0 20 0 6 0 869441179 456032256 18563 33554432000 4194304 5683644 140735370170736 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449443727360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 247.66
Current children cumulated vsize (KiB) 20537668
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20249 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=876258
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=168974
# CPU time returned by wait4() is 5.04523
# while last known CPU time is 247.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 242.988
CPU time (s): 247.66
CPU user time (s): 245.68
CPU system time (s): 1.98
CPU usage (%): 101.923
Max. virtual memory (cumulated for all children) (KiB): 20537668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87626
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40303
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= 65379
involuntary context switches= 41
runsolver used 1.85772 second user time and 3.68844 second system time
The end