runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461274-1307070885/watcher-3461274-1307070885 -o /tmp/evaluation-result-3461274-1307070885/solver-3461274-1307070885 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461274-1307070885.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.11 2.05 1.91 2/473 22997
/proc/meminfo: memFree=19945836/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=2240 CPUtime=0.01 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 356 0 0 0 1 0 0 0 25 0 1 0 818688125 2293760 307 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 560 307 180 372 0 185 0
[startup+0.0869521 s]
/proc/loadavg: 2.11 2.05 1.91 2/473 22997
/proc/meminfo: memFree=19945836/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=2900 CPUtime=0.08 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 512 0 0 0 8 0 0 0 25 0 1 0 818688125 2969600 463 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 725 463 180 372 0 350 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2900
[startup+0.100952 s]
/proc/loadavg: 2.11 2.05 1.91 2/473 22997
/proc/meminfo: memFree=19945836/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=2900 CPUtime=0.09 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 529 0 0 0 9 0 0 0 25 0 1 0 818688125 2969600 480 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 725 480 180 372 0 350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2900
[startup+0.300909 s]
/proc/loadavg: 2.11 2.05 1.91 2/473 22997
/proc/meminfo: memFree=19945836/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=3836 CPUtime=0.29 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 755 0 0 0 29 0 0 0 25 0 1 0 818688125 3928064 706 33554432000 4194304 5714214 140737108632464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 959 706 180 372 0 584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3836
[startup+0.700838 s]
/proc/loadavg: 2.11 2.05 1.91 2/473 22997
/proc/meminfo: memFree=19945836/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=4916 CPUtime=0.69 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 1011 0 0 0 69 0 0 0 25 0 1 0 818688125 5033984 962 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 1229 962 180 372 0 854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4916
[startup+1.5007 s]
/proc/loadavg: 2.11 2.05 1.91 3/474 22998
/proc/meminfo: memFree=19941240/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=6260 CPUtime=1.49 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 1353 0 0 0 149 0 0 0 25 0 1 0 818688125 6410240 1304 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 1565 1304 180 372 0 1190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6260
[startup+3.10031 s]
/proc/loadavg: 2.11 2.05 1.91 3/474 22998
/proc/meminfo: memFree=19938624/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=8092 CPUtime=3.09 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 1784 0 0 0 308 1 0 0 25 0 1 0 818688125 8286208 1735 33554432000 4194304 5714214 140737108632464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 2023 1735 180 372 0 1648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8092
[startup+6.30087 s]
/proc/loadavg: 2.10 2.05 1.91 3/474 22998
/proc/meminfo: memFree=19935060/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=11424 CPUtime=6.29 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 2620 0 0 0 626 3 0 0 25 0 1 0 818688125 11698176 2571 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 2856 2571 180 372 0 2481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11424
[startup+12.7007 s]
/proc/loadavg: 2.09 2.05 1.91 3/474 22998
/proc/meminfo: memFree=19929380/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=16080 CPUtime=12.69 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 3727 0 0 0 1264 5 0 0 25 0 1 0 818688125 16465920 3678 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 4020 3678 180 372 0 3645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16080
[startup+25.5005 s]
/proc/loadavg: 2.07 2.05 1.91 3/474 22999
/proc/meminfo: memFree=19922808/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=23316 CPUtime=25.49 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 5462 0 0 0 2539 10 0 0 25 0 1 0 818688125 23875584 5413 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 5829 5413 180 372 0 5454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23316
[startup+51.101 s]
/proc/loadavg: 2.05 2.04 1.91 3/474 22999
/proc/meminfo: memFree=19908540/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=38264 CPUtime=51.09 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 9133 0 0 0 5089 20 0 0 25 0 1 0 818688125 39182336 9084 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 9566 9084 180 372 0 9191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38264
[startup+102.318 s]
/proc/loadavg: 2.02 2.03 1.91 3/474 23056
/proc/meminfo: memFree=20309344/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=62088 CPUtime=102.31 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 14997 0 0 0 10191 40 0 0 25 0 1 0 818688125 63578112 14948 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 15522 14948 180 372 0 15147 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 62088
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/474 23057
/proc/meminfo: memFree=20256612/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=89212 CPUtime=162.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 21544 0 0 0 16164 66 0 0 25 0 1 0 818688125 91353088 21495 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 22303 21495 180 372 0 21928 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 89212
[startup+222.301 s]
/proc/loadavg: 2.16 2.05 1.92 3/474 23059
/proc/meminfo: memFree=20196684/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=113860 CPUtime=222.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 27608 0 0 0 22142 88 0 0 25 0 1 0 818688125 116592640 27559 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 28465 27559 180 372 0 28090 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 113860
[startup+282.3 s]
/proc/loadavg: 2.13 2.06 1.93 3/474 23061
/proc/meminfo: memFree=20157588/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=136500 CPUtime=282.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 33236 0 0 0 28124 106 0 0 25 0 1 0 818688125 139776000 33187 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 34125 33187 180 372 0 33750 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 136500
[startup+342.301 s]
/proc/loadavg: 2.05 2.05 1.93 3/474 23062
/proc/meminfo: memFree=20118484/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=158552 CPUtime=342.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 38591 0 0 0 34102 128 0 0 25 0 1 0 818688125 162357248 38542 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 39638 38542 180 372 0 39263 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 158552
[startup+402.301 s]
/proc/loadavg: 2.13 2.07 1.94 3/474 23064
/proc/meminfo: memFree=20073944/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=181872 CPUtime=402.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 44343 0 0 0 40080 150 0 0 25 0 1 0 818688125 186236928 44294 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 45468 44294 180 372 0 45093 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 181872
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 2.11 2.06 1.94 3/474 23064
/proc/meminfo: memFree=20069228/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=184656 CPUtime=409.5 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 45026 0 0 0 40798 152 0 0 25 0 1 0 818688125 189087744 44977 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 46164 44977 180 372 0 45789 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 184656
[startup+435.1 s]
/proc/loadavg: 2.15 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20050124/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=193452 CPUtime=435.1 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 47201 0 0 0 43350 160 0 0 25 0 1 0 818688125 198094848 47152 33554432000 4194304 5714214 140737108632464 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 48363 47152 180 372 0 47988 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 193452
[startup+447.901 s]
/proc/loadavg: 2.12 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20045148/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=198008 CPUtime=447.91 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 48304 0 0 0 44626 165 0 0 25 0 1 0 818688125 202760192 48255 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 49502 48255 180 372 0 49127 0
Current children cumulated CPU time (s) 447.91
Current children cumulated vsize (KiB) 198008
[startup+454.318 s]
/proc/loadavg: 2.11 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20042540/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=200732 CPUtime=454.32 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49006 0 0 0 45266 166 0 0 25 0 1 0 818688125 205549568 48957 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50183 48957 180 372 0 49808 0
Current children cumulated CPU time (s) 454.32
Current children cumulated vsize (KiB) 200732
[startup+455.901 s]
/proc/loadavg: 2.11 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20042044/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=201128 CPUtime=455.9 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49083 0 0 0 45423 167 0 0 25 0 1 0 818688125 205955072 49034 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50282 49034 180 372 0 49907 0
Current children cumulated CPU time (s) 455.9
Current children cumulated vsize (KiB) 201128
[startup+457.5 s]
/proc/loadavg: 2.10 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20041920/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=201128 CPUtime=457.51 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49085 0 0 0 45584 167 0 0 25 0 1 0 818688125 205955072 49036 33554432000 4194304 5714214 140737108632464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50282 49036 180 372 0 49907 0
Current children cumulated CPU time (s) 457.51
Current children cumulated vsize (KiB) 201128
[startup+458.3 s]
/proc/loadavg: 2.10 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20041920/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=201128 CPUtime=458.3 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49092 0 0 0 45662 168 0 0 25 0 1 0 818688125 205955072 49043 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50282 49043 180 372 0 49907 0
Current children cumulated CPU time (s) 458.3
Current children cumulated vsize (KiB) 201128
[startup+458.718 s]
/proc/loadavg: 2.10 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20042036/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=201128 CPUtime=458.72 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49097 0 0 0 45704 168 0 0 25 0 1 0 818688125 205955072 49048 33554432000 4194304 5714214 140737108632464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50282 49048 180 372 0 49907 0
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (KiB) 201128
[startup+458.801 s]
/proc/loadavg: 2.10 2.07 1.94 3/474 23065
/proc/meminfo: memFree=20042036/32950928 swapFree=61858088/67111528
[pid=22997] ppid=22995 vsize=201128 CPUtime=458.8 cores=0,2,4,6
/proc/22997/stat : 22997 (wbo1.6) R 22995 22997 21173 0 -1 4202496 49098 0 0 0 45712 168 0 0 25 0 1 0 818688125 205955072 49049 33554432000 4194304 5714214 140737108632464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22997/statm: 50282 49049 180 372 0 49907 0
Current children cumulated CPU time (s) 458.8
Current children cumulated vsize (KiB) 201128
Child status: 0
Real time (s): 458.82
CPU time (s): 458.821
CPU user time (s): 457.127
CPU system time (s): 1.69374
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 201128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.128
system time used= 1.69374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49099
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= 5
involuntary context switches= 353
runsolver used 2.28165 second user time and 4.80527 second system time
The end