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-3707629-1338215682/watcher-3707629-1338215682 -o /tmp/evaluation-result-3707629-1338215682/solver-3707629-1338215682 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707629-1338215682.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 2.00 3/176 17023
/proc/meminfo: memFree=31213452/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=12648 CPUtime=0 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 287693065 12951552 263 33554432000 134512640 137138936 4294864320 4294862848 134517592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 3162 263 178 642 0 2089 0

[startup+0.0762169 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17023
/proc/meminfo: memFree=31213452/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=15792 CPUtime=0.07 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 1357 0 0 0 7 0 0 0 20 0 1 0 287693065 16171008 1311 33554432000 134512640 137138936 4294864320 4294862784 134602939 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 3948 1311 419 642 0 2875 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15792

[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17023
/proc/meminfo: memFree=31213452/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=16884 CPUtime=0.09 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 1729 0 0 0 9 0 0 0 20 0 1 0 287693065 17289216 1683 33554432000 134512640 137138936 4294864320 4294862848 134517592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 4221 1683 509 642 0 3148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16884

[startup+0.300256 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17023
/proc/meminfo: memFree=31213452/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=21428 CPUtime=0.29 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 3375 0 0 0 28 1 0 0 20 0 1 0 287693065 21942272 2900 33554432000 134512640 137138936 4294864320 4294840748 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 5357 2900 185 642 0 4713 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21428

[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17023
/proc/meminfo: memFree=31213452/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=21196 CPUtime=0.69 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 3965 0 0 0 66 3 0 0 20 0 1 0 287693065 21704704 2863 33554432000 134512640 137138936 4294864320 4294863436 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 5299 2863 192 642 0 4655 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21196

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31201780/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=22612 CPUtime=1.49 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 4309 0 0 0 145 4 0 0 20 0 1 0 287693065 23154688 3207 33554432000 134512640 137138936 4294864320 4294863060 136296964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 5653 3207 192 642 0 5009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22612

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31196696/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=28448 CPUtime=3.09 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 5764 0 0 0 303 6 0 0 20 0 1 0 287693065 29130752 4662 33554432000 134512640 137138936 4294864320 4294863248 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 7112 4662 192 642 0 6468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28448

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31179940/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=39528 CPUtime=6.29 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 8553 0 0 0 620 9 0 0 20 0 1 0 287693065 40476672 7451 33554432000 134512640 137138936 4294864320 4294863248 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17023/statm: 9882 7451 192 642 0 9238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39528

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31154412/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=55280 CPUtime=12.69 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 12485 0 0 0 1256 13 0 0 20 0 1 0 287693065 56606720 11383 33554432000 134512640 137138936 4294864320 4294863248 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 13820 11383 192 642 0 13176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55280

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31124248/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=78076 CPUtime=25.48 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 18188 0 0 0 2530 18 0 0 20 0 1 0 287693065 79949824 17086 33554432000 134512640 137138936 4294864320 4294863436 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 19519 17086 192 642 0 18875 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78076

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=31082132/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=106316 CPUtime=51.08 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 25251 0 0 0 5083 25 0 0 20 0 1 0 287693065 108867584 24149 33554432000 134512640 137138936 4294864320 4294862844 136520996 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 26579 24149 192 642 0 25935 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106316

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=30998236/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=154292 CPUtime=102.26 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 37288 0 0 0 10191 35 0 0 20 0 1 0 287693065 157995008 36151 33554432000 134512640 137138936 4294864320 4294863248 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 38573 36151 192 642 0 37929 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 154292

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17024
/proc/meminfo: memFree=30941224/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=202120 CPUtime=162.21 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 49265 0 0 0 16175 46 0 0 20 0 1 0 287693065 206970880 48080 33554432000 134512640 137138936 4294864320 4294863216 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 50530 48080 192 642 0 49886 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 202120

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17025
/proc/meminfo: memFree=30882048/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=253700 CPUtime=222.19 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62183 0 0 0 22163 56 0 0 20 0 1 0 287693065 259788800 60984 33554432000 134512640 137138936 4294864320 4294863436 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63425 60984 192 642 0 62781 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 253700

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17025
/proc/meminfo: memFree=30873248/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=255232 CPUtime=282.18 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62806 0 0 0 28154 64 0 0 20 0 1 0 287693065 261357568 61375 33554432000 134512640 137138936 4294864320 4294863436 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63808 61375 192 642 0 63164 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 255232

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17028
/proc/meminfo: memFree=30863072/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=255232 CPUtime=342.17 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62806 0 0 0 34149 68 0 0 20 0 1 0 287693065 261357568 61375 33554432000 134512640 137138936 4294864320 4294863248 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63808 61375 192 642 0 63164 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 255232

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30830220/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=255232 CPUtime=402.17 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62806 0 0 0 40144 73 0 0 20 0 1 0 287693065 261357568 61375 33554432000 134512640 137138936 4294864320 4294863248 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63808 61375 192 642 0 63164 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 255232

Solver just ended. Dumping a history of the last processes samples

[startup+409.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30826120/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=255232 CPUtime=409.37 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62810 0 0 0 40863 74 0 0 20 0 1 0 287693065 261357568 61375 33554432000 134512640 137138936 4294864320 4294863248 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63808 61375 192 642 0 63164 0
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (KiB) 255232

[startup+435.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30811828/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=255232 CPUtime=434.94 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 62826 0 0 0 43420 74 0 0 20 0 1 0 287693065 261357568 61375 33554432000 134512640 137138936 4294864320 4294863248 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 63808 61375 192 642 0 63164 0
Current children cumulated CPU time (s) 434.94
Current children cumulated vsize (KiB) 255232

[startup+447.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30800172/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=260156 CPUtime=447.74 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 64060 0 0 0 44698 76 0 0 20 0 1 0 287693065 266399744 62609 33554432000 134512640 137138936 4294864320 4294863248 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 65039 62609 192 642 0 64395 0
Current children cumulated CPU time (s) 447.74
Current children cumulated vsize (KiB) 260156

[startup+454.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30793104/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=264192 CPUtime=454.15 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 65066 0 0 0 45338 77 0 0 20 0 1 0 287693065 270532608 63615 33554432000 134512640 137138936 4294864320 4294863176 136501664 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 66048 63615 192 642 0 65404 0
Current children cumulated CPU time (s) 454.15
Current children cumulated vsize (KiB) 264192

[startup+457.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30788392/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=266996 CPUtime=457.35 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 65758 0 0 0 45658 77 0 0 20 0 1 0 287693065 273403904 64307 33554432000 134512640 137138936 4294864320 4294863248 134542412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 66749 64307 192 642 0 66105 0
Current children cumulated CPU time (s) 457.35
Current children cumulated vsize (KiB) 266996

[startup+459.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30786656/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=268656 CPUtime=458.95 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 66164 0 0 0 45817 78 0 0 20 0 1 0 287693065 275103744 64713 33554432000 134512640 137138936 4294864320 4294863248 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 67164 64713 192 642 0 66520 0
Current children cumulated CPU time (s) 458.95
Current children cumulated vsize (KiB) 268656

[startup+459.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30785044/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=269152 CPUtime=459.75 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 66298 0 0 0 45897 78 0 0 20 0 1 0 287693065 275611648 64847 33554432000 134512640 137138936 4294864320 4294863248 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 67288 64847 192 642 0 66644 0
Current children cumulated CPU time (s) 459.75
Current children cumulated vsize (KiB) 269152

[startup+460.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17028
/proc/meminfo: memFree=30785044/32873844 swapFree=7112/7112
[pid=17023] ppid=17021 vsize=269284 CPUtime=459.94 cores=0,2,4,6
/proc/17023/stat : 17023 (bsolo) R 17021 17023 10153 0 -1 4202496 66343 0 0 0 45916 78 0 0 20 0 1 0 287693065 275746816 64892 33554432000 134512640 137138936 4294864320 4294863248 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17023/statm: 67321 64892 192 642 0 66677 0
Current children cumulated CPU time (s) 459.94
Current children cumulated vsize (KiB) 269284

Child status: 0
Real time (s): 460.149
CPU time (s): 460.003
CPU user time (s): 459.213
CPU system time (s): 0.789879
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 269284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 459.213
system time used= 0.789879
maximum resident set size= 259604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66352
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= 121
involuntary context switches= 502

runsolver used 0.71989 second user time and 2.00969 second system time

The end