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-3462662-1307181662/watcher-3462662-1307181662 -o /tmp/evaluation-result-3462662-1307181662/solver-3462662-1307181662 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462662-1307181662.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.01 2.03 2.00 2/458 17487
/proc/meminfo: memFree=26100444/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=10920 CPUtime=0 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 327 0 0 0 0 0 0 0 25 0 1 0 829764400 11182080 280 33554432000 134512640 137138936 4291093152 18446744073709551615 134575879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17487/statm: 2730 280 192 642 0 2086 0
[startup+0.0279851 s]
/proc/loadavg: 2.01 2.03 2.00 2/458 17487
/proc/meminfo: memFree=26100444/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=11180 CPUtime=0.02 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 386 0 0 0 2 0 0 0 25 0 1 0 829764400 11448320 339 33554432000 134512640 137138936 4291093152 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17487/statm: 2795 339 192 642 0 2151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11180
[startup+0.100973 s]
/proc/loadavg: 2.01 2.03 2.00 2/458 17487
/proc/meminfo: memFree=26100444/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=11824 CPUtime=0.09 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 559 0 0 0 9 0 0 0 25 0 1 0 829764400 12107776 512 33554432000 134512640 137138936 4291093152 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17487/statm: 2956 512 192 642 0 2312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11824
[startup+0.300975 s]
/proc/loadavg: 2.01 2.03 2.00 2/458 17487
/proc/meminfo: memFree=26100444/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=13640 CPUtime=0.29 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 1001 0 0 0 29 0 0 0 25 0 1 0 829764400 13967360 954 33554432000 134512640 137138936 4291093152 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17487/statm: 3410 954 192 642 0 2766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13640
[startup+0.700898 s]
/proc/loadavg: 2.01 2.03 2.00 2/458 17487
/proc/meminfo: memFree=26100444/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=14796 CPUtime=0.69 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 1292 0 0 0 69 0 0 0 25 0 1 0 829764400 15151104 1245 33554432000 134512640 137138936 4291093152 18446744073709551615 136505207 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17487/statm: 3699 1245 192 642 0 3055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14796
[startup+1.50072 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17489
/proc/meminfo: memFree=26095476/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=15056 CPUtime=1.49 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 1376 0 0 0 149 0 0 0 25 0 1 0 829764400 15417344 1329 33554432000 134512640 137138936 4291093152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 3764 1329 192 642 0 3120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15056
[startup+3.10047 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17489
/proc/meminfo: memFree=26093876/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=15320 CPUtime=3.09 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 1437 0 0 0 309 0 0 0 25 0 1 0 829764400 15687680 1390 33554432000 134512640 137138936 4291093152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 3830 1390 192 642 0 3186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15320
[startup+6.3009 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17489
/proc/meminfo: memFree=26092636/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=16224 CPUtime=6.29 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 1651 0 0 0 628 1 0 0 25 0 1 0 829764400 16613376 1604 33554432000 134512640 137138936 4291093152 18446744073709551615 134602885 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 4056 1604 192 642 0 3412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16224
[startup+12.7008 s]
/proc/loadavg: 2.17 2.06 2.01 3/459 17489
/proc/meminfo: memFree=26088552/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=18156 CPUtime=12.69 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 2144 0 0 0 1266 3 0 0 25 0 1 0 829764400 18591744 2097 33554432000 134512640 137138936 4291093152 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 4539 2097 192 642 0 3895 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18156
[startup+25.5005 s]
/proc/loadavg: 2.13 2.06 2.01 3/459 17489
/proc/meminfo: memFree=26085496/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=19432 CPUtime=25.49 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 2461 0 0 0 2544 5 0 0 25 0 1 0 829764400 19898368 2414 33554432000 134512640 137138936 4291093152 18446744073709551615 134551921 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 4858 2414 192 642 0 4214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19432
[startup+51.1009 s]
/proc/loadavg: 2.09 2.05 2.01 3/459 17490
/proc/meminfo: memFree=26078024/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=21436 CPUtime=51.09 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 2959 0 0 0 5100 9 0 0 25 0 1 0 829764400 21950464 2912 33554432000 134512640 137138936 4291093152 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 5359 2912 192 642 0 4715 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21436
[startup+102.318 s]
/proc/loadavg: 2.04 2.04 2.00 3/459 17491
/proc/meminfo: memFree=26066840/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=22204 CPUtime=102.31 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 3159 0 0 0 10212 19 0 0 25 0 1 0 829764400 22736896 3112 33554432000 134512640 137138936 4291093152 18446744073709551615 134600526 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 5551 3112 192 642 0 4907 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22204
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17493
/proc/meminfo: memFree=26055040/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=23436 CPUtime=162.3 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 3466 0 0 0 16204 26 0 0 25 0 1 0 829764400 23998464 3419 33554432000 134512640 137138936 4291093152 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 5859 3419 192 642 0 5215 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23436
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17497
/proc/meminfo: memFree=26042100/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=24976 CPUtime=222.29 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 3862 0 0 0 22197 32 0 0 25 0 1 0 829764400 25575424 3815 33554432000 134512640 137138936 4291093152 18446744073709551615 134599684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6244 3815 192 642 0 5600 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24976
[startup+282.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/459 17499
/proc/meminfo: memFree=26031496/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=25108 CPUtime=282.29 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 3895 0 0 0 28189 40 0 0 25 0 1 0 829764400 25710592 3848 33554432000 134512640 137138936 4291093152 18446744073709551615 134618026 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17487/statm: 6277 3848 192 642 0 5633 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25108
[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/459 17501
/proc/meminfo: memFree=26017324/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26128 CPUtime=342.28 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4148 0 0 0 34182 46 0 0 25 0 1 0 829764400 26755072 4101 33554432000 134512640 137138936 4291093152 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6532 4101 192 642 0 5888 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 26128
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/459 17502
/proc/meminfo: memFree=26006392/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26344 CPUtime=402.28 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4193 0 0 0 40175 53 0 0 25 0 1 0 829764400 26976256 4146 33554432000 134512640 137138936 4291093152 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6586 4146 192 642 0 5942 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 26344
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 17504
/proc/meminfo: memFree=25996684/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26340 CPUtime=462.28 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 46168 60 0 0 25 0 1 0 829764400 26972160 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6585 4148 192 642 0 5941 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 26340
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17505
/proc/meminfo: memFree=25986112/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=522.28 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52161 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 26332
Solver just ended. Dumping a history of the last processes samples
[startup+524.718 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17505
/proc/meminfo: memFree=25985616/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=524.7 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52403 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 524.7
Current children cumulated vsize (KiB) 26332
[startup+527.901 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17506
/proc/meminfo: memFree=25984620/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=527.89 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52722 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 527.89
Current children cumulated vsize (KiB) 26332
[startup+528.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17506
/proc/meminfo: memFree=25984620/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=528.68 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52801 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 528.68
Current children cumulated vsize (KiB) 26332
[startup+529.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17506
/proc/meminfo: memFree=25984868/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=529.48 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52881 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 529.48
Current children cumulated vsize (KiB) 26332
[startup+529.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17506
/proc/meminfo: memFree=25984868/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=529.68 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52901 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 529.68
Current children cumulated vsize (KiB) 26332
[startup+529.801 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17506
/proc/meminfo: memFree=25984868/32951124 swapFree=60688864/67111528
[pid=17487] ppid=17485 vsize=26332 CPUtime=529.78 cores=0,2,4,6
/proc/17487/stat : 17487 (bsolo) R 17485 17487 14960 0 -1 4202496 4195 0 0 0 52911 67 0 0 25 0 1 0 829764400 26963968 4148 33554432000 134512640 137138936 4291093152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17487/statm: 6583 4148 192 642 0 5939 0
Current children cumulated CPU time (s) 529.78
Current children cumulated vsize (KiB) 26332
Child status: 0
Real time (s): 529.82
CPU time (s): 529.809
CPU user time (s): 529.129
CPU system time (s): 0.680896
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 26356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 529.129
system time used= 0.680896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4196
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= 1055
runsolver used 2.6156 second user time and 5.22321 second system time
The end