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-3481547-1307578115/watcher-3481547-1307578115 -o /tmp/evaluation-result-3481547-1307578115/solver-3481547-1307578115 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481547-1307578115.opb -seed 531559170 -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.00 2.04 1.69 2/599 17967
/proc/meminfo: memFree=16796968/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=15784 CPUtime=0 cores=0,2,4,6
/proc/17967/stat : 17967 (python) R 17965 17967 16077 0 -1 4202496 931 0 0 0 0 0 0 0 21 0 1 0 948042211 16162816 810 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020395776 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17967/statm: 3946 812 356 364 0 433 0
[startup+0.0581861 s]
/proc/loadavg: 2.00 2.04 1.69 2/599 17967
/proc/meminfo: memFree=16796968/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=29792 CPUtime=0.02 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 1415 0 0 0 2 0 0 0 21 0 1 0 948042211 30507008 1258 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17967/statm: 7448 1258 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.100745 s]
/proc/loadavg: 2.00 2.04 1.69 2/599 17967
/proc/meminfo: memFree=16796968/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 2665 0 0 0 4 1 0 0 18 0 1 0 948042211 87678976 2382 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17967/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.300716 s]
/proc/loadavg: 2.00 2.04 1.69 2/599 17967
/proc/meminfo: memFree=16796968/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 5357 930 1 0 12 5 0 0 17 0 1 0 948042211 126713856 3744 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020391941 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17967/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700645 s]
/proc/loadavg: 2.00 2.04 1.69 2/599 17967
/proc/meminfo: memFree=16796968/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=282404 CPUtime=0.42 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 9201 930 1 0 31 11 0 0 16 0 1 0 948042211 289181696 6937 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416015 0 0 16781312 2 2319118310743998464 0 0 17 6 0 0 0
/proc/17967/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404
[startup+1.50053 s]
/proc/loadavg: 2.00 2.04 1.69 3/601 17973
/proc/meminfo: memFree=16771524/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=296312 CPUtime=1.23 cores=0,2,4,6
/proc/17967/stat : 17967 (python) R 17965 17967 16077 0 -1 4202496 14666 1587 1 0 55 12 48 8 18 0 1 0 948042211 303423488 10383 33554432000 4194304 5683644 140736648639584 18446744073709551615 4539731 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17967/statm: 74078 10383 1782 364 0 8971 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 296312
[startup+3.10022 s]
/proc/loadavg: 2.00 2.04 1.69 3/600 17973
/proc/meminfo: memFree=16748096/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=315448 CPUtime=2.68 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 22343 1587 1 0 198 14 48 8 22 0 2 0 948042211 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17967/statm: 78862 12701 1871 364 0 13749 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 315448
[startup+6.30066 s]
/proc/loadavg: 2.00 2.04 1.69 3/603 17977
/proc/meminfo: memFree=16566448/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=315448 CPUtime=2.68 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 22343 1587 1 0 198 14 48 8 22 0 2 0 948042211 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17967/statm: 78862 12701 1871 364 0 13749 0
[pid=17974] ppid=17967 vsize=305204 CPUtime=0 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 948042506 312528896 11144 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416015 0 0 16781312 33554946 1821359505540120576 0 0 17 4 0 0 0
/proc/17974/statm: 76301 11144 318 364 0 11188 0
[pid=17976] ppid=17974 vsize=203736 CPUtime=3.34 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) R 17974 17976 17976 0 -1 4202496 51569 0 0 0 319 15 0 0 20 0 1 0 948042507 208625664 46604 33554432000 4194304 13684479 140733993777792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17976/statm: 50934 46604 812 2317 0 48612 0
[pid=17967/tid=17975] ppid=17965 vsize=315448 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17975/stat : 17975 (python) S 17965 17967 16077 0 -1 4202560 27 1587 0 0 0 0 48 8 22 0 2 0 948042507 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 824388
[startup+12.7005 s]
/proc/loadavg: 2.00 2.04 1.70 3/603 17977
/proc/meminfo: memFree=16557280/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=315448 CPUtime=2.68 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 22343 1587 1 0 198 14 48 8 22 0 2 0 948042211 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17967/statm: 78862 12701 1871 364 0 13749 0
[pid=17974] ppid=17967 vsize=305204 CPUtime=0.03 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 875 0 0 0 1 2 0 0 15 0 1 0 948042506 312528896 11168 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416015 0 0 16781312 33554946 1537524208077111296 0 0 17 4 0 0 0
/proc/17974/statm: 76301 11168 342 364 0 11188 0
[pid=17976] ppid=17974 vsize=209556 CPUtime=9.73 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) R 17974 17976 17976 0 -1 4202496 53912 0 0 0 955 18 0 0 25 0 1 0 948042507 214585344 48912 33554432000 4194304 13684479 140733993777792 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17976/statm: 52389 48912 778 2317 0 50067 0
[pid=17967/tid=17975] ppid=17965 vsize=315448 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17975/stat : 17975 (python) S 17965 17967 16077 0 -1 4202560 27 1587 0 0 0 0 48 8 22 0 2 0 948042507 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 830208
[startup+25.5011 s]
/proc/loadavg: 2.08 2.05 1.71 3/603 17977
/proc/meminfo: memFree=16541528/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=315448 CPUtime=2.68 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 22343 1587 1 0 198 14 48 8 22 0 2 0 948042211 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17967/statm: 78862 12701 1871 364 0 13749 0
[pid=17974] ppid=17967 vsize=305204 CPUtime=0.08 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 888 0 0 0 3 5 0 0 15 0 1 0 948042506 312528896 11168 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416015 0 0 16781312 33554946 208212279273979904 0 0 17 4 0 0 0
/proc/17974/statm: 76301 11168 342 364 0 11188 0
[pid=17976] ppid=17974 vsize=222064 CPUtime=22.53 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) R 17974 17976 17976 0 -1 4202496 57108 0 0 0 2229 24 0 0 25 0 1 0 948042507 227393536 52035 33554432000 4194304 13684479 140733993777792 18446744073709551615 7416025 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17976/statm: 55516 52035 760 2317 0 53194 0
[pid=17967/tid=17975] ppid=17965 vsize=315448 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17975/stat : 17975 (python) S 17965 17967 16077 0 -1 4202560 27 1587 0 0 0 0 48 8 22 0 2 0 948042507 323018752 12701 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 842716
[startup+51.1014 s]
/proc/loadavg: 2.05 2.05 1.71 3/607 17982
/proc/meminfo: memFree=16494648/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=325704 CPUtime=2.7 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 23241 1587 1 0 200 14 48 8 20 0 3 0 948042211 333520896 12708 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17967/statm: 81426 12708 1874 364 0 16310 0
[pid=17974] ppid=17967 vsize=315448 CPUtime=0.18 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 1120 0 0 0 8 10 0 0 16 0 2 0 948042506 323018752 11236 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17974/statm: 78862 11236 405 364 0 13749 0
[pid=17976] ppid=17974 vsize=233728 CPUtime=46.84 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) T 17974 17976 17976 0 -1 4202496 59711 0 0 0 4647 37 0 0 25 0 1 0 948042507 239337472 54542 33554432000 4194304 13684479 140733993777792 18446744073709551615 4316672 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17976/statm: 58432 54542 758 2317 0 56110 0
[pid=17974/tid=17979] ppid=17967 vsize=315448 CPUtime=0 cores=0,2,4,6
/proc/17974/task/17979/stat : 17979 (python) S 17967 17967 16077 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948047195 323018752 11236 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604442279085120 0 0 -1 6 0 0 0
[pid=17980] ppid=17967 vsize=315460 CPUtime=0 cores=0,2,4,6
/proc/17980/stat : 17980 (python) S 17967 17967 16077 0 -1 4202560 750 0 0 0 0 0 0 0 17 0 1 0 948047197 323031040 11149 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416070 0 0 16781312 33554946 16495169109739143425 0 0 17 2 0 0 0
/proc/17980/statm: 78865 11149 319 364 0 13749 0
[pid=17982] ppid=17980 vsize=47184 CPUtime=1.23 cores=0,2,4,6
/proc/17982/stat : 17982 (wbo1.4a) R 17980 17982 17982 0 -1 4202496 20060 0 0 0 121 2 0 0 25 0 1 0 948047197 48316416 11079 33554432000 134512640 135751879 4290708336 18446744073709551615 134598037 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/17982/statm: 11796 11079 143 303 0 11491 0
[pid=17967/tid=17975] ppid=17965 vsize=325704 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17975/stat : 17975 (python) S 17965 17967 16077 0 -1 4202560 27 1587 0 0 0 0 48 8 22 0 3 0 948042507 333520896 12708 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
[pid=17967/tid=17981] ppid=17965 vsize=325704 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17981/stat : 17981 (python) S 17965 17967 16077 0 -1 4202560 33 1587 0 0 0 0 48 8 20 0 3 0 948047197 333520896 12708 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 1237524
[startup+102.315 s]
/proc/loadavg: 2.06 2.05 1.73 3/629 18005
/proc/meminfo: memFree=15388328/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=335960 CPUtime=2.73 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 24140 1587 1 0 202 15 48 8 20 0 4 0 948042211 344023040 12714 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17967/statm: 83990 12714 1876 364 0 18871 0
[pid=17974] ppid=17967 vsize=315448 CPUtime=0.18 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 1120 0 0 0 8 10 0 0 16 0 2 0 948042506 323018752 11236 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17974/statm: 78862 11236 405 364 0 13749 0
[pid=17976] ppid=17974 vsize=233728 CPUtime=46.84 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) T 17974 17976 17976 0 -1 4202496 59711 0 0 0 4647 37 0 0 25 0 1 0 948042507 239337472 54542 33554432000 4194304 13684479 140733993777792 18446744073709551615 4316672 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17976/statm: 58432 54542 758 2317 0 56110 0
[pid=17974/tid=17979] ppid=17967 vsize=315448 CPUtime=0 cores=0,2,4,6
/proc/17974/task/17979/stat : 17979 (python) S 17967 17967 16077 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948047195 323018752 11236 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604442279085120 0 0 -1 6 0 0 0
[pid=17980] ppid=17967 vsize=315460 CPUtime=0.15 cores=0,2,4,6
/proc/17980/stat : 17980 (python) S 17967 17967 16077 0 -1 4202560 1127 0 0 0 8 7 0 0 16 0 2 0 948047197 323031040 11221 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17980/statm: 78865 11221 390 364 0 13749 0
[pid=17982] ppid=17980 vsize=728756 CPUtime=47.33 cores=0,2,4,6
/proc/17982/stat : 17982 (wbo1.4a) T 17980 17982 17982 0 -1 4202496 469093 0 0 0 4671 62 0 0 25 0 1 0 948047197 746246144 181499 33554432000 134512640 135751879 4290708336 18446744073709551615 135204161 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17982/statm: 182189 181499 145 303 0 181884 0
[pid=17980/tid=17984] ppid=17967 vsize=315460 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (python) S 17967 17967 16077 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 948051932 323031040 11221 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604443857085760 0 0 -1 2 0 0 0
[pid=17985] ppid=17967 vsize=325716 CPUtime=0.01 cores=0,2,4,6
/proc/17985/stat : 17985 (python) S 17967 17967 16077 0 -1 4202560 915 0 0 0 1 0 0 0 15 0 1 0 948051935 333533184 11177 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416070 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17985/statm: 81429 11177 343 364 0 16310 0
[pid=17987] ppid=17985 vsize=8616200 CPUtime=7.16 cores=0,2,4,6
/proc/17987/stat : 17987 (java) S 17985 17987 17987 0 -1 4202496 100574 0 1 0 702 14 0 0 20 0 19 0 948051935 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17987/statm: 2154050 94560 2250 9 0 2144791 0
[pid=17987/tid=17988] ppid=17985 vsize=8616200 CPUtime=4.88 cores=0,2,4,6
/proc/17987/task/17988/stat : 17988 (java) R 17985 17987 17987 0 -1 4202560 62159 0 1 0 480 8 0 0 21 0 19 0 948051936 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 46912506107484 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=17987/tid=17989] ppid=17985 vsize=8616200 CPUtime=0.07 cores=0,2,4,6
/proc/17987/task/17989/stat : 17989 (java) S 17985 17987 17987 0 -1 4202560 5722 0 0 0 7 0 0 0 16 0 19 0 948051937 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 2 0 0 0
[pid=17987/tid=17990] ppid=17985 vsize=8616200 CPUtime=0.06 cores=0,2,4,6
/proc/17987/task/17990/stat : 17990 (java) S 17985 17987 17987 0 -1 4202560 4515 0 0 0 5 1 0 0 15 0 19 0 948051937 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 2 0 0 0
[pid=17987/tid=17991] ppid=17985 vsize=8616200 CPUtime=0.03 cores=0,2,4,6
/proc/17987/task/17991/stat : 17991 (java) S 17985 17987 17987 0 -1 4202560 2370 0 0 0 3 0 0 0 15 0 19 0 948051937 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=17987/tid=17992] ppid=17985 vsize=8616200 CPUtime=0.05 cores=0,2,4,6
/proc/17987/task/17992/stat : 17992 (java) S 17985 17987 17987 0 -1 4202560 4679 0 0 0 5 0 0 0 16 0 19 0 948051937 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 6 0 0 0
[pid=17987/tid=17993] ppid=17985 vsize=8616200 CPUtime=0.02 cores=0,2,4,6
/proc/17987/task/17993/stat : 17993 (java) S 17985 17987 17987 0 -1 4202560 1971 0 0 0 2 0 0 0 16 0 19 0 948051937 8822988800 94560 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446604448048866560 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=17967/tid=17981] ppid=17965 vsize=356472 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17981/stat : 17981 (python) S 17965 17967 16077 0 -1 4202560 33 1587 0 0 0 0 48 8 20 0 6 0 948047197 365027328 12726 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 2 0 0 0
[pid=17967/tid=17986] ppid=17965 vsize=356472 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17986/stat : 17986 (python) S 17965 17967 16077 0 -1 4202560 31 1587 0 0 0 0 48 8 20 0 6 0 948051935 365027328 12726 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
[pid=17967/tid=18009] ppid=17965 vsize=356472 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/18009/stat : 18009 (python) S 17965 17967 16077 0 -1 4202560 29 1587 0 0 0 0 48 8 20 0 6 0 948056547 365027328 12726 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 0 0 0 0
[pid=17967/tid=18119] ppid=17965 vsize=356472 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/18119/stat : 18119 (python) S 17965 17967 16077 0 -1 4202560 32 1587 0 0 0 0 48 8 20 0 6 0 948093395 365027328 12726 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.06
Current children cumulated vsize (KiB) 11944568
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+698.402 s]
/proc/loadavg: 2.11 2.05 1.86 7/677 18209
/proc/meminfo: memFree=12516328/32951124 swapFree=67056304/67111528
[pid=17967] ppid=17965 vsize=366728 CPUtime=2.83 cores=0,2,4,6
/proc/17967/stat : 17967 (python) S 17965 17967 16077 0 -1 4202496 26961 1587 1 0 211 16 48 8 20 0 7 0 948042211 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17967/statm: 91682 12732 1882 364 0 26554 0
[pid=17974] ppid=17967 vsize=315448 CPUtime=1.18 cores=0,2,4,6
/proc/17974/stat : 17974 (python) S 17967 17967 16077 0 -1 4202560 1192 0 0 0 61 57 0 0 15 0 2 0 948042506 323018752 11237 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17974/statm: 78862 11237 406 364 0 13749 0
[pid=17976] ppid=17974 vsize=276792 CPUtime=322.11 cores=0,2,4,6
/proc/17976/stat : 17976 (scip-2.0.1.linu) T 17974 17976 17976 0 -1 4202496 70242 0 0 0 32074 137 0 0 25 0 1 0 948042507 283435008 64685 33554432000 4194304 13684479 140733993777792 18446744073709551615 7361327 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17976/statm: 69198 64685 763 2317 0 66876 0
[pid=17974/tid=17979] ppid=17967 vsize=315448 CPUtime=0 cores=0,2,4,6
/proc/17974/task/17979/stat : 17979 (python) S 17967 17967 16077 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 948047195 323018752 11237 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604442279085120 0 0 -1 2 0 0 0
[pid=17980] ppid=17967 vsize=315460 CPUtime=0.15 cores=0,2,4,6
/proc/17980/stat : 17980 (python) S 17967 17967 16077 0 -1 4202560 1127 0 0 0 8 7 0 0 16 0 2 0 948047197 323031040 11221 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17980/statm: 78865 11221 390 364 0 13749 0
[pid=17982] ppid=17980 vsize=728756 CPUtime=47.33 cores=0,2,4,6
/proc/17982/stat : 17982 (wbo1.4a) T 17980 17982 17982 0 -1 4202496 469093 0 0 0 4671 62 0 0 25 0 1 0 948047197 746246144 181499 33554432000 134512640 135751879 4290708336 18446744073709551615 135204161 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17982/statm: 182189 181499 145 303 0 181884 0
[pid=17980/tid=17984] ppid=17967 vsize=315460 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (python) S 17967 17967 16077 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 948051932 323031040 11221 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604443857085760 0 0 -1 2 0 0 0
[pid=17985] ppid=17967 vsize=325716 CPUtime=0.14 cores=0,2,4,6
/proc/17985/stat : 17985 (python) S 17967 17967 16077 0 -1 4202560 1131 0 0 0 8 6 0 0 16 0 2 0 948051935 333533184 11225 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17985/statm: 81429 11225 390 364 0 16310 0
[pid=17987] ppid=17985 vsize=8616200 CPUtime=49.02 cores=0,2,4,6
/proc/17987/stat : 17987 (java) T 17985 17987 17987 0 -1 4202496 335847 0 1 0 4861 41 0 0 18 0 19 0 948051935 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17987/statm: 2154050 329139 2251 9 0 2144791 0
[pid=17987/tid=17988] ppid=17985 vsize=8616200 CPUtime=45.65 cores=0,2,4,6
/proc/17987/task/17988/stat : 17988 (java) T 17985 17987 17987 0 -1 4202560 232632 0 1 0 4540 25 0 0 25 0 19 0 948051936 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 46912506107574 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 4
[pid=17987/tid=17989] ppid=17985 vsize=8616200 CPUtime=0.19 cores=0,2,4,6
/proc/17987/task/17989/stat : 17989 (java) T 17985 17987 17987 0 -1 4202560 13595 0 0 0 17 2 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17987/tid=17990] ppid=17985 vsize=8616200 CPUtime=0.19 cores=0,2,4,6
/proc/17987/task/17990/stat : 17990 (java) T 17985 17987 17987 0 -1 4202560 13434 0 0 0 17 2 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17987/tid=17991] ppid=17985 vsize=8616200 CPUtime=0.16 cores=0,2,4,6
/proc/17987/task/17991/stat : 17991 (java) T 17985 17987 17987 0 -1 4202560 11053 0 0 0 15 1 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=17992] ppid=17985 vsize=8616200 CPUtime=0.15 cores=0,2,4,6
/proc/17987/task/17992/stat : 17992 (java) T 17985 17987 17987 0 -1 4202560 12812 0 0 0 13 2 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=17993] ppid=17985 vsize=8616200 CPUtime=0.12 cores=0,2,4,6
/proc/17987/task/17993/stat : 17993 (java) T 17985 17987 17987 0 -1 4202560 9127 0 0 0 11 1 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17987/tid=17994] ppid=17985 vsize=8616200 CPUtime=0.02 cores=0,2,4,6
/proc/17987/task/17994/stat : 17994 (java) T 17985 17987 17987 0 -1 4202560 1385 0 0 0 2 0 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17987/tid=17995] ppid=17985 vsize=8616200 CPUtime=0.13 cores=0,2,4,6
/proc/17987/task/17995/stat : 17995 (java) T 17985 17987 17987 0 -1 4202560 11029 0 0 0 12 1 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17987/tid=17996] ppid=17985 vsize=8616200 CPUtime=0.21 cores=0,2,4,6
/proc/17987/task/17996/stat : 17996 (java) T 17985 17987 17987 0 -1 4202560 15452 0 0 0 20 1 0 0 15 0 19 0 948051937 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17987/tid=17997] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/17997/stat : 17997 (java) T 17985 17987 17987 0 -1 4202560 999 0 0 0 0 0 0 0 15 0 19 0 948051938 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17987/tid=17998] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/17998/stat : 17998 (java) T 17985 17987 17987 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948051938 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=17999] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/17999/stat : 17999 (java) T 17985 17987 17987 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 948051938 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=18000] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/18000/stat : 18000 (java) T 17985 17987 17987 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948051940 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=18001] ppid=17985 vsize=8616200 CPUtime=0.91 cores=0,2,4,6
/proc/17987/task/18001/stat : 18001 (java) T 17985 17987 17987 0 -1 4202560 5628 0 0 0 91 0 0 0 15 0 19 0 948051940 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17987/tid=18002] ppid=17985 vsize=8616200 CPUtime=1.19 cores=0,2,4,6
/proc/17987/task/18002/stat : 18002 (java) T 17985 17987 17987 0 -1 4202560 7308 0 0 0 118 1 0 0 15 0 19 0 948051940 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17987/tid=18003] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/18003/stat : 18003 (java) T 17985 17987 17987 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948051940 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17987/tid=18004] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/18004/stat : 18004 (java) T 17985 17987 17987 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948051940 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17987/tid=18005] ppid=17985 vsize=8616200 CPUtime=0 cores=0,2,4,6
/proc/17987/task/18005/stat : 18005 (java) T 17985 17987 17987 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 948052038 8822988800 329139 33554432000 1073741824 1073778376 140735274655040 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17985/tid=18007] ppid=17967 vsize=325716 CPUtime=0 cores=0,2,4,6
/proc/17985/task/18007/stat : 18007 (python) S 17967 17967 16077 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948056544 333533184 11225 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453915010368 0 0 -1 6 0 0 0
[pid=18008] ppid=17967 vsize=335972 CPUtime=0.3 cores=0,2,4,6
/proc/18008/stat : 18008 (python) S 17967 17967 16077 0 -1 4202560 1185 0 0 0 15 15 0 0 16 0 2 0 948056546 344035328 11229 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18008/statm: 83993 11229 390 364 0 18871 0
[pid=18010] ppid=18008 vsize=56308 CPUtime=93.07 cores=0,2,4,6
/proc/18010/stat : 18010 (clasp-1.3.7-x86) T 18008 18010 18010 0 -1 4202496 14810 0 0 0 9304 3 0 0 25 0 1 0 948056547 57659392 13786 33554432000 134512640 136139019 4287966576 18446744073709551615 134640605 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/18010/statm: 14077 13786 187 398 0 13677 0
[pid=18008/tid=18017] ppid=17967 vsize=335972 CPUtime=0 cores=0,2,4,6
/proc/18008/task/18017/stat : 18017 (python) S 17967 17967 16077 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 948065863 344035328 11229 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604444696867264 0 0 -1 0 0 0 0
[pid=18118] ppid=17967 vsize=346228 CPUtime=0.71 cores=0,2,4,6
/proc/18118/stat : 18118 (python) S 17967 17967 16077 0 -1 4202560 1285 0 0 0 38 33 0 0 17 0 2 0 948093394 354537472 11240 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/18118/statm: 86557 11240 397 364 0 21432 0
[pid=18120] ppid=18118 vsize=271216 CPUtime=186.26 cores=0,2,4,6
/proc/18120/stat : 18120 (scip-2.0.1.linu) T 18118 18120 18120 0 -1 4202496 103220 0 0 0 18568 58 0 0 25 0 1 0 948093395 277725184 62681 33554432000 4194304 15243407 140736956994992 18446744073709551615 8112843 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/18120/statm: 67804 62681 865 2698 0 65099 0
[pid=18118/tid=18189] ppid=17967 vsize=346228 CPUtime=0 cores=0,2,4,6
/proc/18118/task/18189/stat : 18189 (python) S 17967 17967 16077 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948112023 354537472 11240 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453175371712 0 0 -1 4 0 0 0
[pid=18190] ppid=17967 vsize=356484 CPUtime=0 cores=0,2,4,6
/proc/18190/stat : 18190 (python) S 17967 17967 16077 0 -1 4202560 827 0 0 0 0 0 0 0 19 0 1 0 948112025 365039616 11165 33554432000 4194304 5683644 140736648639584 18446744073709551615 260020416070 0 0 16781312 33554946 345108353174732800 0 0 17 4 0 0 0
/proc/18190/statm: 89121 11165 319 364 0 23993 0
[pid=18192] ppid=18190 vsize=8533756 CPUtime=0.44 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18190 18192 18192 0 -1 4202496 7899 0 1 0 43 1 0 0 20 0 18 0 948112025 8738566144 7138 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18192/statm: 2133439 7138 2201 9 0 2124180 0
[pid=18192/tid=18193] ppid=18190 vsize=8533888 CPUtime=0.27 cores=0,2,4,6
/proc/18192/task/18193/stat : 18193 (java) R 18190 18192 18192 0 -1 4202560 4906 0 1 0 27 0 0 0 18 0 18 0 948112026 8738701312 7180 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18192/tid=18194] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948112027 8738701312 7181 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18195] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948112027 8738701312 7181 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18196] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948112027 8738701312 7181 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18197] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112027 8738701312 7181 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 6 0 0 0
[pid=18192/tid=18198] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112027 8738701312 7182 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 6 0 0 0
[pid=18192/tid=18199] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112027 8738701312 7182 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 6 0 0 0
[pid=18192/tid=18200] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112027 8738701312 7182 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 6 0 0 0
[pid=18192/tid=18201] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112027 8738701312 7182 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 6 0 0 0
[pid=18192/tid=18202] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18190 18192 18192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948112028 8738701312 7182 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032212480 0 0 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18203] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18190 18192 18192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948112028 8738701312 7183 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18204] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18190 18192 18192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948112028 8738701312 7183 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18205] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112030 8738701312 7183 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032219569 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18206] ppid=18190 vsize=8533888 CPUtime=0.06 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) R 18190 18192 18192 0 -1 4202560 721 0 0 0 6 0 0 0 17 0 18 0 948112030 8738701312 7183 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18192/tid=18207] ppid=18190 vsize=8533888 CPUtime=0.09 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) R 18190 18192 18192 0 -1 4202560 922 0 0 0 9 0 0 0 16 0 18 0 948112030 8738701312 7184 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 47918645347680 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18192/tid=18208] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18208/stat : 18208 (java) S 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948112030 8738701312 7184 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032211865 0 4 0 16800975 18446604451951536192 0 0 -1 2 0 0 0
[pid=18192/tid=18209] ppid=18190 vsize=8533888 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18209/stat : 18209 (java) R 18190 18192 18192 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948112030 8738701312 7184 33554432000 1073741824 1073778376 140733889386144 18446744073709551615 260032212480 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17967/tid=17975] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17975/stat : 17975 (python) S 17965 17967 16077 0 -1 4202560 33 1587 0 0 0 0 48 8 18 0 7 0 948042507 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
[pid=17967/tid=17981] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17981/stat : 17981 (python) S 17965 17967 16077 0 -1 4202560 33 1587 0 0 0 0 48 8 20 0 7 0 948047197 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 2 0 0 0
[pid=17967/tid=17986] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/17986/stat : 17986 (python) S 17965 17967 16077 0 -1 4202560 31 1587 0 0 0 0 48 8 20 0 7 0 948051935 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 4 0 0 0
[pid=17967/tid=18009] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/18009/stat : 18009 (python) S 17965 17967 16077 0 -1 4202560 29 1587 0 0 0 0 48 8 20 0 7 0 948056547 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 0 0 0 0
[pid=17967/tid=18119] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/18119/stat : 18119 (python) S 17965 17967 16077 0 -1 4202560 32 1587 0 0 0 0 48 8 20 0 7 0 948093395 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 0 0 0 0
[pid=17967/tid=18191] ppid=17965 vsize=366728 CPUtime=0.56 cores=0,2,4,6
/proc/17967/task/18191/stat : 18191 (python) S 17965 17967 16077 0 -1 4202560 28 1587 0 0 0 0 48 8 20 0 7 0 948112025 375529472 12732 33554432000 4194304 5683644 140736648639584 18446744073709551615 260032219569 0 0 16781312 33554434 18446604445737359296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 703.54
Current children cumulated vsize (KiB) 20845064
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 17967 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=601604
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=244962
# CPU time returned by wait4() is 2.84657
# while last known CPU time is 703.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 698.497
CPU time (s): 703.54
CPU user time (s): 699.1
CPU system time (s): 4.44
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 20845064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6016
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28552
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= 32076
involuntary context switches= 32
runsolver used 4.91025 second user time and 9.2156 second system time
The end