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 /tmp/evaluation-result-3726402-1338653437/watcher-3726402-1338653437 -o /tmp/evaluation-result-3726402-1338653437/solver-3726402-1338653437 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726402-1338653437.opb
running on 4 cores: 1,3,5,7
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.11 2.05 2.10 3/178 23412
/proc/meminfo: memFree=31377452/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=4520 CPUtime=0 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) R 23410 23412 20708 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 331472309 4628480 553 33554432000 4194304 5964478 140735527198784 140736165727784 4344275 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 1130 553 166 433 0 669 0
[startup+0.104512 s]
/proc/loadavg: 2.11 2.05 2.10 3/178 23412
/proc/meminfo: memFree=31377452/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=0.09 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 2154 0 0 0 9 0 0 0 20 0 2 0 331472309 87392256 1956 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 1956 186 433 0 20900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85344
[startup+0.200198 s]
/proc/loadavg: 2.11 2.05 2.10 3/178 23412
/proc/meminfo: memFree=31377452/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=0.19 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 2399 0 0 0 19 0 0 0 20 0 2 0 331472309 87392256 2201 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 2201 186 433 0 20900 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85344
[startup+0.300139 s]
/proc/loadavg: 2.11 2.05 2.10 3/178 23412
/proc/meminfo: memFree=31377452/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=0.29 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 2634 0 0 0 29 0 0 0 20 0 2 0 331472309 87392256 2436 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 2436 186 433 0 20900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85344
[startup+0.700115 s]
/proc/loadavg: 2.11 2.05 2.10 3/178 23412
/proc/meminfo: memFree=31377452/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=0.68 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 3464 0 0 0 68 0 0 0 20 0 2 0 331472309 87392256 3266 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 3266 186 433 0 20900 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85344
[startup+1.50026 s]
/proc/loadavg: 2.11 2.05 2.10 3/180 23414
/proc/meminfo: memFree=31361572/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=1.49 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 4946 0 0 0 148 1 0 0 20 0 2 0 331472309 87392256 4748 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 4748 186 433 0 20900 0
[pid=23412/tid=23414] ppid=23410 vsize=85344 CPUtime=1.48 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 3792 0 0 0 146 2 0 0 20 0 2 0 331472310 87392256 4748 33554432000 4194304 5964478 140735527198784 140269132060664 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85344
[startup+3.10026 s]
/proc/loadavg: 2.11 2.05 2.10 3/180 23414
/proc/meminfo: memFree=31353016/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=3.08 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 6461 0 0 0 307 1 0 0 20 0 2 0 331472309 87392256 6263 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 6263 186 433 0 20900 0
[pid=23412/tid=23414] ppid=23410 vsize=85344 CPUtime=3.07 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 5307 0 0 0 305 2 0 0 20 0 2 0 331472310 87392256 6263 33554432000 4194304 5964478 140735527198784 140269132060664 4382029 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85344
[startup+6.30026 s]
/proc/loadavg: 2.10 2.05 2.10 3/180 23414
/proc/meminfo: memFree=31345304/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85344 CPUtime=6.29 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 8716 0 0 0 627 2 0 0 20 0 2 0 331472309 87392256 8518 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21336 8518 186 433 0 20900 0
[pid=23412/tid=23414] ppid=23410 vsize=85344 CPUtime=6.27 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 7562 0 0 0 625 2 0 0 20 0 2 0 331472310 87392256 8518 33554432000 4194304 5964478 140735527198784 140269132060664 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85344
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.10 3/180 23414
/proc/meminfo: memFree=31315420/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=85560 CPUtime=12.68 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 14496 0 0 0 1265 3 0 0 20 0 2 0 331472309 87613440 14298 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 21390 14298 186 433 0 20954 0
[pid=23412/tid=23414] ppid=23410 vsize=85560 CPUtime=12.67 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 13342 0 0 0 1263 4 0 0 20 0 2 0 331472310 87613440 14298 33554432000 4194304 5964478 140735527198784 140269132060664 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85560
[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.09 3/179 23414
/proc/meminfo: memFree=31280808/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=151204 CPUtime=25.48 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 21065 0 0 0 2543 5 0 0 20 0 2 0 331472309 154832896 20867 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 37801 20867 186 433 0 37365 0
[pid=23412/tid=23414] ppid=23410 vsize=151204 CPUtime=25.47 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 19911 0 0 0 2541 6 0 0 20 0 2 0 331472310 154832896 20867 33554432000 4194304 5964478 140735527198784 140269132060664 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151204
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.09 3/179 23414
/proc/meminfo: memFree=31246800/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=151364 CPUtime=51.07 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 26433 0 0 0 5101 6 0 0 20 0 2 0 331472309 154996736 26235 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 37841 26235 186 433 0 37405 0
[pid=23412/tid=23414] ppid=23410 vsize=151364 CPUtime=51.06 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 25279 0 0 0 5099 7 0 0 20 0 2 0 331472310 154996736 26235 33554432000 4194304 5964478 140735527198784 140269132060664 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 151364
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.08 3/179 23414
/proc/meminfo: memFree=31173436/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=216900 CPUtime=102.27 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 39051 0 0 0 10216 11 0 0 20 0 2 0 331472309 222105600 38853 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 54225 38853 186 433 0 53789 0
[pid=23412/tid=23414] ppid=23410 vsize=216900 CPUtime=102.27 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 37897 0 0 0 10214 13 0 0 20 0 2 0 331472310 222105600 38853 33554432000 4194304 5964478 140735527198784 140269132060472 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 216900
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/179 23415
/proc/meminfo: memFree=31037212/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=348212 CPUtime=162.22 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 67311 0 0 0 16202 20 0 0 20 0 2 0 331472309 356569088 67095 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 87053 67095 186 433 0 86617 0
[pid=23412/tid=23414] ppid=23410 vsize=348212 CPUtime=162.24 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 66157 0 0 0 16201 23 0 0 20 0 2 0 331472310 356569088 67095 33554432000 4194304 5964478 140735527198784 140269132060664 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 348212
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.07 3/179 23415
/proc/meminfo: memFree=31035876/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=348212 CPUtime=222.18 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 67369 0 0 0 22198 20 0 0 20 0 2 0 331472309 356569088 67211 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 87053 67211 186 433 0 86617 0
[pid=23412/tid=23414] ppid=23410 vsize=348212 CPUtime=222.21 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 66215 0 0 0 22197 24 0 0 20 0 2 0 331472310 356569088 67211 33554432000 4194304 5964478 140735527198784 140269132060664 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 348212
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/179 23415
/proc/meminfo: memFree=31033796/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=348212 CPUtime=282.12 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 67418 0 0 0 28192 20 0 0 20 0 2 0 331472309 356569088 67283 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 87053 67283 186 433 0 86617 0
[pid=23412/tid=23414] ppid=23410 vsize=348212 CPUtime=282.16 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 66264 0 0 0 28191 25 0 0 20 0 2 0 331472310 356569088 67283 33554432000 4194304 5964478 140735527198784 140269132060664 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 348212
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/179 23415
/proc/meminfo: memFree=31028940/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=348212 CPUtime=342.11 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 67433 0 0 0 34191 20 0 0 20 0 2 0 331472309 356569088 68003 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 87053 68003 186 433 0 86617 0
[pid=23412/tid=23414] ppid=23410 vsize=348212 CPUtime=342.16 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 66279 0 0 0 34190 26 0 0 20 0 2 0 331472310 356569088 68003 33554432000 4194304 5964478 140735527198784 140269132060664 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 348212
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.06 3/179 23415
/proc/meminfo: memFree=30945424/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=414324 CPUtime=402.1 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 86313 0 0 0 40183 27 0 0 20 0 2 0 331472309 424267776 86883 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 103581 86883 186 433 0 103145 0
[pid=23412/tid=23414] ppid=23410 vsize=414324 CPUtime=402.16 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 85159 0 0 0 40182 34 0 0 20 0 2 0 331472310 424267776 86883 33554432000 4194304 5964478 140735527198784 140269132060712 4388326 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 414324
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.06 3/179 23416
/proc/meminfo: memFree=30914548/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=414324 CPUtime=462.09 cores=1,3,5,7
################
# More data... #
################
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 174958 0 0 0 124131 79 0 0 20 0 2 0 331472310 766885888 176506 33554432000 4194304 5964478 140735527198784 140269132060664 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 748912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/179 23775
/proc/meminfo: memFree=30774956/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=814448 CPUtime=1301.89 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 195956 0 0 0 130118 71 0 0 20 0 2 0 331472309 833994752 196350 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 203612 196350 186 433 0 203176 0
[pid=23412/tid=23414] ppid=23410 vsize=814448 CPUtime=1302.1 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 194802 0 0 0 130120 90 0 0 20 0 2 0 331472310 833994752 196350 33554432000 4194304 5964478 140735527198784 140269132060472 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 814448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23776
/proc/meminfo: memFree=30703284/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=880416 CPUtime=1361.88 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 210700 0 0 0 136106 82 0 0 20 0 2 0 331472309 901545984 211094 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 220104 211094 186 433 0 219668 0
[pid=23412/tid=23414] ppid=23410 vsize=880416 CPUtime=1362.11 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 209546 0 0 0 136109 102 0 0 20 0 2 0 331472310 901545984 211094 33554432000 4194304 5964478 140735527198784 140269132060664 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 880416
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23776
/proc/meminfo: memFree=30635208/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=946816 CPUtime=1421.88 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 225713 0 0 0 142096 92 0 0 20 0 2 0 331472309 969539584 226107 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 236704 226107 186 433 0 236268 0
[pid=23412/tid=23414] ppid=23410 vsize=946816 CPUtime=1422.12 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 224559 0 0 0 142099 113 0 0 20 0 2 0 331472310 969539584 226107 33554432000 4194304 5964478 140735527198784 140269132060664 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 946816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23776
/proc/meminfo: memFree=30569672/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1013432 CPUtime=1481.86 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 238502 0 0 0 148087 99 0 0 20 0 2 0 331472309 1037754368 238892 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 253358 238892 186 433 0 252922 0
[pid=23412/tid=23414] ppid=23410 vsize=1013432 CPUtime=1482.11 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 237348 0 0 0 148089 122 0 0 20 0 2 0 331472310 1037754368 238892 33554432000 4194304 5964478 140735527198784 140269132060664 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1013432
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23776
/proc/meminfo: memFree=30517832/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1080048 CPUtime=1541.86 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 249377 0 0 0 154078 108 0 0 20 0 2 0 331472309 1105969152 249763 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270012 249763 186 433 0 269576 0
[pid=23412/tid=23414] ppid=23410 vsize=1080048 CPUtime=1542.12 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 248223 0 0 0 154080 132 0 0 20 0 2 0 331472310 1105969152 249763 33554432000 4194304 5964478 140735527198784 140269132060664 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1080048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23776
/proc/meminfo: memFree=30460488/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1082580 CPUtime=1601.84 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 260682 0 0 0 160069 115 0 0 20 0 2 0 331472309 1108561920 261045 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270645 261045 186 433 0 270209 0
[pid=23412/tid=23414] ppid=23410 vsize=1082580 CPUtime=1602.12 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 259528 0 0 0 160072 140 0 0 20 0 2 0 331472310 1108561920 261045 33554432000 4194304 5964478 140735527198784 140269132060664 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1082580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23971
/proc/meminfo: memFree=30577148/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083012 CPUtime=1661.83 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263651 0 0 0 166066 117 0 0 20 0 2 0 331472309 1109004288 264014 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270753 264014 186 433 0 270317 0
[pid=23412/tid=23414] ppid=23410 vsize=1083012 CPUtime=1662.12 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262497 0 0 0 166069 143 0 0 20 0 2 0 331472310 1109004288 264014 33554432000 4194304 5964478 140735527198784 140269132060664 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1083012
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23972
/proc/meminfo: memFree=30550036/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1721.81 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263704 0 0 0 172064 117 0 0 20 0 2 0 331472309 1109225472 264048 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264048 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1722.11 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262550 0 0 0 172067 144 0 0 20 0 2 0 331472310 1109225472 264048 33554432000 4194304 5964478 140735527198784 140269132060712 4381996 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1083228
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 23975
/proc/meminfo: memFree=30519492/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1781.78 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263730 0 0 0 178061 117 0 0 20 0 2 0 331472309 1109225472 264030 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264030 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1782.09 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262576 0 0 0 178064 145 0 0 20 0 2 0 331472310 1109225472 264030 33554432000 4194304 5964478 140735527198784 140269132060696 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1083228
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30510176/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1791.5 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263736 0 0 0 179032 118 0 0 20 0 2 0 331472309 1109225472 264039 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264039 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1791.8 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262582 0 0 0 179035 145 0 0 20 0 2 0 331472310 1109225472 264039 33554432000 4194304 5964478 140735527198784 140269132060696 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 1083228
[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30507556/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1794.69 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263743 0 0 0 179351 118 0 0 20 0 2 0 331472309 1109225472 264047 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264047 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1794.99 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262589 0 0 0 179354 145 0 0 20 0 2 0 331472310 1109225472 264047 33554432000 4194304 5964478 140735527198784 140269132060696 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 1083228
[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30507556/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1797.88 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263743 0 0 0 179670 118 0 0 20 0 2 0 331472309 1109225472 264047 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264047 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1798.19 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262589 0 0 0 179674 145 0 0 20 0 2 0 331472310 1109225472 264047 33554432000 4194304 5964478 140735527198784 140269132060696 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1083228
[startup+1799.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30507556/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1798.68 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263743 0 0 0 179750 118 0 0 20 0 2 0 331472309 1109225472 264047 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264047 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1798.99 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262589 0 0 0 179754 145 0 0 20 0 2 0 331472310 1109225472 264047 33554432000 4194304 5964478 140735527198784 140269132060696 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 1083228
[startup+1799.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30507556/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1799.09 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263743 0 0 0 179791 118 0 0 20 0 2 0 331472309 1109225472 264047 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264047 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1799.39 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262589 0 0 0 179794 145 0 0 20 0 2 0 331472310 1109225472 264047 33554432000 4194304 5964478 140735527198784 140269132060696 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 1083228
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 23975
/proc/meminfo: memFree=30507556/32873844 swapFree=7116/7116
[pid=23412] ppid=23410 vsize=1083228 CPUtime=1799.48 cores=1,3,5,7
/proc/23412/stat : 23412 (pwbo2.02) S 23410 23412 20708 0 -1 4202496 263743 0 0 0 179830 118 0 0 20 0 2 0 331472309 1109225472 264047 33554432000 4194304 5964478 140735527198784 140735527198304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23412/statm: 270807 264047 186 433 0 270371 0
[pid=23412/tid=23414] ppid=23410 vsize=1083228 CPUtime=1799.79 cores=1,3,5,7
/proc/23412/task/23414/stat : 23414 (pwbo2.02) R 23410 23412 20708 0 -1 4202560 262589 0 0 0 179834 145 0 0 20 0 2 0 331472310 1109225472 264047 33554432000 4194304 5964478 140735527198784 140269132060696 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1083228
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.83
CPU user time (s): 1798.36
CPU system time (s): 1.47078
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (KiB): 1083228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.47078
maximum resident set size= 1056356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263746
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= 312
involuntary context switches= 1961
runsolver used 2.76458 second user time and 8.87365 second system time
The end