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-3726398-1338653789/watcher-3726398-1338653789 -o /tmp/evaluation-result-3726398-1338653789/solver-3726398-1338653789 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726398-1338653789.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: 1.92 1.98 1.92 3/177 31430
/proc/meminfo: memFree=29112116/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/31430/stat : 31430 (runsolver) R 31428 28704 28704 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 1 0 331504393 12095488 48 33554432000 4194304 5436572 140734206584480 140734206580480 4304527 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/31430/statm: 2953 48 29 304 0 2645 0
[startup+0.095761 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 31430
/proc/meminfo: memFree=29112116/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84440 CPUtime=0.08 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 1496 0 0 0 8 0 0 0 20 0 2 0 331504393 86466560 1437 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21110 1438 186 433 0 20674 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84440
[startup+0.100217 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 31430
/proc/meminfo: memFree=29112116/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84440 CPUtime=0.09 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 1508 0 0 0 9 0 0 0 20 0 2 0 331504393 86466560 1449 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21110 1449 186 433 0 20674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84440
[startup+0.300177 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 31430
/proc/meminfo: memFree=29112116/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84440 CPUtime=0.29 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 2067 0 0 0 29 0 0 0 20 0 2 0 331504393 86466560 2008 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21110 2008 186 433 0 20674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84440
[startup+0.700183 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 31430
/proc/meminfo: memFree=29112116/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84440 CPUtime=0.68 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 2980 0 0 0 68 0 0 0 20 0 2 0 331504393 86466560 2921 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21110 2921 186 433 0 20674 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84440
[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.92 3/179 31432
/proc/meminfo: memFree=29098336/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84440 CPUtime=1.48 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 4694 0 0 0 148 0 0 0 20 0 2 0 331504393 86466560 4635 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21110 4635 186 433 0 20674 0
[pid=31430/tid=31432] ppid=31428 vsize=84440 CPUtime=1.47 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 3788 0 0 0 147 0 0 0 20 0 2 0 331504394 86466560 4635 33554432000 4194304 5964478 140736291953440 140612798715896 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84440
[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.92 3/179 31432
/proc/meminfo: memFree=29092136/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84584 CPUtime=3.09 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 5745 0 0 0 308 1 0 0 20 0 2 0 331504393 86614016 5686 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21146 5686 186 433 0 20710 0
[pid=31430/tid=31432] ppid=31428 vsize=84584 CPUtime=3.06 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 4839 0 0 0 305 1 0 0 20 0 2 0 331504394 86614016 5686 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84584
[startup+6.30013 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 31432
/proc/meminfo: memFree=29081776/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84656 CPUtime=6.28 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 7776 0 0 0 627 1 0 0 20 0 2 0 331504393 86687744 7717 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21164 7717 186 433 0 20728 0
[pid=31430/tid=31432] ppid=31428 vsize=84656 CPUtime=6.26 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 6870 0 0 0 625 1 0 0 20 0 2 0 331504394 86687744 7717 33554432000 4194304 5964478 140736291953440 140612798715704 4388309 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84656
[startup+12.7001 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 31432
/proc/meminfo: memFree=29062896/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=84656 CPUtime=12.68 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 11209 0 0 0 1266 2 0 0 20 0 2 0 331504393 86687744 11150 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 21164 11150 186 433 0 20728 0
[pid=31430/tid=31432] ppid=31428 vsize=84656 CPUtime=12.64 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 10303 0 0 0 1262 2 0 0 20 0 2 0 331504394 86687744 11150 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84656
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 31432
/proc/meminfo: memFree=29031680/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=150460 CPUtime=25.48 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 18863 0 0 0 2543 5 0 0 20 0 2 0 331504393 154071040 18804 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 37615 18804 186 433 0 37179 0
[pid=31430/tid=31432] ppid=31428 vsize=150460 CPUtime=25.41 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 17957 0 0 0 2536 5 0 0 20 0 2 0 331504394 154071040 18804 33554432000 4194304 5964478 140736291953440 140612798715896 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150460
[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 1.93 3/179 31432
/proc/meminfo: memFree=28988780/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=150460 CPUtime=51.08 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 27650 0 0 0 5100 8 0 0 20 0 2 0 331504393 154071040 27591 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 37615 27591 186 433 0 37179 0
[pid=31430/tid=31432] ppid=31428 vsize=150460 CPUtime=50.94 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 26744 0 0 0 5086 8 0 0 20 0 2 0 331504394 154071040 27591 33554432000 4194304 5964478 140736291953440 140612798715896 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150460
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 31433
/proc/meminfo: memFree=28929596/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=216236 CPUtime=102.27 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 33679 0 0 0 10217 10 0 0 20 0 2 0 331504393 221425664 33620 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 54059 33620 186 433 0 53623 0
[pid=31430/tid=31432] ppid=31428 vsize=216236 CPUtime=102.02 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 32773 0 0 0 10191 11 0 0 20 0 2 0 331504394 221425664 33620 33554432000 4194304 5964478 140736291953440 140612798715944 4381538 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) 216236
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 31433
/proc/meminfo: memFree=28880204/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=216956 CPUtime=162.25 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 44446 0 0 0 16211 14 0 0 20 0 2 0 331504393 222162944 44444 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 54239 44444 186 433 0 53803 0
[pid=31430/tid=31432] ppid=31428 vsize=216956 CPUtime=161.84 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 43540 0 0 0 16168 16 0 0 20 0 2 0 331504394 222162944 44444 33554432000 4194304 5964478 140736291953440 140612798715704 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216956
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 31436
/proc/meminfo: memFree=28852576/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=217244 CPUtime=222.19 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 47513 0 0 0 22205 14 0 0 20 0 2 0 331504393 222457856 47676 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 54311 47676 186 433 0 53875 0
[pid=31430/tid=31432] ppid=31428 vsize=217244 CPUtime=221.65 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 46607 0 0 0 22148 17 0 0 20 0 2 0 331504394 222457856 47676 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 217244
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 31436
/proc/meminfo: memFree=28766884/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=283140 CPUtime=282.17 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 59281 0 0 0 28199 18 0 0 20 0 2 0 331504393 289935360 60170 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 70785 60170 186 433 0 70349 0
[pid=31430/tid=31432] ppid=31428 vsize=283140 CPUtime=281.48 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 58375 0 0 0 28126 22 0 0 20 0 2 0 331504394 289935360 60170 33554432000 4194304 5964478 140736291953440 140612798715896 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 283140
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 31436
/proc/meminfo: memFree=28743084/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=283428 CPUtime=342.17 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 61948 0 0 0 34197 20 0 0 20 0 2 0 331504393 290230272 62837 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 70857 62837 186 433 0 70421 0
[pid=31430/tid=31432] ppid=31428 vsize=283428 CPUtime=341.32 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 61042 0 0 0 34108 24 0 0 20 0 2 0 331504394 290230272 62837 33554432000 4194304 5964478 140736291953440 140612798715896 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 283428
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31437
/proc/meminfo: memFree=28604624/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=350152 CPUtime=402.16 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 67377 0 0 0 40192 24 0 0 20 0 2 0 331504393 358555648 68266 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 87538 68266 186 433 0 87102 0
[pid=31430/tid=31432] ppid=31428 vsize=350152 CPUtime=401.17 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 66471 0 0 0 40088 29 0 0 20 0 2 0 331504394 358555648 68266 33554432000 4194304 5964478 140736291953440 140612798715896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 350152
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31437
/proc/meminfo: memFree=28472068/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=416588 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 31447
/proc/meminfo: memFree=27997284/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1421.87 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185100 0 0 0 142100 87 0 0 20 0 2 0 331504393 837361664 185968 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 185968 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1418.42 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184194 0 0 0 141734 108 0 0 20 0 2 0 331504394 837361664 185968 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 817736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31447
/proc/meminfo: memFree=27940340/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1481.85 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185100 0 0 0 148098 87 0 0 20 0 2 0 331504393 837361664 185968 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 185968 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1478.26 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184194 0 0 0 147717 109 0 0 20 0 2 0 331504394 837361664 185968 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 817736
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31486
/proc/meminfo: memFree=28476308/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1541.84 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185100 0 0 0 154097 87 0 0 20 0 2 0 331504393 837361664 185968 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 185968 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1538.11 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184194 0 0 0 153701 110 0 0 20 0 2 0 331504394 837361664 185968 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 817736
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28381352/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1601.83 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185100 0 0 0 160096 87 0 0 20 0 2 0 331504393 837361664 185968 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 185968 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1597.96 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184194 0 0 0 159685 111 0 0 20 0 2 0 331504394 837361664 185968 33554432000 4194304 5964478 140736291953440 140612798715896 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 817736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28227352/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1661.82 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185110 0 0 0 166095 87 0 0 20 0 2 0 331504393 837361664 185985 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 185985 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1657.8 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184204 0 0 0 165668 112 0 0 20 0 2 0 331504394 837361664 185985 33554432000 4194304 5964478 140736291953440 140612798715896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 817736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228104/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1721.8 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 172093 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1717.64 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 171651 113 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4222384 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 817736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28227856/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1781.79 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 178092 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1777.49 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 177635 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 817736
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228104/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1791.4 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179053 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1787.07 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 178593 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 817736
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1794.6 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179373 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1790.26 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 178912 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 817736
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1797.79 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179692 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1793.44 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 179230 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 817736
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1798.59 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179772 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1794.24 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 179310 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 817736
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1799 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179813 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1794.65 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 179351 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 817736
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1799.39 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179852 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1795.04 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 179390 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 18446744073699065891 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 817736
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31487
/proc/meminfo: memFree=28228228/32873648 swapFree=7116/7116
[pid=31430] ppid=31428 vsize=817736 CPUtime=1799.49 cores=1,3,5,7
/proc/31430/stat : 31430 (pwbo2.02) S 31428 31430 28704 0 -1 4202496 185118 0 0 0 179862 87 0 0 20 0 2 0 331504393 837361664 186000 33554432000 4194304 5964478 140736291953440 140736291952960 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31430/statm: 204434 186000 186 433 0 203998 0
[pid=31430/tid=31432] ppid=31428 vsize=817736 CPUtime=1795.14 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (pwbo2.02) R 31428 31430 28704 0 -1 4202560 184212 0 0 0 179400 114 0 0 20 0 2 0 331504394 837361664 186000 33554432000 4194304 5964478 140736291953440 140612798715896 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 817736
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31430 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=22267
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=154824
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.49
CPU user time (s): 1798.62
CPU system time (s): 0.87
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 817736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 1.15482
maximum resident set size= 744012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185121
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= 294
involuntary context switches= 1839
runsolver used 2.79657 second user time and 7.48086 second system time
The end