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-3462594-1307181380/watcher-3462594-1307181380 -o /tmp/evaluation-result-3462594-1307181380/solver-3462594-1307181380 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462594-1307181380.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.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11060 CPUtime=0.01 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 368 0 0 0 1 0 0 0 25 0 1 0 908368609 11325440 320 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2765 320 192 642 0 2121 0
[startup+0.0273129 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11188 CPUtime=0.02 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 403 0 0 0 2 0 0 0 25 0 1 0 908368609 11456512 355 33554432000 134512640 137138936 4289486816 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2797 355 192 642 0 2153 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11188
[startup+0.100323 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=11824 CPUtime=0.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 570 0 0 0 9 0 0 0 25 0 1 0 908368609 12107776 522 33554432000 134512640 137138936 4289486816 18446744073709551615 134544474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 2956 522 192 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824
[startup+0.300286 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=13624 CPUtime=0.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 1003 0 0 0 29 0 0 0 25 0 1 0 908368609 13950976 955 33554432000 134512640 137138936 4289486816 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 3406 955 192 642 0 2762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13624
[startup+0.700232 s]
/proc/loadavg: 2.07 2.02 2.00 2/327 29061
/proc/meminfo: memFree=24102168/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=17500 CPUtime=0.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 1976 0 0 0 69 0 0 0 25 0 1 0 908368609 17920000 1928 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 4375 1928 192 642 0 3731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17500
[startup+1.50107 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24093044/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=21328 CPUtime=1.49 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 2936 0 0 0 148 1 0 0 25 0 1 0 908368609 21839872 2888 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 5332 2888 192 642 0 4688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21328
[startup+3.10077 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24090440/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=21936 CPUtime=3.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3088 0 0 0 308 1 0 0 25 0 1 0 908368609 22462464 3040 33554432000 134512640 137138936 4289486816 18446744073709551615 134551445 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 5484 3040 192 642 0 4840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21936
[startup+6.30019 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24087708/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24096 CPUtime=6.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3630 0 0 0 627 2 0 0 25 0 1 0 908368609 24674304 3582 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6024 3582 192 642 0 5380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24096
[startup+12.701 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 29062
/proc/meminfo: memFree=24086904/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24080 CPUtime=12.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3632 0 0 0 1265 4 0 0 25 0 1 0 908368609 24657920 3584 33554432000 134512640 137138936 4289486816 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6020 3584 192 642 0 5376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24080
[startup+25.5007 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 29062
/proc/meminfo: memFree=24087008/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=24080 CPUtime=25.49 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 3632 0 0 0 2543 6 0 0 25 0 1 0 908368609 24657920 3584 33554432000 134512640 137138936 4289486816 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6020 3584 192 642 0 5376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24080
[startup+51.101 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 29063
/proc/meminfo: memFree=24084448/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=26536 CPUtime=51.09 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 4254 0 0 0 5099 10 0 0 25 0 1 0 908368609 27172864 4206 33554432000 134512640 137138936 4289486816 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 6634 4206 192 642 0 5990 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26536
[startup+102.313 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 29064
/proc/meminfo: memFree=24081432/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=29560 CPUtime=102.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5008 0 0 0 10214 16 0 0 25 0 1 0 908368609 30269440 4960 33554432000 134512640 137138936 4289486816 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7390 4960 192 642 0 6746 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29560
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29066
/proc/meminfo: memFree=24080412/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=29572 CPUtime=162.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5012 0 0 0 16206 24 0 0 25 0 1 0 908368609 30281728 4964 33554432000 134512640 137138936 4289486816 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7393 4964 192 642 0 6749 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 29572
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29068
/proc/meminfo: memFree=24079620/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=222.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 22196 33 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30392
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29078
/proc/meminfo: memFree=24078816/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=282.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 28186 43 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30392
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29080
/proc/meminfo: memFree=24079472/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=30392 CPUtime=342.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 5368 0 0 0 34179 50 0 0 25 0 1 0 908368609 31121408 5174 33554432000 134512640 137138936 4289486816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 7598 5174 192 642 0 6954 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 30392
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29081
/proc/meminfo: memFree=24077080/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33256 CPUtime=402.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 40174 55 0 0 25 0 1 0 908368609 34054144 5881 33554432000 134512640 137138936 4289486816 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8314 5881 192 642 0 7670 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 33256
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 29083
/proc/meminfo: memFree=24076920/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33240 CPUtime=462.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 46168 61 0 0 25 0 1 0 908368609 34037760 5881 33554432000 134512640 137138936 4289486816 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8310 5881 192 642 0 7666 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 33240
[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/328 29085
/proc/meminfo: memFree=24076868/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33180 CPUtime=522.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 52160 69 0 0 25 0 1 0 908368609 33976320 5871 33554432000 134512640 137138936 4289486816 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8295 5871 192 642 0 7651 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 33180
[startup+582.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/328 29086
/proc/meminfo: memFree=24076940/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=582.3 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 58154 76 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33172
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 2.11 2.04 2.01 3/328 29086
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=588.69 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 58793 76 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 588.69
Current children cumulated vsize (KiB) 33172
[startup+595.112 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=595.11 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59434 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134575060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 595.11
Current children cumulated vsize (KiB) 33172
[startup+598.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=598.31 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59754 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 598.31
Current children cumulated vsize (KiB) 33172
[startup+599.101 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=599.1 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59833 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 599.1
Current children cumulated vsize (KiB) 33172
[startup+599.9 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=599.89 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59912 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 599.89
Current children cumulated vsize (KiB) 33172
[startup+600.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=600.29 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59952 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 600.29
Current children cumulated vsize (KiB) 33172
[startup+600.4 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 29087
/proc/meminfo: memFree=24076800/32951124 swapFree=67056304/67111528
[pid=29061] ppid=29059 vsize=33172 CPUtime=600.39 cores=0,2,4,6
/proc/29061/stat : 29061 (bsolo) R 29059 29061 27326 0 -1 4202496 6075 0 0 0 59962 77 0 0 25 0 1 0 908368609 33968128 5869 33554432000 134512640 137138936 4289486816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29061/statm: 8293 5869 192 642 0 7649 0
Current children cumulated CPU time (s) 600.39
Current children cumulated vsize (KiB) 33172
Child status: 0
Real time (s): 600.447
CPU time (s): 600.45
CPU user time (s): 599.673
CPU system time (s): 0.776881
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 33264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.673
system time used= 0.776881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6076
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= 6
involuntary context switches= 1463
runsolver used 2.00069 second user time and 4.55131 second system time
The end