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-3707412-1338140576/watcher-3707412-1338140576 -o /tmp/evaluation-result-3707412-1338140576/solver-3707412-1338140576 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707412-1338140576.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: 2.00 1.98 1.99 3/176 16844
/proc/meminfo: memFree=31877828/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=11020 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 280186142 11284480 277 33554432000 134512640 137138936 4293363920 4293362448 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 2755 278 180 642 0 2090 0
[startup+0.090215 s]
/proc/loadavg: 2.00 1.98 1.99 3/176 16844
/proc/meminfo: memFree=31877828/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=11568 CPUtime=0.08 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 505 0 0 0 8 0 0 0 20 0 1 0 280186142 11845632 438 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 2892 438 192 642 0 2248 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11568
[startup+0.100214 s]
/proc/loadavg: 2.00 1.98 1.99 3/176 16844
/proc/meminfo: memFree=31877828/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=11568 CPUtime=0.09 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 514 0 0 0 9 0 0 0 20 0 1 0 280186142 11845632 447 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 2892 447 192 642 0 2248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11568
[startup+0.300184 s]
/proc/loadavg: 2.00 1.98 1.99 3/176 16844
/proc/meminfo: memFree=31877828/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=12068 CPUtime=0.29 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 652 0 0 0 29 0 0 0 20 0 1 0 280186142 12357632 585 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3017 585 192 642 0 2373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12068
[startup+0.700181 s]
/proc/loadavg: 2.00 1.98 1.99 3/176 16844
/proc/meminfo: memFree=31877828/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=13056 CPUtime=0.68 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 882 0 0 0 68 0 0 0 20 0 1 0 280186142 13369344 815 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3264 815 192 642 0 2620 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13056
[startup+1.50018 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 16845
/proc/meminfo: memFree=31874836/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=13788 CPUtime=1.49 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1088 0 0 0 148 1 0 0 20 0 1 0 280186142 14118912 1021 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3447 1021 192 642 0 2803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13788
[startup+3.10018 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 16845
/proc/meminfo: memFree=31873136/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=13912 CPUtime=3.09 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1098 0 0 0 308 1 0 0 20 0 1 0 280186142 14245888 1030 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3478 1030 192 642 0 2834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13912
[startup+6.30018 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 16845
/proc/meminfo: memFree=31873012/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=14784 CPUtime=6.28 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1337 0 0 0 627 1 0 0 20 0 1 0 280186142 15138816 1269 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3696 1269 192 642 0 3052 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14784
[startup+12.7002 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 16845
/proc/meminfo: memFree=31871672/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=14792 CPUtime=12.68 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1339 0 0 0 1266 2 0 0 20 0 1 0 280186142 15147008 1271 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3698 1271 192 642 0 3054 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14792
[startup+25.5002 s]
/proc/loadavg: 2.00 1.98 1.99 3/177 16845
/proc/meminfo: memFree=31871368/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=15868 CPUtime=25.48 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1587 0 0 0 2543 5 0 0 20 0 1 0 280186142 16248832 1518 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 3967 1518 192 642 0 3323 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15868
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.98 3/177 16921
/proc/meminfo: memFree=31875684/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=16484 CPUtime=51.08 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 1741 0 0 0 5099 9 0 0 20 0 1 0 280186142 16879616 1672 33554432000 134512640 137138936 4293363920 4293362848 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4121 1672 192 642 0 3477 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16484
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.98 3/177 16922
/proc/meminfo: memFree=31871688/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=18184 CPUtime=102.28 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2171 0 0 0 10210 18 0 0 20 0 1 0 280186142 18620416 2101 33554432000 134512640 137138936 4293363920 4293362848 134542963 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4546 2101 192 642 0 3902 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18184
[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/177 16922
/proc/meminfo: memFree=31870200/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=18180 CPUtime=162.26 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2172 0 0 0 16198 28 0 0 20 0 1 0 280186142 18616320 2102 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4545 2102 192 642 0 3901 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18180
[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 16922
/proc/meminfo: memFree=31868772/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=18912 CPUtime=222.26 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2353 0 0 0 22185 41 0 0 20 0 1 0 280186142 19365888 2283 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4728 2283 192 642 0 4084 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18912
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16922
/proc/meminfo: memFree=31868460/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=19020 CPUtime=282.24 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2383 0 0 0 28173 51 0 0 20 0 1 0 280186142 19476480 2313 33554432000 134512640 137138936 4293363920 4293362632 136504147 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4755 2313 192 642 0 4111 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19020
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16922
/proc/meminfo: memFree=31867964/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=19484 CPUtime=342.23 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2497 0 0 0 34162 61 0 0 20 0 1 0 280186142 19951616 2426 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4871 2426 192 642 0 4227 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 19484
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16923
/proc/meminfo: memFree=31867900/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=19480 CPUtime=402.22 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2497 0 0 0 40153 69 0 0 20 0 1 0 280186142 19947520 2426 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 4870 2426 192 642 0 4226 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 19480
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 16926
/proc/meminfo: memFree=31866652/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20316 CPUtime=462.21 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2706 0 0 0 46142 79 0 0 20 0 1 0 280186142 20803584 2635 33554432000 134512640 137138936 4293363920 4293362848 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5079 2635 192 642 0 4435 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20316
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=522.2 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 52133 87 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293362848 134542776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 20436
Solver just ended. Dumping a history of the last processes samples
[startup+524.707 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=524.61 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 52373 88 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293362848 134542246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 524.61
Current children cumulated vsize (KiB) 20436
[startup+531.1 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=531 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 53012 88 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 531
Current children cumulated vsize (KiB) 20436
[startup+532.7 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=532.61 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 53172 89 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293362848 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 532.61
Current children cumulated vsize (KiB) 20436
[startup+534.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=534.21 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 53332 89 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 534.21
Current children cumulated vsize (KiB) 20436
[startup+535.1 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=535 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 53411 89 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293362416 134618015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 535
Current children cumulated vsize (KiB) 20436
[startup+535.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 16926
/proc/meminfo: memFree=31866224/32873844 swapFree=7372/7372
[pid=16844] ppid=16842 vsize=20436 CPUtime=535.4 cores=1,3,5,7
/proc/16844/stat : 16844 (bsolo) R 16842 16844 15469 0 -1 4202496 2741 0 0 0 53451 89 0 0 20 0 1 0 280186142 20926464 2670 33554432000 134512640 137138936 4293363920 4293363036 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16844/statm: 5109 2670 192 642 0 4465 0
Current children cumulated CPU time (s) 535.4
Current children cumulated vsize (KiB) 20436
Child status: 0
Real time (s): 535.549
CPU time (s): 535.463
CPU user time (s): 534.567
CPU system time (s): 0.895863
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 20436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 534.567
system time used= 0.895863
maximum resident set size= 10680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2741
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= 7
involuntary context switches= 551
runsolver used 1.3298 second user time and 4.52831 second system time
The end