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-3463396-1307174967/watcher-3463396-1307174967 -o /tmp/evaluation-result-3463396-1307174967/solver-3463396-1307174967 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463396-1307174967.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: 1.84 1.97 1.99 4/442 25449
/proc/meminfo: memFree=29843268/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 441 0 0 0 0 0 0 0 19 0 1 0 907727417 11599872 374 33554432000 134512640 137138936 4293513792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 2832 374 185 642 0 2188 0
[startup+0.018641 s]
/proc/loadavg: 1.84 1.97 1.99 4/442 25449
/proc/meminfo: memFree=29843268/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=11328 CPUtime=0.01 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 449 0 0 0 1 0 0 0 19 0 1 0 907727417 11599872 382 33554432000 134512640 137138936 4293513792 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 2832 382 192 642 0 2188 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11328
[startup+0.100642 s]
/proc/loadavg: 1.84 1.97 1.99 4/442 25449
/proc/meminfo: memFree=29843268/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 528 0 0 0 9 0 0 0 19 0 1 0 907727417 11849728 461 33554432000 134512640 137138936 4293513792 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 2893 461 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.30061 s]
/proc/loadavg: 1.84 1.97 1.99 4/442 25449
/proc/meminfo: memFree=29843268/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=12188 CPUtime=0.29 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 663 0 0 0 29 0 0 0 20 0 1 0 907727417 12480512 596 33554432000 134512640 137138936 4293513792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3047 596 192 642 0 2403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12188
[startup+0.700529 s]
/proc/loadavg: 1.84 1.97 1.99 4/442 25449
/proc/meminfo: memFree=29843268/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=13036 CPUtime=0.69 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 878 0 0 0 69 0 0 0 21 0 1 0 907727417 13348864 811 33554432000 134512640 137138936 4293513792 18446744073709551615 134606987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3259 811 192 642 0 2615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13036
[startup+1.50039 s]
/proc/loadavg: 1.84 1.97 1.99 3/444 25451
/proc/meminfo: memFree=29836772/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=13536 CPUtime=1.49 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1007 0 0 0 148 1 0 0 23 0 1 0 907727417 13860864 940 33554432000 134512640 137138936 4293513792 18446744073709551615 134618221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3384 940 192 642 0 2740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13536
[startup+3.10108 s]
/proc/loadavg: 1.84 1.97 1.99 3/444 25451
/proc/meminfo: memFree=29833672/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=13784 CPUtime=3.09 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1065 0 0 0 308 1 0 0 25 0 1 0 907727417 14114816 998 33554432000 134512640 137138936 4293513792 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3446 998 192 642 0 2802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13784
[startup+6.30048 s]
/proc/loadavg: 1.85 1.97 1.99 4/444 25451
/proc/meminfo: memFree=29832460/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=14156 CPUtime=6.29 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1167 0 0 0 626 3 0 0 25 0 1 0 907727417 14495744 1100 33554432000 134512640 137138936 4293513792 18446744073709551615 136502667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3539 1100 192 642 0 2895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14156
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.99 3/444 25478
/proc/meminfo: memFree=29831920/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=15000 CPUtime=12.69 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1377 0 0 0 1263 6 0 0 25 0 1 0 907727417 15360000 1310 33554432000 134512640 137138936 4293513792 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3750 1310 192 642 0 3106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15000
[startup+25.5009 s]
/proc/loadavg: 1.89 1.97 1.99 3/444 25479
/proc/meminfo: memFree=29829272/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=15964 CPUtime=25.49 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1609 0 0 0 2537 12 0 0 25 0 1 0 907727417 16347136 1542 33554432000 134512640 137138936 4293513792 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 3991 1542 192 642 0 3347 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15964
[startup+51.1011 s]
/proc/loadavg: 1.93 1.97 1.99 3/444 25479
/proc/meminfo: memFree=29826400/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=16584 CPUtime=51.09 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1788 0 0 0 5087 22 0 0 25 0 1 0 907727417 16982016 1721 33554432000 134512640 137138936 4293513792 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4146 1721 192 642 0 3502 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16584
[startup+102.316 s]
/proc/loadavg: 1.97 1.97 1.99 3/444 25481
/proc/meminfo: memFree=29824344/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=17328 CPUtime=102.31 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 1955 0 0 0 10194 37 0 0 25 0 1 0 907727417 17743872 1888 33554432000 134512640 137138936 4293513792 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4332 1888 192 642 0 3688 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17328
[startup+162.301 s]
/proc/loadavg: 2.21 2.03 2.01 3/444 25482
/proc/meminfo: memFree=29821944/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=17700 CPUtime=162.3 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2050 0 0 0 16174 56 0 0 25 0 1 0 907727417 18124800 1983 33554432000 134512640 137138936 4293513792 18446744073709551615 134576416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4425 1983 192 642 0 3781 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17700
[startup+222.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/444 25484
/proc/meminfo: memFree=29821036/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=18816 CPUtime=222.3 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2333 0 0 0 22154 76 0 0 25 0 1 0 907727417 19267584 2266 33554432000 134512640 137138936 4293513792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4704 2266 192 642 0 4060 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18816
[startup+282.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/444 25485
/proc/meminfo: memFree=29821128/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=18816 CPUtime=282.3 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2333 0 0 0 28136 94 0 0 25 0 1 0 907727417 19267584 2266 33554432000 134512640 137138936 4293513792 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4704 2266 192 642 0 4060 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18816
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 25487
/proc/meminfo: memFree=29818996/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19928 CPUtime=342.3 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2615 0 0 0 34121 109 0 0 25 0 1 0 907727417 20406272 2548 33554432000 134512640 137138936 4293513792 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4982 2548 192 642 0 4338 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19928
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 25489
/proc/meminfo: memFree=29818964/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19928 CPUtime=402.31 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2615 0 0 0 40106 125 0 0 25 0 1 0 907727417 20406272 2548 33554432000 134512640 137138936 4293513792 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4982 2548 192 642 0 4338 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 19928
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 25490
/proc/meminfo: memFree=29819416/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19932 CPUtime=462.3 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2616 0 0 0 46089 141 0 0 25 0 1 0 907727417 20410368 2549 33554432000 134512640 137138936 4293513792 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4983 2549 192 642 0 4339 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19932
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 25492
/proc/meminfo: memFree=29819136/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19932 CPUtime=522.31 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2616 0 0 0 52075 156 0 0 25 0 1 0 907727417 20410368 2549 33554432000 134512640 137138936 4293513792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4983 2549 192 642 0 4339 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 19932
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 25493
/proc/meminfo: memFree=29818480/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19932 CPUtime=582.31 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2616 0 0 0 58062 169 0 0 25 0 1 0 907727417 20410368 2549 33554432000 134512640 137138936 4293513792 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4983 2549 192 642 0 4339 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 19932
[startup+642.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 25495
/proc/meminfo: memFree=29818812/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19932 CPUtime=642.33 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2616 0 0 0 64050 183 0 0 25 0 1 0 907727417 20410368 2549 33554432000 134512640 137138936 4293513792 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4983 2549 192 642 0 4339 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 19932
[startup+702.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 25497
/proc/meminfo: memFree=29818524/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=19932 CPUtime=702.32 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2616 0 0 0 70034 198 0 0 25 0 1 0 907727417 20410368 2549 33554432000 134512640 137138936 4293513792 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 4983 2549 192 642 0 4339 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 19932
[startup+762.316 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 25498
/proc/meminfo: memFree=29818124/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=20664 CPUtime=762.33 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2793 0 0 0 76021 212 0 0 25 0 1 0 907727417 21159936 2726 33554432000 134512640 137138936 4293513792 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 5166 2726 192 642 0 4522 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 20664
Solver just ended. Dumping a history of the last processes samples
[startup+764.701 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 25498
/proc/meminfo: memFree=29818120/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=20664 CPUtime=764.72 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2793 0 0 0 76259 213 0 0 25 0 1 0 907727417 21159936 2726 33554432000 134512640 137138936 4293513792 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 5166 2726 192 642 0 4522 0
Current children cumulated CPU time (s) 764.72
Current children cumulated vsize (KiB) 20664
[startup+766.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 25498
/proc/meminfo: memFree=29818240/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=20664 CPUtime=766.31 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2793 0 0 0 76418 213 0 0 25 0 1 0 907727417 21159936 2726 33554432000 134512640 137138936 4293513792 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 5166 2726 192 642 0 4522 0
Current children cumulated CPU time (s) 766.31
Current children cumulated vsize (KiB) 20664
[startup+766.716 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 25498
/proc/meminfo: memFree=29818240/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=20664 CPUtime=766.73 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2793 0 0 0 76460 213 0 0 25 0 1 0 907727417 21159936 2726 33554432000 134512640 137138936 4293513792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 5166 2726 192 642 0 4522 0
Current children cumulated CPU time (s) 766.73
Current children cumulated vsize (KiB) 20664
[startup+766.9 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 25498
/proc/meminfo: memFree=29818240/32950928 swapFree=52246700/67111528
[pid=25449] ppid=25445 vsize=20664 CPUtime=766.91 cores=1,3,5,7
/proc/25449/stat : 25449 (bsolo) R 25445 25449 23545 0 -1 4202496 2793 0 0 0 76478 213 0 0 25 0 1 0 907727417 21159936 2726 33554432000 134512640 137138936 4293513792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25449/statm: 5166 2726 192 642 0 4522 0
Current children cumulated CPU time (s) 766.91
Current children cumulated vsize (KiB) 20664
Child status: 0
Real time (s): 766.997
CPU time (s): 767.023
CPU user time (s): 764.884
CPU system time (s): 2.13967
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.884
system time used= 2.13967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2793
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= 1122
runsolver used 3.12852 second user time and 7.61284 second system time
The end