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-3481782-1307576677/watcher-3481782-1307576677 -o /tmp/evaluation-result-3481782-1307576677/solver-3481782-1307576677 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481782-1307576677.opb -seed 754371084 -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.18 1.19 0.48 2/372 16599
/proc/meminfo: memFree=27404796/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/16599/stat : 16599 (python) R 16597 16599 16077 0 -1 4202496 986 0 0 0 0 0 0 0 25 0 1 0 947898303 16625664 859 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020056773 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16599/statm: 4059 859 363 364 0 546 0
[startup+0.073684 s]
/proc/loadavg: 2.18 1.19 0.48 2/372 16599
/proc/meminfo: memFree=27404796/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=84564 CPUtime=0.05 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 2397 0 0 0 4 1 0 0 18 0 1 0 947898303 86593536 2126 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16599/statm: 21141 2126 707 364 0 1358 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84564
[startup+0.107306 s]
/proc/loadavg: 2.18 1.19 0.48 2/372 16599
/proc/meminfo: memFree=27404796/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=96124 CPUtime=0.09 cores=0,2,4,6
/proc/16599/stat : 16599 (python) R 16597 16599 16077 0 -1 4202496 3168 930 1 0 7 2 0 0 18 0 1 0 947898303 98430976 2483 33554432000 4194304 5683644 140735580826992 18446744073709551615 5168605 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16599/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96124
[startup+0.301371 s]
/proc/loadavg: 2.18 1.19 0.48 2/372 16599
/proc/meminfo: memFree=27404796/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=203276 CPUtime=0.24 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 6724 930 1 0 17 7 0 0 17 0 1 0 947898303 208154624 5003 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16599/statm: 50819 5003 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 203276
[startup+0.701178 s]
/proc/loadavg: 2.18 1.19 0.48 2/372 16599
/proc/meminfo: memFree=27404796/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=285748 CPUtime=0.63 cores=0,2,4,6
/proc/16599/stat : 16599 (python) R 16597 16599 16077 0 -1 4202496 10301 930 1 0 52 11 0 0 17 0 1 0 947898303 292605952 7784 33554432000 4194304 5683644 140735580826992 18446744073709551615 47011239632924 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/16599/statm: 71437 7784 1816 364 0 6330 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 285748
[startup+1.50102 s]
/proc/loadavg: 2.16 1.20 0.49 5/393 16624
/proc/meminfo: memFree=27357572/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=296288 CPUtime=0.69 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 10646 930 1 0 58 11 0 0 20 0 2 0 947898303 303398912 7902 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16599/statm: 74072 7902 1862 364 0 8959 0
[pid=16605] ppid=16599 vsize=286044 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (python) S 16599 16599 16077 0 -1 4202560 853 0 0 0 0 0 0 0 15 0 1 0 947898379 292909056 6394 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020416015 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/16605/statm: 71511 6394 358 364 0 6398 0
[pid=16607] ppid=16605 vsize=8541804 CPUtime=1.67 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16607 16607 0 -1 4202496 20506 0 1 0 163 4 0 0 21 0 19 0 947898379 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16607/statm: 2135451 17454 2229 9 0 2126192 0
[pid=16607/tid=16608] ppid=16605 vsize=8541804 CPUtime=0.71 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16607 16607 0 -1 4202560 12584 0 1 0 69 2 0 0 19 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16607/tid=16609] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16610] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16611] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16612] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16613] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16614] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16615] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17454 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16616] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898380 8746807296 17455 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16617] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16607 16607 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 947898381 8746807296 17455 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 0 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16618] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16607 16607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947898381 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16619] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16607 16607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947898381 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16620] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898383 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032219569 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16621] ppid=16605 vsize=8541804 CPUtime=0.42 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) R 16605 16607 16607 0 -1 4202560 2902 0 0 0 42 0 0 0 16 0 19 0 947898383 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 47504022053400 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16607/tid=16622] ppid=16605 vsize=8541804 CPUtime=0.51 cores=0,2,4,6
/proc/16607/task/16622/stat : 16622 (java) R 16605 16607 16607 0 -1 4202560 3633 0 0 0 51 0 0 0 17 0 19 0 947898384 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 47504021648792 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16607/tid=16623] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16623/stat : 16623 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898384 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16624] ppid=16605 vsize=8541804 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16624/stat : 16624 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947898384 8746807296 17456 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16599/tid=16606] ppid=16597 vsize=296288 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16606/stat : 16606 (python) S 16597 16599 16077 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 947898379 303398912 7902 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9124136
[startup+3.10069 s]
/proc/loadavg: 2.16 1.20 0.49 3/394 16625
/proc/meminfo: memFree=27314164/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=296288 CPUtime=0.69 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 10646 930 1 0 58 11 0 0 20 0 2 0 947898303 303398912 7902 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16599/statm: 74072 7902 1862 364 0 8959 0
[pid=16605] ppid=16599 vsize=286044 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (python) S 16599 16599 16077 0 -1 4202560 853 0 0 0 0 0 0 0 15 0 1 0 947898379 292909056 6394 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020416015 0 0 16781312 33554946 2215398681656426496 0 0 17 4 0 0 0
/proc/16605/statm: 71511 6394 358 364 0 6398 0
[pid=16607] ppid=16605 vsize=8538928 CPUtime=3.41 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16607 16607 0 -1 4202496 23239 0 1 0 336 5 0 0 21 0 19 0 947898379 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16607/statm: 2134732 19628 2257 9 0 2125473 0
[pid=16607/tid=16608] ppid=16605 vsize=8538928 CPUtime=2.3 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16607 16607 0 -1 4202560 13564 0 1 0 227 3 0 0 22 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 46912505838820 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16607/tid=16609] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16607 16607 0 -1 4202560 270 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16610] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16611] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16612] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16613] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16614] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16607 16607 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16615] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16607 16607 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 0 0 0 0
[pid=16607/tid=16616] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16607 16607 0 -1 4202560 174 0 0 0 0 0 0 0 18 0 19 0 947898380 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16617] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16607 16607 0 -1 4202560 859 0 0 0 1 0 0 0 15 0 19 0 947898381 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 0 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16618] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16607 16607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947898381 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16619] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16607 16607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947898381 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16620] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898383 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032219569 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16621] ppid=16605 vsize=8538928 CPUtime=0.46 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16607 16607 0 -1 4202560 2913 0 0 0 46 0 0 0 15 0 19 0 947898383 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 2 0 0 0
[pid=16607/tid=16622] ppid=16605 vsize=8538928 CPUtime=0.6 cores=0,2,4,6
/proc/16607/task/16622/stat : 16622 (java) S 16605 16607 16607 0 -1 4202560 3655 0 0 0 60 0 0 0 15 0 19 0 947898384 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 0 0 0 0
[pid=16607/tid=16623] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16623/stat : 16623 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947898384 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
[pid=16607/tid=16624] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16624/stat : 16624 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947898384 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 4 0 16800975 18446604443857086656 0 0 -1 0 0 0 0
[pid=16607/tid=16625] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16625/stat : 16625 (java) S 16605 16607 16607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947898425 8743862272 19628 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 4 0 16800975 18446604443857086656 0 0 -1 0 0 0 0
[pid=16599/tid=16606] ppid=16597 vsize=296288 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16606/stat : 16606 (python) S 16597 16599 16077 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 947898379 303398912 7902 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9121260
[startup+6.30112 s]
/proc/loadavg: 2.15 1.21 0.49 3/394 16625
/proc/meminfo: memFree=27298112/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=296288 CPUtime=0.69 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 10646 930 1 0 58 11 0 0 20 0 2 0 947898303 303398912 7902 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/16599/statm: 74072 7902 1862 364 0 8959 0
[pid=16605] ppid=16599 vsize=286044 CPUtime=0.01 cores=0,2,4,6
/proc/16605/stat : 16605 (python) S 16599 16599 16077 0 -1 4202560 977 0 0 0 1 0 0 0 15 0 1 0 947898379 292909056 6417 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020416015 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/16605/statm: 71511 6417 381 364 0 6398 0
[pid=16607] ppid=16605 vsize=8538928 CPUtime=6.68 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16607 16607 0 -1 4202496 25598 0 1 0 663 5 0 0 21 0 19 0 947898379 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16607/statm: 2134732 21679 2257 9 0 2125473 0
[pid=16607/tid=16608] ppid=16605 vsize=8538928 CPUtime=5.45 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16607 16607 0 -1 4202560 13568 0 1 0 542 3 0 0 21 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 46912505801244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16607/tid=16609] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16607 16607 0 -1 4202560 270 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 0 0 0 0
[pid=16607/tid=16610] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16607 16607 0 -1 4202560 577 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 2 0 0 0
[pid=16607/tid=16611] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16607 16607 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16612] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16607 16607 0 -1 4202560 634 0 0 0 1 0 0 0 16 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 2 0 0 0
[pid=16607/tid=16613] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 2 0 0 0
[pid=16607/tid=16614] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16607 16607 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16615] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16607 16607 0 -1 4202560 526 0 0 0 0 0 0 0 16 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 2 0 0 0
[pid=16607/tid=16616] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16607 16607 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446604443857086656 0 0 -1 4 0 0 0
[pid=16607/tid=16617] ppid=16605 vsize=8538928 CPUtime=0.03 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16607 16607 0 -1 4202560 1745 0 0 0 3 0 0 0 15 0 19 0 947898381 8743862272 21679 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 0 0 16800975 18446604443857086656 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=16864/tid=16872] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16872/stat : 16872 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16873] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16873/stat : 16873 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16874] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16874/stat : 16874 (java) S 16862 16864 16864 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 0 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16875] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16875/stat : 16875 (java) S 16862 16864 16864 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16876] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16876/stat : 16876 (java) S 16862 16864 16864 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16877] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16877/stat : 16877 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947912827 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032219569 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16878] ppid=16862 vsize=8538924 CPUtime=0.24 cores=0,2,4,6
/proc/16864/task/16878/stat : 16878 (java) R 16862 16864 16864 0 -1 4202560 2267 0 0 0 24 0 0 0 17 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 47947269928470 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16864/tid=16879] ppid=16862 vsize=8538924 CPUtime=0.25 cores=0,2,4,6
/proc/16864/task/16879/stat : 16879 (java) R 16862 16864 16864 0 -1 4202560 2287 0 0 0 25 0 0 0 16 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 47947268847936 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16864/tid=16880] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16880/stat : 16880 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16881] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16881/stat : 16881 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 4 0 16800975 18446604441910179712 0 0 -1 2 0 0 0
[pid=16864/tid=16882] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16882/stat : 16882 (java) S 16862 16864 16864 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 947912872 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16599/tid=16606] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16606/stat : 16606 (python) S 16597 16599 16077 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 5 0 947898379 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 4 0 0 0
[pid=16599/tid=16776] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16776/stat : 16776 (python) S 16597 16599 16077 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 947902956 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 6 0 0 0
[pid=16599/tid=16782] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16782/stat : 16782 (python) S 16597 16599 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 947907939 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 6 0 0 0
[pid=16599/tid=16863] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16863/stat : 16863 (python) S 16597 16599 16077 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 947912822 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.86
Current children cumulated vsize (KiB) 18794324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.702 s]
/proc/loadavg: 2.01 1.50 0.70 7/442 16882
/proc/meminfo: memFree=26893920/32951124 swapFree=67056304/67111528
[pid=16599] ppid=16597 vsize=327056 CPUtime=0.76 cores=0,2,4,6
/proc/16599/stat : 16599 (python) S 16597 16599 16077 0 -1 4202496 13385 930 1 0 65 11 0 0 20 0 5 0 947898303 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/16599/statm: 81764 7930 1877 364 0 16642 0
[pid=16605] ppid=16599 vsize=296288 CPUtime=0.12 cores=0,2,4,6
/proc/16605/stat : 16605 (python) S 16599 16599 16077 0 -1 4202560 1126 0 0 0 6 6 0 0 16 0 2 0 947898379 303398912 6453 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16605/statm: 74072 6453 412 364 0 8959 0
[pid=16607] ppid=16605 vsize=8538928 CPUtime=47.02 cores=0,2,4,6
/proc/16607/stat : 16607 (java) T 16605 16607 16607 0 -1 4202496 32161 0 1 0 4695 7 0 0 18 0 19 0 947898379 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16607/statm: 2134732 28108 2257 9 0 2125473 0
[pid=16607/tid=16608] ppid=16605 vsize=8538928 CPUtime=45.41 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) T 16605 16607 16607 0 -1 4202560 13576 0 1 0 4538 3 0 0 25 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 46912505998605 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16607/tid=16609] ppid=16605 vsize=8538928 CPUtime=0.02 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) T 16605 16607 16607 0 -1 4202560 1522 0 0 0 2 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16610] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) T 16605 16607 16607 0 -1 4202560 723 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16611] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) T 16605 16607 16607 0 -1 4202560 1074 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16607/tid=16612] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) T 16605 16607 16607 0 -1 4202560 1051 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16613] ppid=16605 vsize=8538928 CPUtime=0.02 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) T 16605 16607 16607 0 -1 4202560 271 0 0 0 2 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16607/tid=16614] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) T 16605 16607 16607 0 -1 4202560 489 0 0 0 0 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16615] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) T 16605 16607 16607 0 -1 4202560 783 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16616] ppid=16605 vsize=8538928 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) T 16605 16607 16607 0 -1 4202560 466 0 0 0 1 0 0 0 15 0 19 0 947898380 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16607/tid=16617] ppid=16605 vsize=8538928 CPUtime=0.21 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) T 16605 16607 16607 0 -1 4202560 4131 0 0 0 21 0 0 0 15 0 19 0 947898381 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16607/tid=16618] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) T 16605 16607 16607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947898381 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16607/tid=16619] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) T 16605 16607 16607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947898381 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16607/tid=16620] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) T 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898383 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16607/tid=16621] ppid=16605 vsize=8538928 CPUtime=0.55 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) T 16605 16607 16607 0 -1 4202560 3033 0 0 0 55 0 0 0 15 0 19 0 947898383 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16622] ppid=16605 vsize=8538928 CPUtime=0.65 cores=0,2,4,6
/proc/16607/task/16622/stat : 16622 (java) T 16605 16607 16607 0 -1 4202560 3660 0 0 0 65 0 0 0 15 0 19 0 947898384 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16607/tid=16623] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16623/stat : 16623 (java) T 16605 16607 16607 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947898384 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16607/tid=16624] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16624/stat : 16624 (java) T 16605 16607 16607 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947898384 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=16607/tid=16625] ppid=16605 vsize=8538928 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16625/stat : 16625 (java) T 16605 16607 16607 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947898425 8743862272 28108 33554432000 1073741824 1073778376 140735143342096 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16605/tid=16774] ppid=16599 vsize=296288 CPUtime=0 cores=0,2,4,6
/proc/16605/task/16774/stat : 16774 (python) S 16599 16599 16077 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 947902953 303398912 6453 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910178816 0 0 -1 4 0 0 0
[pid=16775] ppid=16599 vsize=296300 CPUtime=0.16 cores=0,2,4,6
/proc/16775/stat : 16775 (python) S 16599 16599 16077 0 -1 4202560 1116 0 0 0 8 8 0 0 16 0 2 0 947902955 303411200 6439 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16775/statm: 74075 6439 397 364 0 8959 0
[pid=16777] ppid=16775 vsize=114356 CPUtime=49.79 cores=0,2,4,6
/proc/16777/stat : 16777 (scip-2.0.1.linu) T 16775 16777 16777 0 -1 4202496 32811 0 0 0 4940 39 0 0 25 0 1 0 947902956 117100544 25830 33554432000 4194304 13684479 140735133218736 18446744073709551615 7390244 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16777/statm: 28589 25830 806 2317 0 26267 0
[pid=16775/tid=16780] ppid=16599 vsize=296300 CPUtime=0 cores=0,2,4,6
/proc/16775/task/16780/stat : 16780 (python) S 16599 16599 16077 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947907936 303411200 6439 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554946 18446604446957024192 0 0 -1 0 0 0 0
[pid=16781] ppid=16599 vsize=306556 CPUtime=0.17 cores=0,2,4,6
/proc/16781/stat : 16781 (python) S 16599 16599 16077 0 -1 4202560 1106 0 0 0 11 6 0 0 16 0 2 0 947907938 313913344 6443 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16781/statm: 76639 6443 397 364 0 11520 0
[pid=16783] ppid=16781 vsize=59104 CPUtime=48.8 cores=0,2,4,6
/proc/16783/stat : 16783 (wbo1.4a) T 16781 16783 16783 0 -1 4202496 17227 0 0 0 4847 33 0 0 25 0 1 0 947907939 60522496 14292 33554432000 134512640 135751879 4293207280 18446744073709551615 134616808 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/16783/statm: 14776 14292 146 303 0 14471 0
[pid=16781/tid=16861] ppid=16599 vsize=306556 CPUtime=0 cores=0,2,4,6
/proc/16781/task/16861/stat : 16861 (python) S 16599 16599 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947912819 313913344 6443 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554946 18446604446184581056 0 0 -1 4 0 0 0
[pid=16862] ppid=16599 vsize=316812 CPUtime=0 cores=0,2,4,6
/proc/16862/stat : 16862 (python) S 16599 16599 16077 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 1 0 947912822 324415488 6398 33554432000 4194304 5683644 140735580826992 18446744073709551615 260020416070 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/16862/statm: 79203 6398 349 364 0 14081 0
[pid=16864] ppid=16862 vsize=8538924 CPUtime=1.04 cores=0,2,4,6
/proc/16864/stat : 16864 (java) S 16862 16864 16864 0 -1 4202496 17990 0 1 0 102 2 0 0 20 0 19 0 947912822 8743858176 16106 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16864/statm: 2134731 16106 2218 9 0 2125472 0
[pid=16864/tid=16865] ppid=16862 vsize=8538924 CPUtime=0.52 cores=0,2,4,6
/proc/16864/task/16865/stat : 16865 (java) R 16862 16864 16864 0 -1 4202560 12047 0 1 0 51 1 0 0 24 0 19 0 947912823 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16864/tid=16866] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16866/stat : 16866 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16867] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16867/stat : 16867 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16868] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16868/stat : 16868 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16869] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16869/stat : 16869 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16870] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16870/stat : 16870 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16871] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16871/stat : 16871 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16872] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16872/stat : 16872 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16873] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16873/stat : 16873 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947912824 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16874] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16874/stat : 16874 (java) S 16862 16864 16864 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 0 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16875] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16875/stat : 16875 (java) S 16862 16864 16864 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16876] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16876/stat : 16876 (java) S 16862 16864 16864 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947912825 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 0 0 0 0
[pid=16864/tid=16877] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16877/stat : 16877 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947912827 8743858176 16114 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032219569 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16878] ppid=16862 vsize=8538924 CPUtime=0.24 cores=0,2,4,6
/proc/16864/task/16878/stat : 16878 (java) R 16862 16864 16864 0 -1 4202560 2267 0 0 0 24 0 0 0 17 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 47947269928470 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16864/tid=16879] ppid=16862 vsize=8538924 CPUtime=0.25 cores=0,2,4,6
/proc/16864/task/16879/stat : 16879 (java) R 16862 16864 16864 0 -1 4202560 2287 0 0 0 25 0 0 0 16 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 47947268847936 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16864/tid=16880] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16880/stat : 16880 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032211865 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16864/tid=16881] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16881/stat : 16881 (java) S 16862 16864 16864 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947912827 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 4 0 16800975 18446604441910179712 0 0 -1 2 0 0 0
[pid=16864/tid=16882] ppid=16862 vsize=8538924 CPUtime=0 cores=0,2,4,6
/proc/16864/task/16882/stat : 16882 (java) S 16862 16864 16864 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 947912872 8743858176 16115 33554432000 1073741824 1073778376 140735585685360 18446744073709551615 260032212480 0 4 0 16800975 18446604441910179712 0 0 -1 6 0 0 0
[pid=16599/tid=16606] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16606/stat : 16606 (python) S 16597 16599 16077 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 5 0 947898379 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 4 0 0 0
[pid=16599/tid=16776] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16776/stat : 16776 (python) S 16597 16599 16077 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 5 0 947902956 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 6 0 0 0
[pid=16599/tid=16782] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16782/stat : 16782 (python) S 16597 16599 16077 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 5 0 947907939 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 6 0 0 0
[pid=16599/tid=16863] ppid=16597 vsize=327056 CPUtime=0 cores=0,2,4,6
/proc/16599/task/16863/stat : 16863 (python) S 16597 16599 16077 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 5 0 947912822 334905344 7930 33554432000 4194304 5683644 140735580826992 18446744073709551615 260032219569 0 0 16781312 33554434 18446604442130641216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.86
Current children cumulated vsize (KiB) 18794324
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16599 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=656900
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 0.777881
# while last known CPU time is 147.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.767
CPU time (s): 147.86
CPU user time (s): 146.74
CPU system time (s): 1.12
CPU usage (%): 101.436
Max. virtual memory (cumulated for all children) (KiB): 18794324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.6569
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14317
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= 1004
involuntary context switches= 17
runsolver used 0.558915 second user time and 1.10183 second system time
The end