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-3704189-1338087984/watcher-3704189-1338087984 -o /tmp/evaluation-result-3704189-1338087984/solver-3704189-1338087984 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704189-1338087984.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.19 1.71 1.89 3/177 18340
/proc/meminfo: memFree=28181288/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83712 CPUtime=0 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 781 0 0 0 0 0 0 0 20 0 2 0 274926934 85721088 730 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20928 730 189 433 0 20492 0
[pid=18340/tid=18341] ppid=18338 vsize=83712 CPUtime=0 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 2 0 274926935 85721088 730 33554432000 4194304 5965102 140737076716736 140734667447224 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0505849 s]
/proc/loadavg: 1.19 1.71 1.89 3/177 18340
/proc/meminfo: memFree=28181288/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83712 CPUtime=0.04 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 923 0 0 0 4 0 0 0 20 0 2 0 274926934 85721088 872 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20928 872 190 433 0 20492 0
[pid=18340/tid=18341] ppid=18338 vsize=83712 CPUtime=0.03 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 205 0 0 0 3 0 0 0 20 0 2 0 274926935 85721088 872 33554432000 4194304 5965102 140737076716736 140734667447224 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83712
[startup+0.100295 s]
/proc/loadavg: 1.19 1.71 1.89 3/177 18340
/proc/meminfo: memFree=28181288/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83712 CPUtime=0.09 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 1041 0 0 0 9 0 0 0 20 0 2 0 274926934 85721088 990 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20928 990 190 433 0 20492 0
[pid=18340/tid=18341] ppid=18338 vsize=83712 CPUtime=0.08 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 323 0 0 0 8 0 0 0 20 0 2 0 274926935 85721088 990 33554432000 4194304 5965102 140737076716736 140734667447224 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83712
[startup+0.300256 s]
/proc/loadavg: 1.19 1.71 1.89 3/177 18340
/proc/meminfo: memFree=28181288/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83712 CPUtime=0.29 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 1387 0 0 0 29 0 0 0 20 0 2 0 274926934 85721088 1336 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20928 1336 190 433 0 20492 0
[pid=18340/tid=18341] ppid=18338 vsize=83712 CPUtime=0.28 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 669 0 0 0 28 0 0 0 20 0 2 0 274926935 85721088 1336 33554432000 4194304 5965102 140737076716736 140734667447224 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83712
[startup+0.700253 s]
/proc/loadavg: 1.19 1.71 1.89 3/177 18340
/proc/meminfo: memFree=28181288/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83856 CPUtime=0.69 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 1767 0 0 0 69 0 0 0 20 0 2 0 274926934 85868544 1716 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20964 1716 190 433 0 20528 0
[pid=18340/tid=18341] ppid=18338 vsize=83856 CPUtime=0.68 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 1049 0 0 0 68 0 0 0 20 0 2 0 274926935 85868544 1716 33554432000 4194304 5965102 140737076716736 140552838489912 4393751 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83856
[startup+1.50025 s]
/proc/loadavg: 1.25 1.72 1.89 3/179 18342
/proc/meminfo: memFree=28174708/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83856 CPUtime=1.49 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 2114 0 0 0 149 0 0 0 20 0 2 0 274926934 85868544 2063 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20964 2063 190 433 0 20528 0
[pid=18340/tid=18341] ppid=18338 vsize=83856 CPUtime=1.48 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 1396 0 0 0 148 0 0 0 20 0 2 0 274926935 85868544 2063 33554432000 4194304 5965102 140737076716736 140552838489912 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83856
[startup+3.10026 s]
/proc/loadavg: 1.25 1.72 1.89 3/179 18342
/proc/meminfo: memFree=28169508/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=83928 CPUtime=3.09 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 2946 0 0 0 309 0 0 0 20 0 2 0 274926934 85942272 2895 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 20982 2895 190 433 0 20546 0
[pid=18340/tid=18341] ppid=18338 vsize=83928 CPUtime=3.07 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 2228 0 0 0 307 0 0 0 20 0 2 0 274926935 85942272 2895 33554432000 4194304 5965102 140737076716736 140552838489912 5137146 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) 83928
[startup+6.30028 s]
/proc/loadavg: 1.25 1.72 1.89 3/179 18342
/proc/meminfo: memFree=28157852/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=6.28 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 4179 0 0 0 628 0 0 0 20 0 2 0 274926934 86052864 4128 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 4128 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=6.26 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 3461 0 0 0 626 0 0 0 20 0 2 0 274926935 86052864 4128 33554432000 4194304 5965102 140737076716736 140552838489912 5137076 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) 84036
Solver just ended. Dumping a history of the last processes samples
[startup+7.90026 s]
/proc/loadavg: 1.39 1.74 1.90 3/179 18342
/proc/meminfo: memFree=28155008/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=7.89 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 4681 0 0 0 788 1 0 0 20 0 2 0 274926934 86052864 4630 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 4630 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=7.86 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 3963 0 0 0 786 0 0 0 20 0 2 0 274926935 86052864 4630 33554432000 4194304 5965102 140737076716736 140552838489912 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 84036
[startup+8.70026 s]
/proc/loadavg: 1.39 1.74 1.90 3/179 18342
/proc/meminfo: memFree=28154388/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=8.7 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 4718 0 0 0 869 1 0 0 20 0 2 0 274926934 86052864 4667 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 4667 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=8.67 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 4000 0 0 0 867 0 0 0 20 0 2 0 274926935 86052864 4667 33554432000 4194304 5965102 140737076716736 140552838489912 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 84036
[startup+9.50027 s]
/proc/loadavg: 1.39 1.74 1.90 3/179 18342
/proc/meminfo: memFree=28154388/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=9.49 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 4953 0 0 0 948 1 0 0 20 0 2 0 274926934 86052864 4902 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 4902 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=9.46 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 4235 0 0 0 945 1 0 0 20 0 2 0 274926935 86052864 4902 33554432000 4194304 5965102 140737076716736 140552838489912 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 84036
[startup+9.70028 s]
/proc/loadavg: 1.39 1.74 1.90 3/179 18342
/proc/meminfo: memFree=28154388/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=9.69 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 5064 0 0 0 968 1 0 0 20 0 2 0 274926934 86052864 5013 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 5013 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=9.66 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 4346 0 0 0 965 1 0 0 20 0 2 0 274926935 86052864 5013 33554432000 4194304 5965102 140737076716736 140552838489912 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 84036
[startup+9.80029 s]
/proc/loadavg: 1.39 1.74 1.90 3/179 18342
/proc/meminfo: memFree=28151800/32873844 swapFree=6856/6856
[pid=18340] ppid=18338 vsize=84036 CPUtime=9.8 cores=1,3,5,7
/proc/18340/stat : 18340 (pwbo2.0) S 18338 18340 18256 0 -1 4202496 5128 0 0 0 979 1 0 0 20 0 2 0 274926934 86052864 5077 33554432000 4194304 5965102 140737076716736 140737076716256 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18340/statm: 21009 5077 190 433 0 20573 0
[pid=18340/tid=18341] ppid=18338 vsize=84036 CPUtime=9.76 cores=1,3,5,7
/proc/18340/task/18341/stat : 18341 (pwbo2.0) R 18338 18340 18256 0 -1 4202560 4410 0 0 0 975 1 0 0 20 0 2 0 274926935 86052864 5077 33554432000 4194304 5965102 140737076716736 140552838489912 4394786 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 84036
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18340 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=759516
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 9.78251
# while last known CPU time is 9.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 9.81155
CPU time (s): 9.8
CPU user time (s): 9.79
CPU system time (s): 0.01
CPU usage (%): 99.8822
Max. virtual memory (cumulated for all children) (KiB): 84036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.75952
system time used= 0.022996
maximum resident set size= 20336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5135
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= 11
runsolver used 0.013997 second user time and 0.054991 second system time
The end