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-3481664-1307577679/watcher-3481664-1307577679 -o /tmp/evaluation-result-3481664-1307577679/solver-3481664-1307577679 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481664-1307577679.opb -seed 1945210893 -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.00 2.03 1.53 2/603 23680
/proc/meminfo: memFree=24120972/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 902 0 0 0 0 0 0 0 20 0 1 0 869365866 16154624 782 33554432000 4194304 5683644 140734284119168 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23680/statm: 3944 782 345 364 0 431 0
[startup+0.102989 s]
/proc/loadavg: 2.00 2.03 1.53 2/603 23680
/proc/meminfo: memFree=24120972/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 2666 0 0 0 5 1 0 0 17 0 1 0 869365866 87678976 2382 33554432000 4194304 5683644 140734284119168 18446744073709551615 271545614346 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23680/statm: 21958 2393 721 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.20094 s]
/proc/loadavg: 2.00 2.03 1.53 2/603 23680
/proc/meminfo: memFree=24120972/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=117904 CPUtime=0.13 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 4922 930 1 0 10 3 0 0 17 0 1 0 869365866 120733696 3346 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550535680 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/23680/statm: 29476 3346 916 364 0 2446 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117904
[startup+0.300904 s]
/proc/loadavg: 2.00 2.03 1.53 2/603 23680
/proc/meminfo: memFree=24120972/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 5357 930 1 0 12 5 0 0 16 0 1 0 869365866 126713856 3744 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550533637 0 2147483391 16781312 2 18446744071699469502 0 0 17 5 0 0 0
/proc/23680/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700846 s]
/proc/loadavg: 2.00 2.03 1.53 2/603 23680
/proc/meminfo: memFree=24120972/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=294192 CPUtime=0.43 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 12026 930 1 0 30 13 0 0 15 0 1 0 869365866 301252608 9888 33554432000 4194304 5683644 140734284119168 18446744073709551615 271549898500 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23680/statm: 73548 9888 1781 364 0 8441 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 294192
[startup+1.5007 s]
/proc/loadavg: 2.00 2.03 1.53 3/604 23685
/proc/meminfo: memFree=24074836/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=323372 CPUtime=1.22 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 18982 930 1 0 109 13 0 0 16 0 1 0 869365866 331132928 16844 33554432000 4194304 5683644 140734284119168 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23680/statm: 80843 16845 1781 364 0 15736 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 323372
[startup+3.1004 s]
/proc/loadavg: 2.00 2.03 1.53 3/604 23686
/proc/meminfo: memFree=24032228/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=359876 CPUtime=2.82 cores=1,3,5,7
/proc/23680/stat : 23680 (python) R 23678 23680 23050 0 -1 4202496 42084 930 1 0 265 17 0 0 18 0 1 0 869365866 368513024 26315 33554432000 4194304 5683644 140734284119168 18446744073709551615 271553946281 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/23680/statm: 89969 26315 1815 364 0 24862 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 359876
[startup+6.30079 s]
/proc/loadavg: 2.00 2.03 1.53 3/604 23686
/proc/meminfo: memFree=24012928/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=379260 CPUtime=6.01 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 44648 930 1 0 583 18 0 0 25 0 2 0 869365866 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 94815 28653 1870 364 0 29702 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 379260
[startup+12.7007 s]
/proc/loadavg: 2.16 2.06 1.55 3/607 23689
/proc/meminfo: memFree=23331412/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=379260 CPUtime=6.01 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 44648 930 1 0 583 18 0 0 25 0 2 0 869365866 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 94815 28653 1870 364 0 29702 0
[pid=23687] ppid=23680 vsize=369016 CPUtime=0.01 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 906 0 0 0 0 1 0 0 15 0 1 0 869366495 377872384 27154 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557711 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23687/statm: 92254 27154 375 364 0 27141 0
[pid=23689] ppid=23687 vsize=787404 CPUtime=6.39 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) R 23687 23689 23689 0 -1 4202496 202579 0 0 0 526 113 0 0 25 0 1 0 869366495 806301696 190825 33554432000 4194304 13684479 140736577398880 18446744073709551615 4819427 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23689/statm: 196851 190825 630 2317 0 194529 0
[pid=23680/tid=23688] ppid=23678 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 2 0 869366495 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 1535680
[startup+25.5014 s]
/proc/loadavg: 2.12 2.06 1.55 3/607 23689
/proc/meminfo: memFree=23225996/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=379260 CPUtime=6.01 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 44648 930 1 0 583 18 0 0 25 0 2 0 869365866 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 94815 28653 1870 364 0 29702 0
[pid=23687] ppid=23680 vsize=369016 CPUtime=0.07 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 914 0 0 0 3 4 0 0 15 0 1 0 869366495 377872384 27154 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557711 0 0 16781312 33554946 5623606151888251664 0 0 17 5 0 0 0
/proc/23687/statm: 92254 27154 375 364 0 27141 0
[pid=23689] ppid=23687 vsize=801016 CPUtime=19.18 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) R 23687 23689 23689 0 -1 4202496 217028 0 0 0 1767 151 0 0 25 0 1 0 869366495 820240384 194656 33554432000 4194304 13684479 140736577398880 18446744073709551615 6141096 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23689/statm: 200254 194656 704 2317 0 197932 0
[pid=23680/tid=23688] ppid=23678 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 2 0 869366495 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 1549292
[startup+51.1007 s]
/proc/loadavg: 2.08 2.05 1.56 3/607 23690
/proc/meminfo: memFree=22914388/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=379260 CPUtime=6.01 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 44648 930 1 0 583 18 0 0 25 0 2 0 869365866 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 94815 28653 1870 364 0 29702 0
[pid=23687] ppid=23680 vsize=369016 CPUtime=0.18 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 934 0 0 0 8 10 0 0 15 0 1 0 869366495 377872384 27154 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557711 0 0 16781312 33554946 5623606151888251664 0 0 17 5 0 0 0
/proc/23687/statm: 92254 27154 375 364 0 27141 0
[pid=23689] ppid=23687 vsize=1142252 CPUtime=44.75 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) R 23687 23689 23689 0 -1 4202496 303323 0 0 0 4313 162 0 0 25 0 1 0 869366495 1169666048 272482 33554432000 4194304 13684479 140736577398880 18446744073709551615 4773334 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23689/statm: 285563 272482 715 2317 0 283241 0
[pid=23680/tid=23688] ppid=23678 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 2 0 869366495 388362240 28653 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 1890528
[startup+102.301 s]
/proc/loadavg: 2.07 2.06 1.59 3/611 23695
/proc/meminfo: memFree=22766048/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=389516 CPUtime=6.04 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 45536 930 1 0 586 18 0 0 20 0 3 0 869365866 398864384 28660 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23680/statm: 97379 28660 1873 364 0 32263 0
[pid=23687] ppid=23680 vsize=379260 CPUtime=0.21 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 1096 0 0 0 9 12 0 0 17 0 2 0 869366495 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 94815 27190 406 364 0 29702 0
[pid=23689] ppid=23687 vsize=1144444 CPUtime=51.62 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) T 23687 23689 23689 0 -1 4202496 303875 0 0 0 5000 162 0 0 25 0 1 0 869366495 1171910656 273034 33554432000 4194304 13684479 140736577398880 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23689/statm: 286111 273034 715 2317 0 283789 0
[pid=23687/tid=23691] ppid=23680 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (python) S 23680 23680 23050 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869371665 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604465850925504 0 0 -1 5 0 0 0
[pid=23692] ppid=23680 vsize=379272 CPUtime=0.19 cores=1,3,5,7
/proc/23692/stat : 23692 (python) S 23680 23680 23050 0 -1 4202560 945 0 0 0 8 11 0 0 15 0 1 0 869371667 388374528 27155 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557766 0 0 16781312 33554946 5623753486446373648 0 0 17 7 0 0 0
/proc/23692/statm: 94818 27155 372 364 0 29702 0
[pid=23694] ppid=23692 vsize=146236 CPUtime=44.29 cores=1,3,5,7
/proc/23694/stat : 23694 (wbo1.4a) R 23692 23694 23694 0 -1 4202496 62837 0 0 0 4326 103 0 0 25 0 1 0 869371667 149745664 35021 33554432000 134512640 135751879 4289007584 18446744073709551615 134605954 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/23694/statm: 36559 35021 146 303 0 36254 0
[pid=23680/tid=23688] ppid=23678 vsize=389516 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 3 0 869366495 398864384 28660 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23693] ppid=23678 vsize=389516 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23693/stat : 23693 (python) S 23678 23680 23050 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 3 0 869371667 398864384 28660 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 2438728
[startup+162.301 s]
/proc/loadavg: 2.06 2.06 1.62 3/637 23723
/proc/meminfo: memFree=19997004/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=410028 CPUtime=6.09 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 47240 930 1 0 590 19 0 0 20 0 5 0 869365866 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 102507 28672 1877 364 0 37385 0
[pid=23687] ppid=23680 vsize=379260 CPUtime=0.21 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 1096 0 0 0 9 12 0 0 17 0 2 0 869366495 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 94815 27190 406 364 0 29702 0
[pid=23689] ppid=23687 vsize=1144444 CPUtime=51.62 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) T 23687 23689 23689 0 -1 4202496 303875 0 0 0 5000 162 0 0 25 0 1 0 869366495 1171910656 273034 33554432000 4194304 13684479 140736577398880 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23689/statm: 286111 273034 715 2317 0 283789 0
[pid=23687/tid=23691] ppid=23680 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (python) S 23680 23680 23050 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869371665 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604465850925504 0 0 -1 5 0 0 0
[pid=23692] ppid=23680 vsize=379272 CPUtime=0.22 cores=1,3,5,7
/proc/23692/stat : 23692 (python) S 23680 23680 23050 0 -1 4202560 1104 0 0 0 9 13 0 0 17 0 2 0 869371667 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23692/statm: 94818 27180 396 364 0 29702 0
[pid=23694] ppid=23692 vsize=146236 CPUtime=48.37 cores=1,3,5,7
/proc/23694/stat : 23694 (wbo1.4a) T 23692 23694 23694 0 -1 4202496 62838 0 0 0 4724 113 0 0 25 0 1 0 869371667 149745664 35022 33554432000 134512640 135751879 4289007584 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23694/statm: 36559 35022 146 303 0 36254 0
[pid=23692/tid=23696] ppid=23680 vsize=379272 CPUtime=0 cores=1,3,5,7
/proc/23692/task/23696/stat : 23696 (python) S 23680 23680 23050 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869376506 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604470463878400 0 0 -1 7 0 0 0
[pid=23697] ppid=23680 vsize=389528 CPUtime=0.2 cores=1,3,5,7
/proc/23697/stat : 23697 (python) S 23680 23680 23050 0 -1 4202560 1109 0 0 0 9 11 0 0 16 0 2 0 869376508 398876672 27184 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23697/statm: 97382 27184 396 364 0 32263 0
[pid=23699] ppid=23697 vsize=8542284 CPUtime=51.05 cores=1,3,5,7
/proc/23699/stat : 23699 (java) T 23697 23699 23699 0 -1 4202496 699253 0 1 0 5028 77 0 0 15 0 19 0 869376509 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23699/statm: 2135571 671913 2249 9 0 2126312 0
[pid=23699/tid=23700] ppid=23697 vsize=8542284 CPUtime=48.4 cores=1,3,5,7
/proc/23699/task/23700/stat : 23700 (java) T 23697 23699 23699 0 -1 4202560 634759 0 1 0 4771 69 0 0 25 0 19 0 869376510 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 46912505983277 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23701] ppid=23697 vsize=8542284 CPUtime=0.15 cores=1,3,5,7
################
# More data... #
################
[pid=23692] ppid=23680 vsize=379272 CPUtime=0.22 cores=1,3,5,7
/proc/23692/stat : 23692 (python) S 23680 23680 23050 0 -1 4202560 1104 0 0 0 9 13 0 0 17 0 2 0 869371667 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23692/statm: 94818 27180 396 364 0 29702 0
[pid=23694] ppid=23692 vsize=146236 CPUtime=48.37 cores=1,3,5,7
/proc/23694/stat : 23694 (wbo1.4a) T 23692 23694 23694 0 -1 4202496 62838 0 0 0 4724 113 0 0 25 0 1 0 869371667 149745664 35022 33554432000 134512640 135751879 4289007584 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23694/statm: 36559 35022 146 303 0 36254 0
[pid=23692/tid=23696] ppid=23680 vsize=379272 CPUtime=0 cores=1,3,5,7
/proc/23692/task/23696/stat : 23696 (python) S 23680 23680 23050 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869376506 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604470463878400 0 0 -1 7 0 0 0
[pid=23697] ppid=23680 vsize=389528 CPUtime=0.2 cores=1,3,5,7
/proc/23697/stat : 23697 (python) S 23680 23680 23050 0 -1 4202560 1109 0 0 0 9 11 0 0 16 0 2 0 869376508 398876672 27184 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23697/statm: 97382 27184 396 364 0 32263 0
[pid=23699] ppid=23697 vsize=8542284 CPUtime=51.05 cores=1,3,5,7
/proc/23699/stat : 23699 (java) T 23697 23699 23699 0 -1 4202496 699253 0 1 0 5028 77 0 0 15 0 19 0 869376509 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23699/statm: 2135571 671913 2249 9 0 2126312 0
[pid=23699/tid=23700] ppid=23697 vsize=8542284 CPUtime=48.4 cores=1,3,5,7
/proc/23699/task/23700/stat : 23700 (java) T 23697 23699 23699 0 -1 4202560 634759 0 1 0 4771 69 0 0 25 0 19 0 869376510 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 46912505983277 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23701] ppid=23697 vsize=8542284 CPUtime=0.15 cores=1,3,5,7
/proc/23699/task/23701/stat : 23701 (java) T 23697 23699 23699 0 -1 4202560 9747 0 0 0 15 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23699/tid=23702] ppid=23697 vsize=8542284 CPUtime=0.08 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) T 23697 23699 23699 0 -1 4202560 4888 0 0 0 8 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23703] ppid=23697 vsize=8542284 CPUtime=0.07 cores=1,3,5,7
/proc/23699/task/23703/stat : 23703 (java) T 23697 23699 23699 0 -1 4202560 5053 0 0 0 7 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23704] ppid=23697 vsize=8542284 CPUtime=0.15 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) T 23697 23699 23699 0 -1 4202560 9622 0 0 0 14 1 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23705] ppid=23697 vsize=8542284 CPUtime=0.1 cores=1,3,5,7
/proc/23699/task/23705/stat : 23705 (java) T 23697 23699 23699 0 -1 4202560 7075 0 0 0 10 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23706] ppid=23697 vsize=8542284 CPUtime=0.06 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) T 23697 23699 23699 0 -1 4202560 3816 0 0 0 6 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23707] ppid=23697 vsize=8542284 CPUtime=0.08 cores=1,3,5,7
/proc/23699/task/23707/stat : 23707 (java) T 23697 23699 23699 0 -1 4202560 5849 0 0 0 8 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23708] ppid=23697 vsize=8542284 CPUtime=0.05 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) T 23697 23699 23699 0 -1 4202560 3394 0 0 0 5 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23709] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23709/stat : 23709 (java) T 23697 23699 23699 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23699/tid=23710] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) T 23697 23699 23699 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23711] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23711/stat : 23711 (java) T 23697 23699 23699 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23712] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) T 23697 23699 23699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23713] ppid=23697 vsize=8542284 CPUtime=0.86 cores=1,3,5,7
/proc/23699/task/23713/stat : 23713 (java) T 23697 23699 23699 0 -1 4202560 3993 0 0 0 86 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23699/tid=23714] ppid=23697 vsize=8542284 CPUtime=0.91 cores=1,3,5,7
/proc/23699/task/23714/stat : 23714 (java) T 23697 23699 23699 0 -1 4202560 8395 0 0 0 91 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23715] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) T 23697 23699 23699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23716] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23716/stat : 23716 (java) T 23697 23699 23699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23717] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) T 23697 23699 23699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869376724 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23697/tid=23720] ppid=23680 vsize=389528 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23720/stat : 23720 (python) S 23680 23680 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869381381 398876672 27184 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604456609244992 0 0 -1 7 0 0 0
[pid=23721] ppid=23680 vsize=399784 CPUtime=6.61 cores=1,3,5,7
/proc/23721/stat : 23721 (python) S 23680 23680 23050 0 -1 4202560 1049 0 0 0 306 355 0 0 15 0 1 0 869381383 409378816 27172 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557766 0 0 16781312 33554946 5623311482772007696 0 0 17 1 0 0 0
/proc/23721/statm: 99946 27172 381 364 0 34824 0
[pid=23723] ppid=23721 vsize=2003980 CPUtime=1635.67 cores=1,3,5,7
/proc/23723/stat : 23723 (bsolo_pb10) R 23721 23723 23723 0 -1 4202496 1748668 0 0 0 163318 249 0 0 25 0 1 0 869381383 2052075520 498130 33554432000 134512640 137138936 4289907056 18446744073709551615 134542770 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/23723/statm: 500995 498130 192 642 0 500351 0
[pid=23680/tid=23688] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 5 0 869366495 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23693] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23693/stat : 23693 (python) S 23678 23680 23050 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869371667 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23698] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23698/stat : 23698 (python) S 23678 23680 23050 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869376509 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23722] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23722/stat : 23722 (python) S 23678 23680 23050 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 5 0 869381383 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13794816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.8 s]
/proc/loadavg: 2.16 2.13 1.99 4/698 24049
/proc/meminfo: memFree=11676148/32951124 swapFree=55639044/67111528
[pid=23680] ppid=23678 vsize=410028 CPUtime=6.09 cores=1,3,5,7
/proc/23680/stat : 23680 (python) S 23678 23680 23050 0 -1 4202496 47240 930 1 0 590 19 0 0 20 0 5 0 869365866 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/23680/statm: 102507 28672 1877 364 0 37385 0
[pid=23687] ppid=23680 vsize=379260 CPUtime=0.21 cores=1,3,5,7
/proc/23687/stat : 23687 (python) S 23680 23680 23050 0 -1 4202560 1096 0 0 0 9 12 0 0 17 0 2 0 869366495 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23687/statm: 94815 27190 406 364 0 29702 0
[pid=23689] ppid=23687 vsize=1144444 CPUtime=51.62 cores=1,3,5,7
/proc/23689/stat : 23689 (scip-2.0.1.linu) T 23687 23689 23689 0 -1 4202496 303875 0 0 0 5000 162 0 0 25 0 1 0 869366495 1171910656 273034 33554432000 4194304 13684479 140736577398880 18446744073709551615 4773363 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/23689/statm: 286111 273034 715 2317 0 283789 0
[pid=23687/tid=23691] ppid=23680 vsize=379260 CPUtime=0 cores=1,3,5,7
/proc/23687/task/23691/stat : 23691 (python) S 23680 23680 23050 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869371665 388362240 27190 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604465850925504 0 0 -1 5 0 0 0
[pid=23692] ppid=23680 vsize=379272 CPUtime=0.22 cores=1,3,5,7
/proc/23692/stat : 23692 (python) S 23680 23680 23050 0 -1 4202560 1104 0 0 0 9 13 0 0 17 0 2 0 869371667 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23692/statm: 94818 27180 396 364 0 29702 0
[pid=23694] ppid=23692 vsize=146236 CPUtime=48.37 cores=1,3,5,7
/proc/23694/stat : 23694 (wbo1.4a) T 23692 23694 23694 0 -1 4202496 62838 0 0 0 4724 113 0 0 25 0 1 0 869371667 149745664 35022 33554432000 134512640 135751879 4289007584 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23694/statm: 36559 35022 146 303 0 36254 0
[pid=23692/tid=23696] ppid=23680 vsize=379272 CPUtime=0 cores=1,3,5,7
/proc/23692/task/23696/stat : 23696 (python) S 23680 23680 23050 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869376506 388374528 27180 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604470463878400 0 0 -1 7 0 0 0
[pid=23697] ppid=23680 vsize=389528 CPUtime=0.2 cores=1,3,5,7
/proc/23697/stat : 23697 (python) S 23680 23680 23050 0 -1 4202560 1109 0 0 0 9 11 0 0 16 0 2 0 869376508 398876672 27184 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562364363 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23697/statm: 97382 27184 396 364 0 32263 0
[pid=23699] ppid=23697 vsize=8542284 CPUtime=51.05 cores=1,3,5,7
/proc/23699/stat : 23699 (java) T 23697 23699 23699 0 -1 4202496 699253 0 1 0 5028 77 0 0 15 0 19 0 869376509 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23699/statm: 2135571 671913 2249 9 0 2126312 0
[pid=23699/tid=23700] ppid=23697 vsize=8542284 CPUtime=48.4 cores=1,3,5,7
/proc/23699/task/23700/stat : 23700 (java) T 23697 23699 23699 0 -1 4202560 634759 0 1 0 4771 69 0 0 25 0 19 0 869376510 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 46912505983277 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23701] ppid=23697 vsize=8542284 CPUtime=0.15 cores=1,3,5,7
/proc/23699/task/23701/stat : 23701 (java) T 23697 23699 23699 0 -1 4202560 9747 0 0 0 15 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23699/tid=23702] ppid=23697 vsize=8542284 CPUtime=0.08 cores=1,3,5,7
/proc/23699/task/23702/stat : 23702 (java) T 23697 23699 23699 0 -1 4202560 4888 0 0 0 8 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23703] ppid=23697 vsize=8542284 CPUtime=0.07 cores=1,3,5,7
/proc/23699/task/23703/stat : 23703 (java) T 23697 23699 23699 0 -1 4202560 5053 0 0 0 7 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23704] ppid=23697 vsize=8542284 CPUtime=0.15 cores=1,3,5,7
/proc/23699/task/23704/stat : 23704 (java) T 23697 23699 23699 0 -1 4202560 9622 0 0 0 14 1 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23705] ppid=23697 vsize=8542284 CPUtime=0.1 cores=1,3,5,7
/proc/23699/task/23705/stat : 23705 (java) T 23697 23699 23699 0 -1 4202560 7075 0 0 0 10 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23706] ppid=23697 vsize=8542284 CPUtime=0.06 cores=1,3,5,7
/proc/23699/task/23706/stat : 23706 (java) T 23697 23699 23699 0 -1 4202560 3816 0 0 0 6 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23707] ppid=23697 vsize=8542284 CPUtime=0.08 cores=1,3,5,7
/proc/23699/task/23707/stat : 23707 (java) T 23697 23699 23699 0 -1 4202560 5849 0 0 0 8 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23708] ppid=23697 vsize=8542284 CPUtime=0.05 cores=1,3,5,7
/proc/23699/task/23708/stat : 23708 (java) T 23697 23699 23699 0 -1 4202560 3394 0 0 0 5 0 0 0 15 0 19 0 869376511 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23709] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23709/stat : 23709 (java) T 23697 23699 23699 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23699/tid=23710] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23710/stat : 23710 (java) T 23697 23699 23699 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23711] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23711/stat : 23711 (java) T 23697 23699 23699 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869376512 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23712] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23712/stat : 23712 (java) T 23697 23699 23699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562361265 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23713] ppid=23697 vsize=8542284 CPUtime=0.86 cores=1,3,5,7
/proc/23699/task/23713/stat : 23713 (java) T 23697 23699 23699 0 -1 4202560 3993 0 0 0 86 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23699/tid=23714] ppid=23697 vsize=8542284 CPUtime=0.91 cores=1,3,5,7
/proc/23699/task/23714/stat : 23714 (java) T 23697 23699 23699 0 -1 4202560 8395 0 0 0 91 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23715] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23715/stat : 23715 (java) T 23697 23699 23699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562353561 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23699/tid=23716] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23716/stat : 23716 (java) T 23697 23699 23699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869376514 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23699/tid=23717] ppid=23697 vsize=8542284 CPUtime=0 cores=1,3,5,7
/proc/23699/task/23717/stat : 23717 (java) T 23697 23699 23699 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869376724 8747298816 671913 33554432000 1073741824 1073778376 140735378564496 18446744073709551615 271562354176 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23697/tid=23720] ppid=23680 vsize=389528 CPUtime=0 cores=1,3,5,7
/proc/23697/task/23720/stat : 23720 (python) S 23680 23680 23050 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869381381 398876672 27184 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554946 18446604456609244992 0 0 -1 7 0 0 0
[pid=23721] ppid=23680 vsize=399784 CPUtime=6.61 cores=1,3,5,7
/proc/23721/stat : 23721 (python) S 23680 23680 23050 0 -1 4202560 1049 0 0 0 306 355 0 0 15 0 1 0 869381383 409378816 27172 33554432000 4194304 5683644 140734284119168 18446744073709551615 271550557766 0 0 16781312 33554946 5623311482772007696 0 0 17 1 0 0 0
/proc/23721/statm: 99946 27172 381 364 0 34824 0
[pid=23723] ppid=23721 vsize=2003980 CPUtime=1635.67 cores=1,3,5,7
/proc/23723/stat : 23723 (bsolo_pb10) R 23721 23723 23723 0 -1 4202496 1748668 0 0 0 163318 249 0 0 25 0 1 0 869381383 2052075520 498130 33554432000 134512640 137138936 4289907056 18446744073709551615 134542770 0 0 16781312 16384 0 0 0 17 3 0 0 0
/proc/23723/statm: 500995 498130 192 642 0 500351 0
[pid=23680/tid=23688] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23688/stat : 23688 (python) S 23678 23680 23050 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 5 0 869366495 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23693] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23693/stat : 23693 (python) S 23678 23680 23050 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 869371667 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23698] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23698/stat : 23698 (python) S 23678 23680 23050 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 869376509 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 5 0 0 0
[pid=23680/tid=23722] ppid=23678 vsize=410028 CPUtime=0 cores=1,3,5,7
/proc/23680/task/23722/stat : 23722 (python) S 23678 23680 23050 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 5 0 869381383 419868672 28672 33554432000 4194304 5683644 140734284119168 18446744073709551615 271562361265 0 0 16781312 33554434 18446604461740914624 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13794816
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23680 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=907101
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=197969
# CPU time returned by wait4() is 6.10507
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.88
CPU time (s): 1800.04
CPU user time (s): 1789.93
CPU system time (s): 10.11
CPU usage (%): 100.512
Max. virtual memory (cumulated for all children) (KiB): 13795008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9071
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48172
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= 2873
involuntary context switches= 28
runsolver used 13.8889 second user time and 31.5902 second system time
The end