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-3704109-1338090992/watcher-3704109-1338090992 -o /tmp/evaluation-result-3704109-1338090992/solver-3704109-1338090992 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704109-1338090992.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: 2.00 2.00 1.93 3/177 13704
/proc/meminfo: memFree=27518528/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83848 CPUtime=0 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 848 0 0 0 0 0 0 0 20 0 2 0 275224982 85860352 791 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20962 791 185 433 0 20526 0
[pid=13704/tid=13705] ppid=13702 vsize=83848 CPUtime=0 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 2 0 275224983 85860352 792 33554432000 4194304 5965102 140737258410480 140737010901224 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.087025 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13704
/proc/meminfo: memFree=27518528/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83848 CPUtime=0.08 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 1170 0 0 0 8 0 0 0 20 0 2 0 275224982 85860352 1113 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20962 1113 190 433 0 20526 0
[pid=13704/tid=13705] ppid=13702 vsize=83848 CPUtime=0.07 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 413 0 0 0 7 0 0 0 20 0 2 0 275224983 85860352 1113 33554432000 4194304 5965102 140737258410480 140737010901224 4382875 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83848
[startup+0.100184 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13704
/proc/meminfo: memFree=27518528/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83848 CPUtime=0.09 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 1206 0 0 0 9 0 0 0 20 0 2 0 275224982 85860352 1149 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20962 1149 190 433 0 20526 0
[pid=13704/tid=13705] ppid=13702 vsize=83848 CPUtime=0.08 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 449 0 0 0 8 0 0 0 20 0 2 0 275224983 85860352 1149 33554432000 4194304 5965102 140737258410480 140737010901224 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83848
[startup+0.300152 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13704
/proc/meminfo: memFree=27518528/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83848 CPUtime=0.29 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 1786 0 0 0 29 0 0 0 20 0 2 0 275224982 85860352 1729 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20962 1730 190 433 0 20526 0
[pid=13704/tid=13705] ppid=13702 vsize=83848 CPUtime=0.28 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 1030 0 0 0 28 0 0 0 20 0 2 0 275224983 85860352 1730 33554432000 4194304 5965102 140737258410480 140737010901224 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83848
[startup+0.700143 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 13704
/proc/meminfo: memFree=27518528/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83992 CPUtime=0.69 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 2595 0 0 0 69 0 0 0 20 0 2 0 275224982 86007808 2538 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20998 2538 190 433 0 20562 0
[pid=13704/tid=13705] ppid=13702 vsize=83992 CPUtime=0.68 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 1838 0 0 0 68 0 0 0 20 0 2 0 275224983 86007808 2538 33554432000 4194304 5965102 140737258410480 140737010901224 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83992
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27508228/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=83992 CPUtime=1.49 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 3235 0 0 0 149 0 0 0 20 0 2 0 275224982 86007808 3178 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 20998 3178 190 433 0 20562 0
[pid=13704/tid=13705] ppid=13702 vsize=83992 CPUtime=1.48 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 2478 0 0 0 148 0 0 0 20 0 2 0 275224983 86007808 3178 33554432000 4194304 5965102 140737258410480 140432318015480 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83992
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27504880/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84064 CPUtime=3.09 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 4375 0 0 0 308 1 0 0 20 0 2 0 275224982 86081536 4318 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21016 4318 190 433 0 20580 0
[pid=13704/tid=13705] ppid=13702 vsize=84064 CPUtime=3.07 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 3618 0 0 0 306 1 0 0 20 0 2 0 275224983 86081536 4318 33554432000 4194304 5965102 140737258410480 140432318015480 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84064
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27494704/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84064 CPUtime=6.29 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 6050 0 0 0 628 1 0 0 20 0 2 0 275224982 86081536 5993 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21016 5993 190 433 0 20580 0
[pid=13704/tid=13705] ppid=13702 vsize=84064 CPUtime=6.26 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 5293 0 0 0 625 1 0 0 20 0 2 0 275224983 86081536 5993 33554432000 4194304 5965102 140737258410480 140432318015288 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84064
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27485428/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84172 CPUtime=12.69 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 8132 0 0 0 1267 2 0 0 20 0 2 0 275224982 86192128 8075 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21043 8075 190 433 0 20607 0
[pid=13704/tid=13705] ppid=13702 vsize=84172 CPUtime=12.65 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 7375 0 0 0 1263 2 0 0 20 0 2 0 275224983 86192128 8075 33554432000 4194304 5965102 140737258410480 140432318015480 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84172
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27477624/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84332 CPUtime=15.89 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 10026 0 0 0 1586 3 0 0 20 0 2 0 275224982 86355968 9969 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21083 9969 190 433 0 20647 0
[pid=13704/tid=13705] ppid=13702 vsize=84332 CPUtime=15.84 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 9269 0 0 0 1581 3 0 0 20 0 2 0 275224983 86355968 9969 33554432000 4194304 5965102 140737258410480 140432318015288 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 84332
[startup+17.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27476276/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84332 CPUtime=17.5 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 10115 0 0 0 1747 3 0 0 20 0 2 0 275224982 86355968 10058 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21083 10058 190 433 0 20647 0
[pid=13704/tid=13705] ppid=13702 vsize=84332 CPUtime=17.44 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 9358 0 0 0 1741 3 0 0 20 0 2 0 275224983 86355968 10058 33554432000 4194304 5965102 140737258410480 140432318015288 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 17.5
Current children cumulated vsize (KiB) 84332
[startup+19.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27474912/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84332 CPUtime=19.09 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 10295 0 0 0 1906 3 0 0 20 0 2 0 275224982 86355968 10238 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21083 10238 190 433 0 20647 0
[pid=13704/tid=13705] ppid=13702 vsize=84332 CPUtime=19.03 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 9538 0 0 0 1900 3 0 0 20 0 2 0 275224983 86355968 10238 33554432000 4194304 5965102 140737258410480 140432318015288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 84332
[startup+19.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27474912/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84332 CPUtime=19.49 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 10331 0 0 0 1946 3 0 0 20 0 2 0 275224982 86355968 10274 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21083 10274 190 433 0 20647 0
[pid=13704/tid=13705] ppid=13702 vsize=84332 CPUtime=19.43 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 9574 0 0 0 1940 3 0 0 20 0 2 0 275224983 86355968 10274 33554432000 4194304 5965102 140737258410480 140432318015288 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.49
Current children cumulated vsize (KiB) 84332
[startup+19.9002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13706
/proc/meminfo: memFree=27474168/32873660 swapFree=7120/7120
[pid=13704] ppid=13702 vsize=84332 CPUtime=19.89 cores=0,2,4,6
/proc/13704/stat : 13704 (pwbo2.0) S 13702 13704 12898 0 -1 4202496 10516 0 0 0 1986 3 0 0 20 0 2 0 275224982 86355968 10459 33554432000 4194304 5965102 140737258410480 140737258410000 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13704/statm: 21083 10459 190 433 0 20647 0
[pid=13704/tid=13705] ppid=13702 vsize=84332 CPUtime=19.83 cores=0,2,4,6
/proc/13704/task/13705/stat : 13705 (pwbo2.0) R 13702 13704 12898 0 -1 4202560 9759 0 0 0 1980 3 0 0 20 0 2 0 275224983 86355968 10459 33554432000 4194304 5965102 140737258410480 140432318015480 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 84332
Child status: 255
Real time (s): 19.9538
CPU time (s): 19.905
CPU user time (s): 19.86
CPU system time (s): 0.044993
CPU usage (%): 99.7555
Max. virtual memory (cumulated for all children) (KiB): 84332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.86
system time used= 0.044993
maximum resident set size= 42036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10566
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= 4
involuntary context switches= 21
runsolver used 0.032994 second user time and 0.099984 second system time
The end