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-3482311-1307578977/watcher-3482311-1307578977 -o /tmp/evaluation-result-3482311-1307578977/solver-3482311-1307578977 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482311-1307578977.opb -seed 1008727839 -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.57 2.16 1.95 2/888 20806
/proc/meminfo: memFree=1391320/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/20806/stat : 20806 (python) R 20804 20806 17436 0 -1 4202496 1041 0 0 0 0 0 0 0 25 0 1 0 869497449 16633856 913 33554432000 4194304 5683644 140734191302384 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20806/statm: 4061 913 380 364 0 548 0
[startup+0.078607 s]
/proc/loadavg: 2.57 2.16 1.95 2/888 20806
/proc/meminfo: memFree=1391320/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=45820 CPUtime=0.04 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 1928 0 0 0 3 1 0 0 25 0 1 0 869497449 46919680 1701 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20806/statm: 11455 1701 470 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45820
[startup+0.100781 s]
/proc/loadavg: 2.57 2.16 1.95 2/888 20806
/proc/meminfo: memFree=1391320/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 2665 0 0 0 4 2 0 0 25 0 1 0 869497449 87678976 2382 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20806/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300517 s]
/proc/loadavg: 2.57 2.16 1.95 2/888 20806
/proc/meminfo: memFree=1391320/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 5357 930 1 0 12 5 0 0 17 0 1 0 869497449 126713856 3744 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080228357 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/20806/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.711486 s]
/proc/loadavg: 2.57 2.16 1.95 2/888 20806
/proc/meminfo: memFree=1391320/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=283996 CPUtime=0.46 cores=0,2,4,6
/proc/20806/stat : 20806 (python) R 20804 20806 17436 0 -1 4202496 9446 930 1 0 34 12 0 0 16 0 1 0 869497449 290811904 7308 33554432000 4194304 5683644 140734191302384 18446744073709551615 47058147770015 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20806/statm: 70999 7309 1781 364 0 5892 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283996
[startup+1.50127 s]
/proc/loadavg: 2.57 2.16 1.95 3/909 20831
/proc/meminfo: memFree=1349368/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=294992 CPUtime=0.62 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 10292 930 1 0 50 12 0 0 18 0 2 0 869497449 302071808 7586 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20806/statm: 73748 7586 1870 364 0 8635 0
[pid=20812] ppid=20806 vsize=284748 CPUtime=0 cores=0,2,4,6
/proc/20812/stat : 20812 (python) S 20806 20806 17436 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869497536 291581952 6064 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080252431 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/20812/statm: 71187 6064 352 364 0 6074 0
[pid=20814] ppid=20812 vsize=8539348 CPUtime=1.27 cores=0,2,4,6
/proc/20814/stat : 20814 (java) S 20812 20814 20814 0 -1 4202496 15759 0 1 0 125 2 0 0 19 0 19 0 869497537 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20814/statm: 2134837 13249 2225 9 0 2125578 0
[pid=20814/tid=20815] ppid=20812 vsize=8539348 CPUtime=0.6 cores=0,2,4,6
/proc/20814/task/20815/stat : 20815 (java) R 20812 20814 20814 0 -1 4202560 9343 0 1 0 59 1 0 0 19 0 19 0 869497537 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 46994195372883 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20816/stat : 20816 (java) S 20812 20814 20814 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20817/stat : 20817 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20818] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20818/stat : 20818 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20819] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20819/stat : 20819 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20820] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20820/stat : 20820 (java) S 20812 20814 20814 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20821] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20821/stat : 20821 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20822] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20822/stat : 20822 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20823] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20823/stat : 20823 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869497538 8744292352 13249 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20824] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20824/stat : 20824 (java) S 20812 20814 20814 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 869497539 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 0 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20825] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20825/stat : 20825 (java) S 20812 20814 20814 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869497539 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20826] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20826/stat : 20826 (java) S 20812 20814 20814 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869497539 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20827] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20827/stat : 20827 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869497541 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092055985 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20828] ppid=20812 vsize=8539348 CPUtime=0.29 cores=0,2,4,6
/proc/20814/task/20828/stat : 20828 (java) S 20812 20814 20814 0 -1 4202560 2327 0 0 0 29 0 0 0 25 0 19 0 869497541 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 0 0 0 0
[pid=20814/tid=20829] ppid=20812 vsize=8539348 CPUtime=0.37 cores=0,2,4,6
/proc/20814/task/20829/stat : 20829 (java) R 20812 20814 20814 0 -1 4202560 2697 0 0 0 37 0 0 0 17 0 19 0 869497541 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 46994194582845 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20814/tid=20830] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20830/stat : 20830 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869497541 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20831] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20831/stat : 20831 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869497541 8744292352 13250 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=294992 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (python) S 20804 20806 17436 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869497537 302071808 7586 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9119088
[startup+3.10103 s]
/proc/loadavg: 2.52 2.16 1.95 5/910 20832
/proc/meminfo: memFree=1307364/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=294992 CPUtime=0.62 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 10292 930 1 0 50 12 0 0 18 0 2 0 869497449 302071808 7586 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20806/statm: 73748 7586 1870 364 0 8635 0
[pid=20812] ppid=20806 vsize=284748 CPUtime=0 cores=0,2,4,6
/proc/20812/stat : 20812 (python) S 20806 20806 17436 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869497536 291581952 6064 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080252431 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/20812/statm: 71187 6064 352 364 0 6074 0
[pid=20814] ppid=20812 vsize=8539348 CPUtime=3.01 cores=0,2,4,6
/proc/20814/stat : 20814 (java) S 20812 20814 20814 0 -1 4202496 23242 0 1 0 298 3 0 0 19 0 19 0 869497537 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20814/statm: 2134837 20730 2253 9 0 2125578 0
[pid=20814/tid=20815] ppid=20812 vsize=8539348 CPUtime=2.15 cores=0,2,4,6
/proc/20814/task/20815/stat : 20815 (java) R 20812 20814 20814 0 -1 4202560 11259 0 1 0 214 1 0 0 21 0 19 0 869497537 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 46912505806082 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=8539348 CPUtime=0.01 cores=0,2,4,6
/proc/20814/task/20816/stat : 20816 (java) S 20812 20814 20814 0 -1 4202560 658 0 0 0 1 0 0 0 15 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20817/stat : 20817 (java) S 20812 20814 20814 0 -1 4202560 736 0 0 0 0 0 0 0 16 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20818] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20818/stat : 20818 (java) S 20812 20814 20814 0 -1 4202560 390 0 0 0 0 0 0 0 15 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20819] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20819/stat : 20819 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20820] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20820/stat : 20820 (java) S 20812 20814 20814 0 -1 4202560 610 0 0 0 0 0 0 0 16 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20821] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20821/stat : 20821 (java) S 20812 20814 20814 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20822] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20822/stat : 20822 (java) S 20812 20814 20814 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 0 0 0 0
[pid=20814/tid=20823] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20823/stat : 20823 (java) S 20812 20814 20814 0 -1 4202560 501 0 0 0 0 0 0 0 16 0 19 0 869497538 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 0 0 0 0
[pid=20814/tid=20824] ppid=20812 vsize=8539348 CPUtime=0.02 cores=0,2,4,6
/proc/20814/task/20824/stat : 20824 (java) S 20812 20814 20814 0 -1 4202560 2100 0 0 0 2 0 0 0 16 0 19 0 869497539 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 0 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20825] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20825/stat : 20825 (java) S 20812 20814 20814 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869497539 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 4 0 0 0
[pid=20814/tid=20826] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20826/stat : 20826 (java) S 20812 20814 20814 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869497539 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20827] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20827/stat : 20827 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869497541 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092055985 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20828] ppid=20812 vsize=8539348 CPUtime=0.35 cores=0,2,4,6
/proc/20814/task/20828/stat : 20828 (java) S 20812 20814 20814 0 -1 4202560 2341 0 0 0 35 0 0 0 15 0 19 0 869497541 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 0 0 0 0
[pid=20814/tid=20829] ppid=20812 vsize=8539348 CPUtime=0.41 cores=0,2,4,6
/proc/20814/task/20829/stat : 20829 (java) S 20812 20814 20814 0 -1 4202560 2710 0 0 0 41 0 0 0 15 0 19 0 869497541 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20830] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20830/stat : 20830 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869497541 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20831] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20831/stat : 20831 (java) S 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869497541 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20832] ppid=20812 vsize=8539348 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20832/stat : 20832 (java) S 20812 20814 20814 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869497575 8744292352 20730 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 4 0 16800975 18446604446485127296 0 0 -1 0 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=294992 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (python) S 20804 20806 17436 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 2 0 869497537 302071808 7586 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9119088
[startup+6.3013 s]
/proc/loadavg: 2.52 2.16 1.95 3/910 20832
/proc/meminfo: memFree=1269896/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=294992 CPUtime=0.62 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 10292 930 1 0 50 12 0 0 18 0 2 0 869497449 302071808 7586 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20806/statm: 73748 7586 1870 364 0 8635 0
[pid=20812] ppid=20806 vsize=284748 CPUtime=0.02 cores=0,2,4,6
/proc/20812/stat : 20812 (python) S 20806 20806 17436 0 -1 4202560 908 0 0 0 1 1 0 0 15 0 1 0 869497536 291581952 6088 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080252431 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/20812/statm: 71187 6088 376 364 0 6074 0
[pid=20814] ppid=20812 vsize=8538668 CPUtime=6.3 cores=0,2,4,6
/proc/20814/stat : 20814 (java) S 20812 20814 20814 0 -1 4202496 27191 0 1 0 626 4 0 0 19 0 19 0 869497537 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20814/statm: 2134667 24554 2254 9 0 2125408 0
[pid=20814/tid=20815] ppid=20812 vsize=8538668 CPUtime=5.29 cores=0,2,4,6
/proc/20814/task/20815/stat : 20815 (java) R 20812 20814 20814 0 -1 4202560 11264 0 1 0 527 2 0 0 25 0 19 0 869497537 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 46912505854209 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=8538668 CPUtime=0.01 cores=0,2,4,6
/proc/20814/task/20816/stat : 20816 (java) S 20812 20814 20814 0 -1 4202560 1169 0 0 0 1 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20817/stat : 20817 (java) S 20812 20814 20814 0 -1 4202560 1395 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20818] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20818/stat : 20818 (java) S 20812 20814 20814 0 -1 4202560 678 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20819] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20819/stat : 20819 (java) S 20812 20814 20814 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20820] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20820/stat : 20820 (java) S 20812 20814 20814 0 -1 4202560 610 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20821] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20821/stat : 20821 (java) S 20812 20814 20814 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20822] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20822/stat : 20822 (java) S 20812 20814 20814 0 -1 4202560 342 0 0 0 0 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
[pid=20814/tid=20823] ppid=20812 vsize=8538668 CPUtime=0.01 cores=0,2,4,6
/proc/20814/task/20823/stat : 20823 (java) S 20812 20814 20814 0 -1 4202560 843 0 0 0 1 0 0 0 15 0 19 0 869497538 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446604446485127296 0 0 -1 2 0 0 0
[pid=20814/tid=20824] ppid=20812 vsize=8538668 CPUtime=0.06 cores=0,2,4,6
/proc/20814/task/20824/stat : 20824 (java) S 20812 20814 20814 0 -1 4202560 3768 0 0 0 6 0 0 0 15 0 19 0 869497539 8743596032 24554 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 0 0 16800975 18446604446485127296 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=20840/tid=20845] ppid=20806 vsize=305500 CPUtime=0 cores=0,2,4,6
/proc/20840/task/20845/stat : 20845 (python) S 20806 20806 17436 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869512236 312832000 6195 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444845341760 0 0 -1 6 0 0 0
[pid=20846] ppid=20806 vsize=315756 CPUtime=0.07 cores=0,2,4,6
/proc/20846/stat : 20846 (python) S 20806 20806 17436 0 -1 4202560 957 0 0 0 3 4 0 0 15 0 1 0 869512239 323334144 6174 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080252486 0 0 16781312 33554946 2953395228431613952 0 0 17 6 0 0 0
/proc/20846/statm: 78939 6174 373 364 0 13817 0
[pid=20848] ppid=20846 vsize=111004 CPUtime=14.39 cores=0,2,4,6
/proc/20848/stat : 20848 (scip-2.0.1.linu) R 20846 20848 20848 0 -1 4202496 28860 0 0 0 1431 8 0 0 25 0 1 0 869512240 113668096 24374 33554432000 4194304 15243407 140734671666928 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20848/statm: 27751 24374 868 2698 0 25046 0
[pid=20806/tid=20813] ppid=20804 vsize=326000 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (python) S 20804 20806 17436 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 5 0 869497537 333824000 7682 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
[pid=20806/tid=20836] ppid=20804 vsize=326000 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20836/stat : 20836 (python) S 20804 20806 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 5 0 869502296 333824000 7682 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
[pid=20806/tid=20841] ppid=20804 vsize=326000 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20841/stat : 20841 (python) S 20804 20806 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 869507303 333824000 7682 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 0 0 0 0
[pid=20806/tid=20847] ppid=20804 vsize=326000 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20847/stat : 20847 (python) S 20804 20806 17436 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 5 0 869512240 333824000 7682 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 163.86
Current children cumulated vsize (KiB) 10483988
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+199.002 s]
/proc/loadavg: 2.05 2.14 1.98 4/944 20871
/proc/meminfo: memFree=766416/32950928 swapFree=38525204/67111528
[pid=20806] ppid=20804 vsize=336256 CPUtime=0.73 cores=0,2,4,6
/proc/20806/stat : 20806 (python) S 20804 20806 17436 0 -1 4202496 13814 930 1 0 60 13 0 0 20 0 6 0 869497449 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20806/statm: 84064 7691 1879 364 0 18939 0
[pid=20812] ppid=20806 vsize=294992 CPUtime=0.25 cores=0,2,4,6
/proc/20812/stat : 20812 (python) S 20806 20806 17436 0 -1 4202560 1151 0 0 0 12 13 0 0 16 0 2 0 869497536 302071808 6129 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20812/statm: 73748 6129 412 364 0 8635 0
[pid=20814] ppid=20812 vsize=8538668 CPUtime=48.59 cores=0,2,4,6
/proc/20814/stat : 20814 (java) T 20812 20814 20814 0 -1 4202496 30704 0 1 0 4854 5 0 0 18 0 19 0 869497537 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20814/statm: 2134667 28031 2254 9 0 2125408 0
[pid=20814/tid=20815] ppid=20812 vsize=8538668 CPUtime=46.64 cores=0,2,4,6
/proc/20814/task/20815/stat : 20815 (java) T 20812 20814 20814 0 -1 4202560 11296 0 1 0 4662 2 0 0 25 0 19 0 869497537 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 46912505807512 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20816] ppid=20812 vsize=8538668 CPUtime=0.08 cores=0,2,4,6
/proc/20814/task/20816/stat : 20816 (java) T 20812 20814 20814 0 -1 4202560 1333 0 0 0 8 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20814/tid=20817] ppid=20812 vsize=8538668 CPUtime=0.04 cores=0,2,4,6
/proc/20814/task/20817/stat : 20817 (java) T 20812 20814 20814 0 -1 4202560 1397 0 0 0 4 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20814/tid=20818] ppid=20812 vsize=8538668 CPUtime=0.06 cores=0,2,4,6
/proc/20814/task/20818/stat : 20818 (java) T 20812 20814 20814 0 -1 4202560 874 0 0 0 6 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20814/tid=20819] ppid=20812 vsize=8538668 CPUtime=0.04 cores=0,2,4,6
/proc/20814/task/20819/stat : 20819 (java) T 20812 20814 20814 0 -1 4202560 205 0 0 0 4 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20814/tid=20820] ppid=20812 vsize=8538668 CPUtime=0.05 cores=0,2,4,6
/proc/20814/task/20820/stat : 20820 (java) T 20812 20814 20814 0 -1 4202560 687 0 0 0 5 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20814/tid=20821] ppid=20812 vsize=8538668 CPUtime=0.03 cores=0,2,4,6
/proc/20814/task/20821/stat : 20821 (java) T 20812 20814 20814 0 -1 4202560 485 0 0 0 3 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20814/tid=20822] ppid=20812 vsize=8538668 CPUtime=0.03 cores=0,2,4,6
/proc/20814/task/20822/stat : 20822 (java) T 20812 20814 20814 0 -1 4202560 466 0 0 0 3 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20814/tid=20823] ppid=20812 vsize=8538668 CPUtime=0.04 cores=0,2,4,6
/proc/20814/task/20823/stat : 20823 (java) T 20812 20814 20814 0 -1 4202560 847 0 0 0 4 0 0 0 15 0 19 0 869497538 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20814/tid=20824] ppid=20812 vsize=8538668 CPUtime=0.64 cores=0,2,4,6
/proc/20814/task/20824/stat : 20824 (java) T 20812 20814 20814 0 -1 4202560 6668 0 0 0 64 0 0 0 15 0 19 0 869497539 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20825] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20825/stat : 20825 (java) T 20812 20814 20814 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869497539 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20814/tid=20826] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20826/stat : 20826 (java) T 20812 20814 20814 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869497539 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20827] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20827/stat : 20827 (java) T 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869497541 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20828] ppid=20812 vsize=8538668 CPUtime=0.38 cores=0,2,4,6
/proc/20814/task/20828/stat : 20828 (java) T 20812 20814 20814 0 -1 4202560 2343 0 0 0 38 0 0 0 15 0 19 0 869497541 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20814/tid=20829] ppid=20812 vsize=8538668 CPUtime=0.46 cores=0,2,4,6
/proc/20814/task/20829/stat : 20829 (java) T 20812 20814 20814 0 -1 4202560 2721 0 0 0 46 0 0 0 15 0 19 0 869497541 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20830] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20830/stat : 20830 (java) T 20812 20814 20814 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869497541 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20814/tid=20831] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20831/stat : 20831 (java) T 20812 20814 20814 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869497541 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20814/tid=20832] ppid=20812 vsize=8538668 CPUtime=0 cores=0,2,4,6
/proc/20814/task/20832/stat : 20832 (java) T 20812 20814 20814 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869497575 8743596032 28031 33554432000 1073741824 1073778376 140735597415072 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20812/tid=20834] ppid=20806 vsize=294992 CPUtime=0 cores=0,2,4,6
/proc/20812/task/20834/stat : 20834 (python) S 20806 20806 17436 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869502293 302071808 6129 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604449364771776 0 0 -1 6 0 0 0
[pid=20835] ppid=20806 vsize=295244 CPUtime=0.25 cores=0,2,4,6
/proc/20835/stat : 20835 (python) S 20806 20806 17436 0 -1 4202560 1107 0 0 0 13 12 0 0 17 0 2 0 869502295 302329856 6174 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20835/statm: 73811 6174 397 364 0 8695 0
[pid=20837] ppid=20835 vsize=149876 CPUtime=50.03 cores=0,2,4,6
/proc/20837/stat : 20837 (scip-2.0.1.linu) T 20835 20837 20837 0 -1 4202496 38946 0 0 0 4969 34 0 0 25 0 1 0 869502296 153473024 34689 33554432000 4194304 13684479 140733282303088 18446744073709551615 7390870 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20837/statm: 37469 34689 829 2317 0 35147 0
[pid=20835/tid=20839] ppid=20806 vsize=295244 CPUtime=0 cores=0,2,4,6
/proc/20835/task/20839/stat : 20839 (python) S 20806 20806 17436 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869507300 302329856 6174 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441208661184 0 0 -1 6 0 0 0
[pid=20840] ppid=20806 vsize=305500 CPUtime=0.26 cores=0,2,4,6
/proc/20840/stat : 20840 (python) S 20806 20806 17436 0 -1 4202560 1116 0 0 0 13 13 0 0 16 0 2 0 869507303 312832000 6195 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20840/statm: 76375 6195 397 364 0 11256 0
[pid=20842] ppid=20840 vsize=146948 CPUtime=49.32 cores=0,2,4,6
/proc/20842/stat : 20842 (wbo1.4a) T 20840 20842 20842 0 -1 4202496 36809 0 0 0 4885 47 0 0 25 0 1 0 869507303 150474752 36283 33554432000 134512640 135751879 4292491808 18446744073709551615 134602695 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20842/statm: 36737 36283 146 303 0 36432 0
[pid=20840/tid=20845] ppid=20806 vsize=305500 CPUtime=0 cores=0,2,4,6
/proc/20840/task/20845/stat : 20845 (python) S 20806 20806 17436 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869512236 312832000 6195 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604444845341760 0 0 -1 6 0 0 0
[pid=20846] ppid=20806 vsize=315756 CPUtime=0.26 cores=0,2,4,6
/proc/20846/stat : 20846 (python) S 20806 20806 17436 0 -1 4202560 1141 0 0 0 12 14 0 0 16 0 2 0 869512239 323334144 6199 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20846/statm: 78939 6199 397 364 0 13817 0
[pid=20848] ppid=20846 vsize=122068 CPUtime=50.17 cores=0,2,4,6
/proc/20848/stat : 20848 (scip-2.0.1.linu) T 20846 20848 20848 0 -1 4202496 45449 0 0 0 4994 23 0 0 25 0 1 0 869512240 124997632 26728 33554432000 4194304 15243407 140734671666928 18446744073709551615 8113495 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/20848/statm: 30517 26728 931 2698 0 27812 0
[pid=20846/tid=20850] ppid=20806 vsize=315756 CPUtime=0 cores=0,2,4,6
/proc/20846/task/20850/stat : 20850 (python) S 20806 20806 17436 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869517258 323334144 6199 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604441061124864 0 0 -1 6 0 0 0
[pid=20851] ppid=20806 vsize=326012 CPUtime=0 cores=0,2,4,6
/proc/20851/stat : 20851 (python) S 20806 20806 17436 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 1 0 869517261 333836288 6157 33554432000 4194304 5683644 140734191302384 18446744073709551615 208080252486 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/20851/statm: 81503 6157 349 364 0 16378 0
[pid=20853] ppid=20851 vsize=8539300 CPUtime=1.64 cores=0,2,4,6
/proc/20853/stat : 20853 (java) S 20851 20853 20853 0 -1 4202496 18701 0 1 0 160 4 0 0 20 0 19 0 869517261 8744243200 16326 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20853/statm: 2134825 16326 2224 9 0 2125566 0
[pid=20853/tid=20854] ppid=20851 vsize=8539300 CPUtime=0.9 cores=0,2,4,6
/proc/20853/task/20854/stat : 20854 (java) R 20851 20853 20853 0 -1 4202560 11957 0 1 0 88 2 0 0 19 0 19 0 869517262 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 46912505803760 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20853/tid=20855] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20855/stat : 20855 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20856] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20856/stat : 20856 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20857] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20857/stat : 20857 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20858] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20858/stat : 20858 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20859] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20859/stat : 20859 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20860] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20860/stat : 20860 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20861] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20861/stat : 20861 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20862] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20862/stat : 20862 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517263 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20863] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20863/stat : 20863 (java) S 20851 20853 20853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869517264 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048896 0 0 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20864] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20864/stat : 20864 (java) S 20851 20853 20853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869517264 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20865] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20865/stat : 20865 (java) S 20851 20853 20853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869517264 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20866] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20866/stat : 20866 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517266 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092055985 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20867] ppid=20851 vsize=8539300 CPUtime=0.4 cores=0,2,4,6
/proc/20853/task/20867/stat : 20867 (java) R 20851 20853 20853 0 -1 4202560 2169 0 0 0 40 0 0 0 15 0 19 0 869517266 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 47997908544069 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20853/tid=20868] ppid=20851 vsize=8539300 CPUtime=0.32 cores=0,2,4,6
/proc/20853/task/20868/stat : 20868 (java) R 20851 20853 20853 0 -1 4202560 3185 0 0 0 31 1 0 0 24 0 19 0 869517266 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 47997905453976 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20853/tid=20869] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20869/stat : 20869 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869517266 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048281 0 4 0 16800975 18446604466764904384 0 0 -1 2 0 0 0
[pid=20853/tid=20870] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20870/stat : 20870 (java) S 20851 20853 20853 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869517266 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048896 0 4 0 16800975 18446604466764904384 0 0 -1 4 0 0 0
[pid=20853/tid=20871] ppid=20851 vsize=8539300 CPUtime=0 cores=0,2,4,6
/proc/20853/task/20871/stat : 20871 (java) S 20851 20853 20853 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869517299 8744243200 16335 33554432000 1073741824 1073778376 140735427568480 18446744073709551615 208092048896 0 4 0 16800975 18446604466764904384 0 0 -1 4 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=336256 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (python) S 20804 20806 17436 0 -1 4202560 27 930 0 0 0 0 0 0 18 0 6 0 869497537 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
[pid=20806/tid=20836] ppid=20804 vsize=336256 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20836/stat : 20836 (python) S 20804 20806 17436 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869502296 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 6 0 0 0
[pid=20806/tid=20841] ppid=20804 vsize=336256 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20841/stat : 20841 (python) S 20804 20806 17436 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869507303 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 0 0 0 0
[pid=20806/tid=20847] ppid=20804 vsize=336256 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20847/stat : 20847 (python) S 20804 20806 17436 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869512240 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 0 0 0 0
[pid=20806/tid=20852] ppid=20804 vsize=336256 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20852/stat : 20852 (python) S 20804 20806 17436 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869517261 344326144 7691 33554432000 4194304 5683644 140734191302384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441061123968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.5
Current children cumulated vsize (KiB) 19370620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20806 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=602908
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=141978
# CPU time returned by wait4() is 0.744886
# while last known CPU time is 201.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 199.089
CPU time (s): 201.5
CPU user time (s): 199.72
CPU system time (s): 1.78
CPU usage (%): 101.211
Max. virtual memory (cumulated for all children) (KiB): 19370620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.602908
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14746
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= 2867
involuntary context switches= 21
runsolver used 1.44178 second user time and 2.89056 second system time
The end