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-3728171-1338673623/watcher-3728171-1338673623 -o /tmp/evaluation-result-3728171-1338673623/solver-3728171-1338673623 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728171-1338673623.wbo
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: 1.05 1.54 1.81 3/173 15392
/proc/meminfo: memFree=28223528/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 2 0 333486883 85729280 746 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 746 192 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 2 0 333486883 85729280 747 33554432000 4194304 5964350 140736826487936 140736826487352 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0198001 s]
/proc/loadavg: 1.05 1.54 1.81 3/173 15392
/proc/meminfo: memFree=28223528/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=0.01 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 852 0 0 0 1 0 0 0 20 0 2 0 333486883 85729280 801 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 801 193 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=0 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 333486883 85729280 801 33554432000 4194304 5964350 140736826487936 140736826487352 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83720
[startup+0.100291 s]
/proc/loadavg: 1.05 1.54 1.81 3/173 15392
/proc/meminfo: memFree=28223528/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=0.09 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 1077 0 0 0 9 0 0 0 20 0 2 0 333486883 85729280 1026 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 1026 193 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=0.08 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 356 0 0 0 8 0 0 0 20 0 2 0 333486883 85729280 1026 33554432000 4194304 5964350 140736826487936 140736826487352 4399944 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) 83720
[startup+0.300254 s]
/proc/loadavg: 1.05 1.54 1.81 3/173 15392
/proc/meminfo: memFree=28223528/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=0.29 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 1442 0 0 0 29 0 0 0 20 0 2 0 333486883 85729280 1391 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 1391 193 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=0.28 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 721 0 0 0 28 0 0 0 20 0 2 0 333486883 85729280 1391 33554432000 4194304 5964350 140736826487936 140736826487352 4221120 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) 83720
[startup+0.700255 s]
/proc/loadavg: 1.05 1.54 1.81 3/173 15392
/proc/meminfo: memFree=28223528/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=0.69 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 1993 0 0 0 69 0 0 0 20 0 2 0 333486883 85729280 2366 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 2366 193 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=0.68 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 1272 0 0 0 68 0 0 0 20 0 2 0 333486883 85729280 2366 33554432000 4194304 5964350 140736826487936 139901726631928 4403584 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) 83720
[startup+1.50026 s]
/proc/loadavg: 1.05 1.54 1.81 3/179 15398
/proc/meminfo: memFree=28207524/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83864 CPUtime=1.49 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 2484 0 0 0 149 0 0 0 20 0 2 0 333486883 85876736 2857 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20966 2857 193 433 0 20530 0
[pid=15392/tid=15395] ppid=15389 vsize=83864 CPUtime=1.48 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 1763 0 0 0 148 0 0 0 20 0 2 0 333486883 85876736 2857 33554432000 4194304 5964350 140736826487936 139901726631736 4392755 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) 83864
[startup+3.10031 s]
/proc/loadavg: 1.05 1.54 1.81 3/179 15398
/proc/meminfo: memFree=28202688/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83936 CPUtime=3.08 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 3224 0 0 0 308 0 0 0 20 0 2 0 333486883 85950464 3597 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20984 3597 193 433 0 20548 0
[pid=15392/tid=15395] ppid=15389 vsize=83936 CPUtime=3.07 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 2503 0 0 0 307 0 0 0 20 0 2 0 333486883 85950464 3597 33554432000 4194304 5964350 140736826487936 139901726631736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83936
[startup+6.30029 s]
/proc/loadavg: 1.12 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28194256/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=6.29 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 3582 0 0 0 628 1 0 0 20 0 2 0 333486883 85729280 3751 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 3751 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=6.26 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 2861 0 0 0 626 0 0 0 20 0 2 0 333486883 85729280 3751 33554432000 4194304 5964350 140736826487936 139901726631864 4400448 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) 83720
Solver just ended. Dumping a history of the last processes samples
[startup+7.9003 s]
/proc/loadavg: 1.12 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28187320/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=7.89 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 4810 0 0 0 788 1 0 0 20 0 2 0 333486883 85729280 4979 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 4979 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=7.86 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 4089 0 0 0 785 1 0 0 20 0 2 0 333486883 85729280 4979 33554432000 4194304 5964350 140736826487936 139901726631736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 83720
[startup+8.70029 s]
/proc/loadavg: 1.19 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28185460/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=8.69 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 5298 0 0 0 868 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 5467 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=8.66 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 4577 0 0 0 865 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 139901726631736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 83720
[startup+9.10028 s]
/proc/loadavg: 1.19 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28185460/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=9.09 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 5298 0 0 0 908 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 5467 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=9.06 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 4577 0 0 0 905 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 139901726632312 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 83720
[startup+9.50029 s]
/proc/loadavg: 1.19 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28185460/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=9.49 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 5298 0 0 0 948 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 5467 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=9.46 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 4577 0 0 0 945 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 139901726632312 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 83720
[startup+9.60028 s]
/proc/loadavg: 1.19 1.55 1.82 3/179 15398
/proc/meminfo: memFree=28185460/32873844 swapFree=7108/7108
[pid=15392] ppid=15389 vsize=83720 CPUtime=9.59 cores=0,2,4,6
/proc/15392/stat : 15392 (wbo1.72) S 15389 15392 14380 0 -1 4202496 5298 0 0 0 958 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 140736826487456 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15392/statm: 20930 5467 197 433 0 20494 0
[pid=15392/tid=15395] ppid=15389 vsize=83720 CPUtime=9.56 cores=0,2,4,6
/proc/15392/task/15395/stat : 15395 (wbo1.72) R 15389 15392 14380 0 -1 4202560 4577 0 0 0 955 1 0 0 20 0 2 0 333486883 85729280 5467 33554432000 4194304 5964350 140736826487936 139901726632312 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 83720
Child status: 255
Real time (s): 9.69839
CPU time (s): 9.67253
CPU user time (s): 9.64853
CPU system time (s): 0.023996
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 83936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.64853
system time used= 0.023996
maximum resident set size= 21880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5301
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= 6
involuntary context switches= 11
runsolver used 0.043993 second user time and 0.093985 second system time
The end