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-3708049-1338156837/watcher-3708049-1338156837 -o /tmp/evaluation-result-3708049-1338156837/solver-3708049-1338156837 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708049-1338156837.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 1.97 2/176 7748
/proc/meminfo: memFree=31188592/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 281808568 19050496 243 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4651 243 192 642 0 4007 0
[startup+0.00952806 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 7748
/proc/meminfo: memFree=31188592/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 281808568 19050496 252 33554432000 134512640 137138936 4290441232 4290439512 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4651 252 192 642 0 4007 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18604
[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 7748
/proc/meminfo: memFree=31188592/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=18868 CPUtime=0.09 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 359 0 0 0 9 0 0 0 20 0 1 0 281808568 19320832 311 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4717 311 192 642 0 4073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18868
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 7748
/proc/meminfo: memFree=31188592/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=18868 CPUtime=0.29 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 374 0 0 0 29 0 0 0 20 0 1 0 281808568 19320832 326 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4717 326 192 642 0 4073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18868
[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 7748
/proc/meminfo: memFree=31188592/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19000 CPUtime=0.69 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 394 0 0 0 69 0 0 0 20 0 1 0 281808568 19456000 346 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4750 346 192 642 0 4106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19000
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31185128/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19124 CPUtime=1.49 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 419 0 0 0 148 1 0 0 20 0 1 0 281808568 19582976 371 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4781 371 192 642 0 4137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19124
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31186616/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19124 CPUtime=3.09 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 448 0 0 0 308 1 0 0 20 0 1 0 281808568 19582976 400 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4781 400 192 642 0 4137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19124
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31184384/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19244 CPUtime=6.29 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 469 0 0 0 626 3 0 0 20 0 1 0 281808568 19705856 421 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4811 421 192 642 0 4167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19244
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31184904/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19376 CPUtime=12.68 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 506 0 0 0 1261 7 0 0 20 0 1 0 281808568 19841024 458 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4844 458 192 642 0 4200 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19376
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31184780/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19504 CPUtime=25.49 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 535 0 0 0 2535 14 0 0 20 0 1 0 281808568 19972096 487 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4876 487 192 642 0 4232 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19504
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31184656/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19760 CPUtime=51.08 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 583 0 0 0 5084 24 0 0 20 0 1 0 281808568 20234240 535 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4940 535 192 642 0 4296 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19760
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7749
/proc/meminfo: memFree=31185396/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=19884 CPUtime=102.28 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 619 0 0 0 10181 47 0 0 20 0 1 0 281808568 20361216 571 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 4971 571 192 642 0 4327 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7750
/proc/meminfo: memFree=31184528/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20000 CPUtime=162.27 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 651 0 0 0 16156 71 0 0 20 0 1 0 281808568 20480000 603 33554432000 134512640 137138936 4290441232 4290440160 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5000 603 192 642 0 4356 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 20000
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7750
/proc/meminfo: memFree=31170752/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20132 CPUtime=222.26 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 690 0 0 0 22130 96 0 0 20 0 1 0 281808568 20615168 642 33554432000 134512640 137138936 4290441232 4290440160 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5033 642 192 642 0 4389 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 20132
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7750
/proc/meminfo: memFree=31169016/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=282.25 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 726 0 0 0 28106 119 0 0 20 0 1 0 281808568 20754432 678 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 678 192 642 0 4423 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 20268
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7750
/proc/meminfo: memFree=31170684/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=342.24 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 34082 142 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20268
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 7753
/proc/meminfo: memFree=31168816/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=402.23 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 40062 161 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 20268
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 7753
/proc/meminfo: memFree=31169808/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=409.42 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 40779 163 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290439656 134606666 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 409.42
Current children cumulated vsize (KiB) 20268
[startup+435.1 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 7753
/proc/meminfo: memFree=31157972/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=435.03 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 43330 173 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 435.03
Current children cumulated vsize (KiB) 20268
[startup+447.9 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 7753
/proc/meminfo: memFree=31158096/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=447.82 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 44603 179 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440152 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 447.82
Current children cumulated vsize (KiB) 20268
[startup+454.306 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 7753
/proc/meminfo: memFree=31158104/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=454.23 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 45241 182 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 454.23
Current children cumulated vsize (KiB) 20268
[startup+455.9 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 7753
/proc/meminfo: memFree=31159468/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=455.82 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 45399 183 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 455.82
Current children cumulated vsize (KiB) 20268
[startup+457.5 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 7753
/proc/meminfo: memFree=31157980/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=457.42 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 45559 183 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440160 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 457.42
Current children cumulated vsize (KiB) 20268
[startup+457.9 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 7753
/proc/meminfo: memFree=31157980/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=457.82 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 45598 184 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 457.82
Current children cumulated vsize (KiB) 20268
[startup+458.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 7753
/proc/meminfo: memFree=31157980/32873844 swapFree=7112/7112
[pid=7748] ppid=7746 vsize=20268 CPUtime=458.22 cores=0,2,4,6
/proc/7748/stat : 7748 (bsolo) R 7746 7748 7024 0 -1 4202496 727 0 0 0 45638 184 0 0 20 0 1 0 281808568 20754432 679 33554432000 134512640 137138936 4290441232 4290440348 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7748/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 458.22
Current children cumulated vsize (KiB) 20268
Child status: 0
Real time (s): 458.367
CPU time (s): 458.295
CPU user time (s): 456.453
CPU system time (s): 1.84272
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 20268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 456.453
system time used= 1.84272
maximum resident set size= 2716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727
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= 3
involuntary context switches= 473
runsolver used 0.714891 second user time and 1.78873 second system time
The end