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-3481695-1307576615/watcher-3481695-1307576615 -o /tmp/evaluation-result-3481695-1307576615/solver-3481695-1307576615 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481695-1307576615.opb -seed 1719461105 -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: 1.89 1.09 0.44 3/554 8038
/proc/meminfo: memFree=21483776/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 850077492 15441920 546 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/8038/statm: 3770 546 312 364 0 257 0
[startup+0.098616 s]
/proc/loadavg: 1.89 1.09 0.44 3/554 8038
/proc/meminfo: memFree=21483776/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=85072 CPUtime=0.05 cores=0,2,4,6
/proc/8038/stat : 8038 (python) R 8036 8038 7805 0 -1 4202496 2476 0 0 0 4 1 0 0 18 0 1 0 850077492 87113728 2203 33554432000 4194304 5683644 140733251780128 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8038/statm: 21268 2206 707 364 0 1485 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85072
[startup+0.100609 s]
/proc/loadavg: 1.89 1.09 0.44 3/554 8038
/proc/meminfo: memFree=21483776/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/8038/stat : 8038 (python) R 8036 8038 7805 0 -1 4202496 2593 0 0 0 4 1 0 0 18 0 1 0 850077492 87412736 2316 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510303287 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8038/statm: 21341 2316 714 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.300593 s]
/proc/loadavg: 1.89 1.09 0.44 3/554 8038
/proc/meminfo: memFree=21483776/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 5357 931 1 0 12 4 0 0 17 0 1 0 850077492 126713856 3745 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/8038/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700538 s]
/proc/loadavg: 1.89 1.09 0.44 3/554 8038
/proc/meminfo: memFree=21483776/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=294100 CPUtime=0.41 cores=0,2,4,6
/proc/8038/stat : 8038 (python) R 8036 8038 7805 0 -1 4202496 9429 931 1 0 30 11 0 0 16 0 1 0 850077492 301158400 7292 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510297344 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8038/statm: 73525 7328 1776 364 0 8418 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 294100
[startup+1.50041 s]
/proc/loadavg: 1.89 1.09 0.44 3/555 8043
/proc/meminfo: memFree=21435720/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=324084 CPUtime=1.22 cores=0,2,4,6
/proc/8038/stat : 8038 (python) R 8036 8038 7805 0 -1 4202496 19267 931 1 0 109 13 0 0 16 0 1 0 850077492 331862016 17130 33554432000 4194304 5683644 140733251780128 18446744073709551615 233509958689 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8038/statm: 81021 17130 1781 364 0 15914 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 324084
[startup+3.10109 s]
/proc/loadavg: 1.89 1.09 0.44 3/555 8043
/proc/meminfo: memFree=21392608/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=362208 CPUtime=2.81 cores=0,2,4,6
/proc/8038/stat : 8038 (python) R 8036 8038 7805 0 -1 4202496 42833 931 1 0 265 16 0 0 18 0 1 0 850077492 370900992 26889 33554432000 4194304 5683644 140733251780128 18446744073709551615 233513706165 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/8038/statm: 90552 26889 1815 364 0 25445 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 362208
[startup+6.30048 s]
/proc/loadavg: 1.90 1.10 0.45 3/555 8043
/proc/meminfo: memFree=21364156/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=383300 CPUtime=5.89 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 45836 931 1 0 572 17 0 0 25 0 2 0 850077492 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8038/statm: 95825 29663 1870 364 0 30712 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 383300
[startup+12.7004 s]
/proc/loadavg: 1.90 1.12 0.46 3/558 8046
/proc/meminfo: memFree=21303156/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=383300 CPUtime=5.89 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 45836 931 1 0 572 17 0 0 25 0 2 0 850077492 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8038/statm: 95825 29663 1870 364 0 30712 0
[pid=8044] ppid=8038 vsize=373056 CPUtime=0.01 cores=0,2,4,6
/proc/8044/stat : 8044 (python) S 8038 8038 7805 0 -1 4202560 893 0 0 0 0 1 0 0 15 0 1 0 850078110 382009344 28164 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510317583 0 0 16781312 33554946 13890139778197717251 0 0 17 4 0 0 0
/proc/8044/statm: 93264 28164 375 364 0 28151 0
[pid=8046] ppid=8044 vsize=45376 CPUtime=6.5 cores=0,2,4,6
/proc/8046/stat : 8046 (wbo1.4a) R 8044 8046 8046 0 -1 4202496 37927 0 0 0 645 5 0 0 25 0 1 0 850078110 46465024 10596 33554432000 134512640 135751879 4290239616 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/8046/statm: 11344 10596 142 303 0 11039 0
[pid=8038/tid=8045] ppid=8036 vsize=383300 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8045/stat : 8045 (python) S 8036 8038 7805 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 850078110 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 801732
[startup+25.5011 s]
/proc/loadavg: 1.92 1.16 0.48 3/558 8046
/proc/meminfo: memFree=21281460/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=383300 CPUtime=5.89 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 45836 931 1 0 572 17 0 0 25 0 2 0 850077492 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8038/statm: 95825 29663 1870 364 0 30712 0
[pid=8044] ppid=8038 vsize=373056 CPUtime=0.08 cores=0,2,4,6
/proc/8044/stat : 8044 (python) S 8038 8038 7805 0 -1 4202560 900 0 0 0 3 5 0 0 16 0 1 0 850078110 382009344 28164 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510317583 0 0 16781312 33554946 72409437758827243 0 0 17 4 0 0 0
/proc/8044/statm: 93264 28164 375 364 0 28151 0
[pid=8046] ppid=8044 vsize=43552 CPUtime=19.28 cores=0,2,4,6
/proc/8046/stat : 8046 (wbo1.4a) R 8044 8046 8046 0 -1 4202496 88762 0 0 0 1915 13 0 0 25 0 1 0 850078110 44597248 10171 33554432000 134512640 135751879 4290239616 18446744073709551615 134541829 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/8046/statm: 10888 10171 142 303 0 10583 0
[pid=8038/tid=8045] ppid=8036 vsize=383300 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8045/stat : 8045 (python) S 8036 8038 7805 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 850078110 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 799908
[startup+51.1005 s]
/proc/loadavg: 1.95 1.23 0.52 3/558 8047
/proc/meminfo: memFree=21245476/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=383300 CPUtime=5.89 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 45836 931 1 0 572 17 0 0 25 0 2 0 850077492 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8038/statm: 95825 29663 1870 364 0 30712 0
[pid=8044] ppid=8038 vsize=373056 CPUtime=0.18 cores=0,2,4,6
/proc/8044/stat : 8044 (python) S 8038 8038 7805 0 -1 4202560 916 0 0 0 8 10 0 0 15 0 1 0 850078110 382009344 28164 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510317583 0 0 16781312 33554946 72409437758827243 0 0 17 4 0 0 0
/proc/8044/statm: 93264 28164 375 364 0 28151 0
[pid=8046] ppid=8044 vsize=45460 CPUtime=44.84 cores=0,2,4,6
/proc/8046/stat : 8046 (wbo1.4a) R 8044 8046 8046 0 -1 4202496 195270 0 0 0 4453 31 0 0 25 0 1 0 850078110 46551040 10625 33554432000 134512640 135751879 4290239616 18446744073709551615 134638108 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/8046/statm: 11365 10625 142 303 0 11060 0
[pid=8038/tid=8045] ppid=8036 vsize=383300 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8045/stat : 8045 (python) S 8036 8038 7805 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 2 0 850078110 392499200 29663 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 801816
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+100.002 s]
/proc/loadavg: 2.09 1.37 0.61 4/601 8091
/proc/meminfo: memFree=20674344/32951124 swapFree=64303752/67111528
[pid=8038] ppid=8036 vsize=403812 CPUtime=5.95 cores=0,2,4,6
/proc/8038/stat : 8038 (python) S 8036 8038 7805 0 -1 4202496 47581 931 1 0 577 18 0 0 20 0 4 0 850077492 413503488 29676 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8038/statm: 100953 29676 1875 364 0 35834 0
[pid=8044] ppid=8038 vsize=383300 CPUtime=0.2 cores=0,2,4,6
/proc/8044/stat : 8044 (python) S 8038 8038 7805 0 -1 4202560 1079 0 0 0 9 11 0 0 17 0 2 0 850078110 392499200 28200 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/8044/statm: 95825 28200 406 364 0 30712 0
[pid=8046] ppid=8044 vsize=46004 CPUtime=48.15 cores=0,2,4,6
/proc/8046/stat : 8046 (wbo1.4a) T 8044 8046 8046 0 -1 4202496 207873 0 0 0 4781 34 0 0 25 0 1 0 850078110 47108096 10726 33554432000 134512640 135751879 4290239616 18446744073709551615 134638053 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/8046/statm: 11501 10726 142 303 0 11196 0
[pid=8044/tid=8048] ppid=8038 vsize=383300 CPUtime=0 cores=0,2,4,6
/proc/8044/task/8048/stat : 8048 (python) S 8038 8038 7805 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850082933 392499200 28200 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554946 18446604452652271808 0 0 -1 4 0 0 0
[pid=8049] ppid=8038 vsize=383312 CPUtime=0.22 cores=0,2,4,6
/proc/8049/stat : 8049 (python) S 8038 8038 7805 0 -1 4202560 1110 0 0 0 11 11 0 0 17 0 2 0 850082936 392511488 28190 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8049/statm: 95828 28190 396 364 0 30712 0
[pid=8051] ppid=8049 vsize=8538464 CPUtime=46.26 cores=0,2,4,6
/proc/8051/stat : 8051 (java) T 8049 8051 8051 0 -1 4202496 107484 0 1 0 4612 14 0 0 18 0 19 0 850082936 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8051/statm: 2134616 102469 2257 9 0 2125357 0
[pid=8051/tid=8052] ppid=8049 vsize=8538464 CPUtime=43.94 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) T 8049 8051 8051 0 -1 4202560 65711 0 1 0 4387 7 0 0 25 0 19 0 850082937 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 46912505914368 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8051/tid=8053] ppid=8049 vsize=8538464 CPUtime=0.04 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) T 8049 8051 8051 0 -1 4202560 2931 0 0 0 4 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8054] ppid=8049 vsize=8538464 CPUtime=0.07 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) T 8049 8051 8051 0 -1 4202560 5423 0 0 0 7 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8055] ppid=8049 vsize=8538464 CPUtime=0.03 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) T 8049 8051 8051 0 -1 4202560 3202 0 0 0 3 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8051/tid=8056] ppid=8049 vsize=8538464 CPUtime=0.03 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) T 8049 8051 8051 0 -1 4202560 2313 0 0 0 3 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8057] ppid=8049 vsize=8538464 CPUtime=0.04 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) T 8049 8051 8051 0 -1 4202560 1768 0 0 0 4 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8058] ppid=8049 vsize=8538464 CPUtime=0.04 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) T 8049 8051 8051 0 -1 4202560 3341 0 0 0 4 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8059] ppid=8049 vsize=8538464 CPUtime=0.01 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) T 8049 8051 8051 0 -1 4202560 1071 0 0 0 1 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8060] ppid=8049 vsize=8538464 CPUtime=0.05 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) T 8049 8051 8051 0 -1 4202560 2826 0 0 0 5 0 0 0 15 0 19 0 850082938 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8061] ppid=8049 vsize=8538464 CPUtime=0.84 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) T 8049 8051 8051 0 -1 4202560 9972 0 0 0 83 1 0 0 15 0 19 0 850082939 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8051/tid=8062] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) T 8049 8051 8051 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850082939 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8051/tid=8063] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) T 8049 8051 8051 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850082939 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8051/tid=8064] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) T 8049 8051 8051 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850082941 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8051/tid=8065] ppid=8049 vsize=8538464 CPUtime=0.53 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) T 8049 8051 8051 0 -1 4202560 2280 0 0 0 53 0 0 0 15 0 19 0 850082941 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8051/tid=8066] ppid=8049 vsize=8538464 CPUtime=0.51 cores=0,2,4,6
/proc/8051/task/8066/stat : 8066 (java) T 8049 8051 8051 0 -1 4202560 5253 0 0 0 51 0 0 0 15 0 19 0 850082941 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8051/tid=8067] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8067/stat : 8067 (java) T 8049 8051 8051 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850082941 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8051/tid=8068] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8068/stat : 8068 (java) T 8049 8051 8051 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850082941 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8051/tid=8069] ppid=8049 vsize=8538464 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8069/stat : 8069 (java) T 8049 8051 8051 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850083153 8743387136 102469 33554432000 1073741824 1073778376 140736336808544 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8049/tid=8071] ppid=8038 vsize=383312 CPUtime=0 cores=0,2,4,6
/proc/8049/task/8071/stat : 8071 (python) S 8038 8038 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850087437 392511488 28190 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440514300096 0 0 -1 6 0 0 0
[pid=8072] ppid=8038 vsize=393568 CPUtime=0 cores=0,2,4,6
/proc/8072/stat : 8072 (python) S 8038 8038 7805 0 -1 4202560 780 0 0 0 0 0 0 0 19 0 1 0 850087439 403013632 28145 33554432000 4194304 5683644 140733251780128 18446744073709551615 233510317638 0 0 16781312 33554946 1980460332727926784 0 0 17 0 0 0 0
/proc/8072/statm: 98392 28145 348 364 0 33273 0
[pid=8074] ppid=8072 vsize=8536428 CPUtime=0.98 cores=0,2,4,6
/proc/8074/stat : 8074 (java) S 8072 8074 8074 0 -1 4202496 28762 0 1 0 94 4 0 0 20 0 18 0 850087440 8741302272 26635 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8074/statm: 2134107 26637 2208 9 0 2124848 0
[pid=8074/tid=8075] ppid=8072 vsize=8536428 CPUtime=0.54 cores=0,2,4,6
/proc/8074/task/8075/stat : 8075 (java) R 8072 8074 8074 0 -1 4202560 24370 0 1 0 51 3 0 0 18 0 18 0 850087441 8741302272 28101 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 46912505697543 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8074/tid=8076] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8076/stat : 8076 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850087442 8741302272 28104 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8077] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8077/stat : 8077 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850087442 8741302272 28106 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8078] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8078/stat : 8078 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850087442 8741302272 28109 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8079] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8079/stat : 8079 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087442 8741302272 28112 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8080] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8080/stat : 8080 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087442 8741302272 28114 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8081] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8081/stat : 8081 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087442 8741302272 28117 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8082] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8082/stat : 8082 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087442 8741302272 28120 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8083] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8083/stat : 8083 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087442 8741302272 28122 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8084] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8084/stat : 8084 (java) S 8072 8074 8074 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850087443 8741302272 28125 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522114048 0 0 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8085] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8085/stat : 8085 (java) S 8072 8074 8074 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850087443 8741302272 28128 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8086] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8086/stat : 8086 (java) S 8072 8074 8074 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850087443 8741302272 28130 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8087] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8087/stat : 8087 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087445 8741302272 28133 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522121137 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8088] ppid=8072 vsize=8536428 CPUtime=0.2 cores=0,2,4,6
/proc/8074/task/8088/stat : 8088 (java) S 8072 8074 8074 0 -1 4202560 1937 0 0 0 20 0 0 0 25 0 18 0 850087445 8741302272 28136 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 0 0 0 0
[pid=8074/tid=8089] ppid=8072 vsize=8536428 CPUtime=0.23 cores=0,2,4,6
/proc/8074/task/8089/stat : 8089 (java) S 8072 8074 8074 0 -1 4202560 2532 0 0 0 23 0 0 0 16 0 18 0 850087445 8741302272 28138 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 6 0 0 0
[pid=8074/tid=8090] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8090/stat : 8090 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850087445 8741302272 28141 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522113433 0 4 0 16800975 18446604449883967616 0 0 -1 4 0 0 0
[pid=8074/tid=8091] ppid=8072 vsize=8536428 CPUtime=0 cores=0,2,4,6
/proc/8074/task/8091/stat : 8091 (java) S 8072 8074 8074 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850087446 8741302272 28143 33554432000 1073741824 1073778376 140734585787264 18446744073709551615 233522114048 0 4 0 16800975 18446604449883967616 0 0 -1 0 0 0 0
[pid=8038/tid=8045] ppid=8036 vsize=403812 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8045/stat : 8045 (python) S 8036 8038 7805 0 -1 4202560 26 931 0 0 0 0 0 0 25 0 4 0 850078110 413503488 29676 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
[pid=8038/tid=8050] ppid=8036 vsize=403812 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8050/stat : 8050 (python) S 8036 8038 7805 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 4 0 850082936 413503488 29676 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
[pid=8038/tid=8073] ppid=8036 vsize=403812 CPUtime=0 cores=0,2,4,6
/proc/8038/task/8073/stat : 8073 (python) S 8036 8038 7805 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 850087440 413503488 29676 33554432000 4194304 5683644 140733251780128 18446744073709551615 233522121137 0 0 16781312 33554434 18446604452652270912 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 18684888
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 8038 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=772122
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=189971
# CPU time returned by wait4() is 5.96209
# while last known CPU time is 101.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 100.079
CPU time (s): 101.76
CPU user time (s): 100.84
CPU system time (s): 0.92
CPU usage (%): 101.68
Max. virtual memory (cumulated for all children) (KiB): 18684888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.77212
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48513
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= 2858
involuntary context switches= 30
runsolver used 0.570913 second user time and 1.25481 second system time
The end