runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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 /var/tmp/evaluation-result-3500434-1307995280/watcher-3500434-1307995280 -o /var/tmp/evaluation-result-3500434-1307995280/solver-3500434-1307995280 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500434-1307995280.opb
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: 4.01 4.00 3.92 4/179 32066
/proc/meminfo: memFree=3173500/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=134808 CPUtime=0 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 3 0 911128961 138043392 359 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33702 359 178 372 0 33327 0
[pid=32066/tid=32067] ppid=32064 vsize=134808 CPUtime=0 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 3 0 911128961 138043392 359 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=134808 CPUtime=0 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 26 0 0 0 0 0 0 0 25 0 3 0 911128961 138043392 359 33554432000 4194304 5714118 140734655114832 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.033921 s]
/proc/loadavg: 4.01 4.00 3.92 4/179 32066
/proc/meminfo: memFree=3173500/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=134808 CPUtime=0.05 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 559 0 0 0 5 0 0 0 25 0 3 0 911128961 138043392 509 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33702 509 179 372 0 33327 0
[pid=32066/tid=32067] ppid=32064 vsize=134808 CPUtime=0.02 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 139 0 0 0 2 0 0 0 25 0 3 0 911128961 138043392 509 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=134808 CPUtime=0.02 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 84 0 0 0 2 0 0 0 25 0 3 0 911128961 138043392 509 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 134808
[startup+0.10097 s]
/proc/loadavg: 4.01 4.00 3.92 4/179 32066
/proc/meminfo: memFree=3173500/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=134808 CPUtime=0.18 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 851 0 0 0 18 0 0 0 25 0 3 0 911128961 138043392 801 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33702 801 179 372 0 33327 0
[pid=32066/tid=32067] ppid=32064 vsize=134808 CPUtime=0.09 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 326 0 0 0 9 0 0 0 25 0 3 0 911128961 138043392 801 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=134808 CPUtime=0.09 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 189 0 0 0 9 0 0 0 25 0 3 0 911128961 138043392 801 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134808
[startup+0.300939 s]
/proc/loadavg: 4.01 4.00 3.92 4/179 32066
/proc/meminfo: memFree=3173500/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=134808 CPUtime=0.58 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 1485 0 0 0 57 1 0 0 25 0 3 0 911128961 138043392 1435 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33702 1435 179 372 0 33327 0
[pid=32066/tid=32067] ppid=32064 vsize=134808 CPUtime=0.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 755 0 0 0 28 1 0 0 18 0 3 0 911128961 138043392 1435 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=134808 CPUtime=0.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 394 0 0 0 29 0 0 0 25 0 3 0 911128961 138043392 1435 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134808
[startup+0.700862 s]
/proc/loadavg: 4.01 4.00 3.92 4/179 32066
/proc/meminfo: memFree=3173500/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=134952 CPUtime=1.39 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 2400 0 0 0 134 5 0 0 25 0 3 0 911128961 138190848 2350 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33738 2350 179 372 0 33363 0
[pid=32066/tid=32067] ppid=32064 vsize=134952 CPUtime=0.68 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 1401 0 0 0 65 3 0 0 18 0 3 0 911128961 138190848 2351 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=134952 CPUtime=0.69 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 664 0 0 0 68 1 0 0 25 0 3 0 911128961 138190848 2351 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134952
[startup+1.5007 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 32069
/proc/meminfo: memFree=3160976/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135096 CPUtime=2.99 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 3065 0 0 0 292 7 0 0 25 0 3 0 911128961 138338304 3015 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33774 3015 179 372 0 33399 0
[pid=32066/tid=32067] ppid=32064 vsize=135096 CPUtime=1.48 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 1740 0 0 0 143 5 0 0 18 0 3 0 911128961 138338304 3015 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135096 CPUtime=1.49 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 989 0 0 0 148 1 0 0 25 0 3 0 911128961 138338304 3015 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135096
[startup+3.10044 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 32069
/proc/meminfo: memFree=3152912/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135096 CPUtime=6.18 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 3934 0 0 0 607 11 0 0 25 0 3 0 911128961 138338304 3884 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33774 3884 180 372 0 33399 0
[pid=32066/tid=32067] ppid=32064 vsize=135096 CPUtime=3.09 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 2442 0 0 0 300 9 0 0 20 0 3 0 911128961 138338304 3884 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135096 CPUtime=3.08 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 1156 0 0 0 306 2 0 0 25 0 3 0 911128961 138338304 3884 33554432000 4194304 5714118 140734655114832 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135096
[startup+6.30087 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 32069
/proc/meminfo: memFree=3133848/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135240 CPUtime=12.58 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 5572 0 0 0 1239 19 0 0 25 0 3 0 911128961 138485760 5522 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33810 5522 180 372 0 33435 0
[pid=32066/tid=32067] ppid=32064 vsize=135240 CPUtime=6.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 3620 0 0 0 615 14 0 0 25 0 3 0 911128961 138485760 5522 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135240 CPUtime=6.28 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 1616 0 0 0 624 4 0 0 25 0 3 0 911128961 138485760 5522 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 135240
[startup+12.7007 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 32069
/proc/meminfo: memFree=3104476/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135240 CPUtime=25.39 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 7700 0 0 0 2502 37 0 0 25 0 3 0 911128961 138485760 7650 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33810 7650 180 372 0 33435 0
[pid=32066/tid=32067] ppid=32064 vsize=135240 CPUtime=12.69 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 5577 0 0 0 1243 26 0 0 25 0 3 0 911128961 138485760 7650 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135240 CPUtime=12.69 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 1787 0 0 0 1259 10 0 0 25 0 3 0 911128961 138485760 7650 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135240
[startup+25.5005 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32070
/proc/meminfo: memFree=3046812/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135240 CPUtime=50.98 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 11483 0 0 0 5035 63 0 0 25 0 3 0 911128961 138485760 11433 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33810 11433 180 372 0 33435 0
[pid=32066/tid=32067] ppid=32064 vsize=135240 CPUtime=25.49 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8853 0 0 0 2505 44 0 0 25 0 3 0 911128961 138485760 11433 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135240 CPUtime=25.48 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 2294 0 0 0 2530 18 0 0 25 0 3 0 911128961 138485760 11433 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 135240
[startup+51.1009 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32070
/proc/meminfo: memFree=2948232/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=135456 CPUtime=102.18 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 18082 0 0 0 10097 121 0 0 25 0 3 0 911128961 138706944 18020 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 33864 18020 180 372 0 33489 0
[pid=32066/tid=32067] ppid=32064 vsize=135456 CPUtime=51.09 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 14920 0 0 0 5028 81 0 0 25 0 3 0 911128961 138706944 18020 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=135456 CPUtime=51.08 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 2826 0 0 0 5069 39 0 0 25 0 3 0 911128961 138706944 18020 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 135456
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32072
/proc/meminfo: memFree=2743340/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=201136 CPUtime=204.59 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 28909 0 0 0 20244 215 0 0 25 0 3 0 911128961 205963264 28610 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 50284 28610 180 372 0 49909 0
[pid=32066/tid=32067] ppid=32064 vsize=201136 CPUtime=102.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 24763 0 0 0 10087 142 0 0 25 0 3 0 911128961 205963264 28610 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=201136 CPUtime=102.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 3810 0 0 0 10157 72 0 0 25 0 3 0 911128961 205963264 28610 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 201136
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32076
/proc/meminfo: memFree=2521216/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=267968 CPUtime=324.58 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 40397 0 0 0 32139 319 0 0 25 0 3 0 911128961 274399232 39872 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 66992 39872 180 372 0 66617 0
[pid=32066/tid=32067] ppid=32064 vsize=267968 CPUtime=162.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 35599 0 0 0 16019 210 0 0 25 0 3 0 911128961 274399232 39872 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=267968 CPUtime=162.28 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 4462 0 0 0 16119 109 0 0 25 0 3 0 911128961 274399232 39872 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 267968
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32078
/proc/meminfo: memFree=2340924/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=268544 CPUtime=444.59 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 51311 0 0 0 44034 425 0 0 25 0 3 0 911128961 274989056 50644 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 67136 50644 180 372 0 66761 0
[pid=32066/tid=32067] ppid=32064 vsize=268544 CPUtime=222.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 46057 0 0 0 21952 277 0 0 25 0 3 0 911128961 274989056 50644 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=268544 CPUtime=222.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 4918 0 0 0 22081 148 0 0 25 0 3 0 911128961 274989056 50644 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 268544
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32080
/proc/meminfo: memFree=2188752/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=335032 CPUtime=564.59 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 61746 0 0 0 55937 522 0 0 25 0 3 0 911128961 343072768 60814 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 83758 60814 180 372 0 83383 0
[pid=32066/tid=32067] ppid=32064 vsize=335032 CPUtime=282.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 55724 0 0 0 27888 341 0 0 25 0 3 0 911128961 343072768 60814 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=335032 CPUtime=282.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 5686 0 0 0 28049 180 0 0 25 0 3 0 911128961 343072768 60814 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 335032
[startup+342.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/182 32081
/proc/meminfo: memFree=2011112/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=335984 CPUtime=684.6 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 71776 0 0 0 67840 620 0 0 25 0 3 0 911128961 344047616 70560 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 83996 70560 180 372 0 83621 0
[pid=32066/tid=32067] ppid=32064 vsize=335984 CPUtime=342.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 65480 0 0 0 33823 406 0 0 25 0 3 0 911128961 344047616 70560 33554432000 4194304 5714118 140734655114832 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=335984 CPUtime=342.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 5960 0 0 0 34016 213 0 0 25 0 3 0 911128961 344047616 70560 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 335984
[startup+402.301 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 32083
/proc/meminfo: memFree=1852548/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=402168 CPUtime=804.6 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 81418 0 0 0 79748 712 0 0 25 0 3 0 911128961 411820032 79745 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 100542 79745 180 372 0 100167 0
[pid=32066/tid=32067] ppid=32064 vsize=402168 CPUtime=402.29 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 74450 0 0 0 39762 467 0 0 25 0 3 0 911128961 411820032 79745 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=402168 CPUtime=402.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 6632 0 0 0 39985 244 0 0 25 0 3 0 911128961 411820032 79745 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 402168
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32084
/proc/meminfo: memFree=1730348/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=467992 CPUtime=924.6 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 90129 0 0 0 91657 803 0 0 25 0 3 0 911128961 479223808 88350 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 116998 88350 180 372 0 116623 0
[pid=32066/tid=32067] ppid=32064 vsize=467992 CPUtime=462.3 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 82800 0 0 0 45703 527 0 0 25 0 3 0 911128961 479223808 88350 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=467992 CPUtime=462.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 6993 0 0 0 45954 276 0 0 25 0 3 0 911128961 479223808 88350 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 467992
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32086
/proc/meminfo: memFree=1658292/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=468640 CPUtime=1044.61 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 99282 0 0 0 103557 904 0 0 25 0 3 0 911128961 479887360 97436 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 117160 97436 180 372 0 116785 0
[pid=32066/tid=32067] ppid=32064 vsize=468640 CPUtime=522.3 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 91837 0 0 0 51639 591 0 0 25 0 3 0 911128961 479887360 97436 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=468640 CPUtime=522.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 7109 0 0 0 51918 312 0 0 25 0 3 0 911128961 479887360 97436 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 468640
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 32088
/proc/meminfo: memFree=1596048/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=534896 CPUtime=1164.61 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 108088 0 0 0 115469 992 0 0 25 0 3 0 911128961 547733504 106095 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 133724 106095 180 372 0 133349 0
[pid=32066/tid=32067] ppid=32064 vsize=534896 CPUtime=582.3 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 100317 0 0 0 57581 649 0 0 25 0 3 0 911128961 547733504 106095 33554432000 4194304 5714118 140734655114832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=534896 CPUtime=582.29 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 7435 0 0 0 57887 342 0 0 25 0 3 0 911128961 547733504 106095 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 534896
[startup+642.3 s]
/proc/loadavg: 3.99 4.00 3.93 5/182 32170
/proc/meminfo: memFree=3976744/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=535832 CPUtime=1284.62 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 115890 0 0 0 127382 1080 0 0 25 0 3 0 911128961 548691968 113755 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 133958 113755 180 372 0 133583 0
[pid=32066/tid=32067] ppid=32064 vsize=535832 CPUtime=642.3 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 107839 0 0 0 63529 701 0 0 25 0 3 0 911128961 548691968 113755 33554432000 4194304 5714118 140734655114832 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=535832 CPUtime=642.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 7715 0 0 0 63852 378 0 0 25 0 3 0 911128961 548691968 113755 33554432000 4194304 5714118 140734655114832 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 535832
[startup+702.301 s]
/proc/loadavg: 3.99 4.00 3.93 5/182 32172
/proc/meminfo: memFree=3903732/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=602088 CPUtime=1404.61 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 124421 0 0 0 139297 1164 0 0 25 0 3 0 911128961 616538112 122006 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 150522 122006 180 372 0 150147 0
[pid=32066/tid=32067] ppid=32064 vsize=602088 CPUtime=702.31 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 115912 0 0 0 69476 755 0 0 25 0 3 0 911128961 616538112 122006 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=602088 CPUtime=702.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8173 0 0 0 69821 409 0 0 25 0 3 0 911128961 616538112 122006 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 602088
[startup+762.307 s]
/proc/loadavg: 3.99 4.00 3.93 5/182 32173
/proc/meminfo: memFree=3857828/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=602160 CPUtime=1524.63 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 132952 0 0 0 151209 1254 0 0 25 0 3 0 911128961 616611840 129931 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 150540 129931 180 372 0 150165 0
[pid=32066/tid=32067] ppid=32064 vsize=602160 CPUtime=762.32 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 123829 0 0 0 75419 813 0 0 25 0 3 0 911128961 616611840 129931 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=602160 CPUtime=762.31 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8787 0 0 0 75790 441 0 0 25 0 3 0 911128961 616611840 129931 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 602160
[startup+822.3 s]
/proc/loadavg: 3.99 4.00 3.93 5/182 32175
/proc/meminfo: memFree=3815144/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=668344 CPUtime=1644.62 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 141479 0 0 0 163102 1360 0 0 25 0 3 0 911128961 684384256 138458 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 167086 138458 180 372 0 166711 0
[pid=32066/tid=32067] ppid=32064 vsize=668344 CPUtime=822.31 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 132356 0 0 0 81362 869 0 0 25 0 3 0 911128961 684384256 138458 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=668344 CPUtime=822.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8787 0 0 0 81740 490 0 0 25 0 3 0 911128961 684384256 138458 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 668344
[startup+882.301 s]
/proc/loadavg: 4.08 4.03 3.94 5/182 32177
/proc/meminfo: memFree=3773080/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=668344 CPUtime=1764.62 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 149174 0 0 0 175010 1452 0 0 25 0 3 0 911128961 684384256 146153 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 167086 146153 180 372 0 166711 0
[pid=32066/tid=32067] ppid=32064 vsize=668344 CPUtime=882.31 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 140044 0 0 0 87310 921 0 0 25 0 3 0 911128961 684384256 146153 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=668344 CPUtime=882.3 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8794 0 0 0 87700 530 0 0 25 0 3 0 911128961 684384256 146153 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 668344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.06 4.03 3.94 5/182 32177
/proc/meminfo: memFree=3756572/32951124 swapFree=67052292/67111528
[pid=32066] ppid=32064 vsize=668416 CPUtime=1800.03 cores=0,2,4,6
/proc/32066/stat : 32066 (pwbo1.1) S 32064 32066 30934 0 -1 4202496 152473 0 0 0 178519 1484 0 0 25 0 3 0 911128961 684457984 149452 33554432000 4194304 5714118 140734655114832 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32066/statm: 167104 149452 180 372 0 166729 0
[pid=32066/tid=32067] ppid=32064 vsize=668416 CPUtime=900.01 cores=0,2,4,6
/proc/32066/task/32067/stat : 32067 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 143343 0 0 0 89059 942 0 0 25 0 3 0 911128961 684457984 149452 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=32066/tid=32068] ppid=32064 vsize=668416 CPUtime=900.01 cores=0,2,4,6
/proc/32066/task/32068/stat : 32068 (pwbo1.1) R 32064 32066 30934 0 -1 4202560 8794 0 0 0 89460 541 0 0 25 0 3 0 911128961 684457984 149452 33554432000 4194304 5714118 140734655114832 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 668416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.035
CPU time (s): 1800.08
CPU user time (s): 1785.21
CPU system time (s): 14.8697
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 668416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.21
system time used= 14.8697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 4099
runsolver used 1.66275 second user time and 3.16652 second system time
The end