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-3713188-1338215089/watcher-3713188-1338215089 -o /tmp/evaluation-result-3713188-1338215089/solver-3713188-1338215089 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713188-1338215089.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: 2.10 2.04 2.01 3/177 1797
/proc/meminfo: memFree=26862356/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 2 0 287636181 85659648 748 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 748 192 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 2 0 287636181 85659648 752 33554432000 4194304 5964318 140736664856400 140734039207608 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.106488 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 1797
/proc/meminfo: memFree=26862356/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=0.1 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 1168 0 0 0 10 0 0 0 20 0 2 0 287636181 85659648 1117 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 1117 194 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=0.09 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 443 0 0 0 9 0 0 0 20 0 2 0 287636181 85659648 1117 33554432000 4194304 5964318 140736664856400 140734039207608 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 83652
[startup+0.200291 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 1797
/proc/meminfo: memFree=26862356/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=0.19 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 1400 0 0 0 19 0 0 0 20 0 2 0 287636181 85659648 1349 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 1349 194 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=0.18 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 675 0 0 0 18 0 0 0 20 0 2 0 287636181 85659648 1349 33554432000 4194304 5964318 140736664856400 140734039207608 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83652
[startup+0.300285 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 1797
/proc/meminfo: memFree=26862356/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=0.29 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 1580 0 0 0 29 0 0 0 20 0 2 0 287636181 85659648 1529 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 1529 194 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=0.28 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 856 0 0 0 28 0 0 0 20 0 2 0 287636181 85659648 1530 33554432000 4194304 5964318 140736664856400 140734039207608 5136324 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) 83652
[startup+0.700253 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 1797
/proc/meminfo: memFree=26862356/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=0.69 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 2092 0 0 0 69 0 0 0 20 0 2 0 287636181 85659648 2041 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 2041 194 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=0.68 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 1367 0 0 0 68 0 0 0 20 0 2 0 287636181 85659648 2041 33554432000 4194304 5964318 140736664856400 140734039207608 4400001 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) 83652
[startup+1.50025 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 1799
/proc/meminfo: memFree=26853676/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83796 CPUtime=1.49 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 2512 0 0 0 149 0 0 0 20 0 2 0 287636181 85807104 2461 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20949 2461 194 433 0 20513 0
[pid=1797/tid=1798] ppid=1795 vsize=83796 CPUtime=1.48 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 1787 0 0 0 148 0 0 0 20 0 2 0 287636181 85807104 2461 33554432000 4194304 5964318 140736664856400 140627024029688 4400001 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) 83796
[startup+3.10025 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 1799
/proc/meminfo: memFree=26850560/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83796 CPUtime=3.09 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 3091 0 0 0 309 0 0 0 20 0 2 0 287636181 85807104 3040 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20949 3040 194 433 0 20513 0
[pid=1797/tid=1798] ppid=1795 vsize=83796 CPUtime=3.07 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 2366 0 0 0 307 0 0 0 20 0 2 0 287636181 85807104 3040 33554432000 4194304 5964318 140736664856400 140627024029496 4399971 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) 83796
[startup+6.30026 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26847088/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83868 CPUtime=6.29 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 4266 0 0 0 628 1 0 0 20 0 2 0 287636181 85880832 4215 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20967 4215 194 433 0 20531 0
[pid=1797/tid=1798] ppid=1795 vsize=83868 CPUtime=6.27 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 3541 0 0 0 626 1 0 0 20 0 2 0 287636181 85880832 4215 33554432000 4194304 5964318 140736664856400 140627024029688 4400001 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) 83868
Solver just ended. Dumping a history of the last processes samples
[startup+6.40031 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26847088/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83868 CPUtime=6.39 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 4329 0 0 0 638 1 0 0 20 0 2 0 287636181 85880832 4278 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20967 4278 194 433 0 20531 0
[pid=1797/tid=1798] ppid=1795 vsize=83868 CPUtime=6.36 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 3604 0 0 0 635 1 0 0 20 0 2 0 287636181 85880832 4278 33554432000 4194304 5964318 140736664856400 140627024029688 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 83868
[startup+8.00027 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26842128/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83868 CPUtime=7.99 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 5106 0 0 0 797 2 0 0 20 0 2 0 287636181 85880832 5055 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20967 5055 194 433 0 20531 0
[pid=1797/tid=1798] ppid=1795 vsize=83868 CPUtime=7.96 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 4381 0 0 0 795 1 0 0 20 0 2 0 287636181 85880832 5055 33554432000 4194304 5964318 140736664856400 140627024029496 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 83868
[startup+8.80026 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26842004/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83868 CPUtime=8.8 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 5148 0 0 0 878 2 0 0 20 0 2 0 287636181 85880832 5097 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20967 5097 194 433 0 20531 0
[pid=1797/tid=1798] ppid=1795 vsize=83868 CPUtime=8.76 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 4423 0 0 0 875 1 0 0 20 0 2 0 287636181 85880832 5097 33554432000 4194304 5964318 140736664856400 140627024029496 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 83868
[startup+9.20027 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26842004/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83868 CPUtime=9.19 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 5271 0 0 0 917 2 0 0 20 0 2 0 287636181 85880832 5220 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20967 5220 194 433 0 20531 0
[pid=1797/tid=1798] ppid=1795 vsize=83868 CPUtime=9.16 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 4546 0 0 0 915 1 0 0 20 0 2 0 287636181 85880832 5220 33554432000 4194304 5964318 140736664856400 140627024029496 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 83868
[startup+9.40026 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 1799
/proc/meminfo: memFree=26842004/32873648 swapFree=6336/6336
[pid=1797] ppid=1795 vsize=83652 CPUtime=9.39 cores=0,2,4,6
/proc/1797/stat : 1797 (wbo1.71) S 1795 1797 32463 0 -1 4202496 5468 0 0 0 937 2 0 0 20 0 2 0 287636181 85659648 5365 33554432000 4194304 5964318 140736664856400 140736664855920 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1797/statm: 20913 5365 198 433 0 20477 0
[pid=1797/tid=1798] ppid=1795 vsize=83652 CPUtime=9.36 cores=0,2,4,6
/proc/1797/task/1798/stat : 1798 (wbo1.71) R 1795 1797 32463 0 -1 4202560 4743 0 0 0 935 1 0 0 20 0 2 0 287636181 85659648 5365 33554432000 4194304 5964318 140736664856400 140627024029496 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 83652
Child status: 255
Real time (s): 9.43959
CPU time (s): 9.42157
CPU user time (s): 9.39957
CPU system time (s): 0.021996
CPU usage (%): 99.809
Max. virtual memory (cumulated for all children) (KiB): 83868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.39957
system time used= 0.021996
maximum resident set size= 21660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5471
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= 14
runsolver used 0.017997 second user time and 0.036994 second system time
The end