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-3463365-1307174697/watcher-3463365-1307174697 -o /tmp/evaluation-result-3463365-1307174697/solver-3463365-1307174697 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463365-1307174697.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.04 2.04 2.00 3/414 7901
/proc/meminfo: memFree=26024332/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 440 0 0 0 0 0 0 0 20 0 1 0 285079141 11599872 373 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 2832 373 185 642 0 2188 0
[startup+0.0578561 s]
/proc/loadavg: 2.04 2.04 2.00 3/414 7901
/proc/meminfo: memFree=26024332/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=11452 CPUtime=0.05 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 490 0 0 0 5 0 0 0 20 0 1 0 285079141 11726848 423 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 2863 423 192 642 0 2219 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11452
[startup+0.100853 s]
/proc/loadavg: 2.04 2.04 2.00 3/414 7901
/proc/meminfo: memFree=26024332/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 527 0 0 0 9 0 0 0 20 0 1 0 285079141 11849728 460 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 2893 460 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300808 s]
/proc/loadavg: 2.04 2.04 2.00 3/414 7901
/proc/meminfo: memFree=26024332/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=12312 CPUtime=0.29 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 691 0 0 0 29 0 0 0 21 0 1 0 285079141 12607488 624 33554432000 134512640 137138936 4287187760 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3078 624 192 642 0 2434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12312
[startup+0.700748 s]
/proc/loadavg: 2.04 2.04 2.00 3/414 7901
/proc/meminfo: memFree=26024332/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=13180 CPUtime=0.69 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 916 0 0 0 69 0 0 0 22 0 1 0 285079141 13496320 849 33554432000 134512640 137138936 4287187760 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3295 849 192 642 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13180
[startup+1.5006 s]
/proc/loadavg: 2.04 2.04 2.00 3/416 7903
/proc/meminfo: memFree=26018116/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=13184 CPUtime=1.49 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 928 0 0 0 148 1 0 0 25 0 1 0 285079141 13500416 861 33554432000 134512640 137138936 4287187760 18446744073709551615 134573103 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3296 861 192 642 0 2652 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13184
[startup+3.10032 s]
/proc/loadavg: 2.04 2.04 2.00 3/416 7903
/proc/meminfo: memFree=26014988/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=14036 CPUtime=3.09 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1128 0 0 0 308 1 0 0 25 0 1 0 285079141 14372864 1061 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3509 1061 192 642 0 2865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14036
[startup+6.30075 s]
/proc/loadavg: 2.04 2.04 2.00 4/416 7903
/proc/meminfo: memFree=26013968/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=14532 CPUtime=6.29 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1250 0 0 0 626 3 0 0 25 0 1 0 285079141 14880768 1183 33554432000 134512640 137138936 4287187760 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3633 1183 192 642 0 2989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14532
[startup+12.7006 s]
/proc/loadavg: 2.03 2.04 2.00 4/416 7903
/proc/meminfo: memFree=26010288/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=15620 CPUtime=12.69 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1540 0 0 0 1264 5 0 0 25 0 1 0 285079141 15994880 1473 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 3905 1473 192 642 0 3261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15620
[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.00 3/416 7903
/proc/meminfo: memFree=26009172/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=16240 CPUtime=25.49 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1683 0 0 0 2539 10 0 0 25 0 1 0 285079141 16629760 1616 33554432000 134512640 137138936 4287187760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4060 1616 192 642 0 3416 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16240
[startup+51.1009 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 7904
/proc/meminfo: memFree=26008020/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=16600 CPUtime=51.09 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1769 0 0 0 5089 20 0 0 25 0 1 0 285079141 16998400 1702 33554432000 134512640 137138936 4287187760 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4150 1702 192 642 0 3506 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16600
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 4/416 7905
/proc/meminfo: memFree=26005404/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=17100 CPUtime=102.31 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 1906 0 0 0 10191 40 0 0 25 0 1 0 285079141 17510400 1839 33554432000 134512640 137138936 4287187760 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4275 1839 192 642 0 3631 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17100
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/416 7907
/proc/meminfo: memFree=26004148/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=17464 CPUtime=162.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2001 0 0 0 16172 58 0 0 25 0 1 0 285079141 17883136 1934 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4366 1934 192 642 0 3722 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17464
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/416 7909
/proc/meminfo: memFree=26003884/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19164 CPUtime=222.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2412 0 0 0 22154 76 0 0 25 0 1 0 285079141 19623936 2345 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4791 2345 192 642 0 4147 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19164
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/416 7910
/proc/meminfo: memFree=26003620/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19484 CPUtime=282.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2503 0 0 0 28138 92 0 0 25 0 1 0 285079141 19951616 2436 33554432000 134512640 137138936 4287187760 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4871 2436 192 642 0 4227 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19484
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/416 7912
/proc/meminfo: memFree=26002856/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19492 CPUtime=342.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2505 0 0 0 34122 108 0 0 25 0 1 0 285079141 19959808 2438 33554432000 134512640 137138936 4287187760 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4873 2438 192 642 0 4229 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19492
[startup+402.301 s]
/proc/loadavg: 2.20 2.05 2.02 4/416 7913
/proc/meminfo: memFree=26002724/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19576 CPUtime=402.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 40107 123 0 0 25 0 1 0 285079141 20045824 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4894 2449 192 642 0 4250 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19576
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 2.19 2.05 2.01 3/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=409.5 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 40824 126 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 19572
[startup+412.7 s]
/proc/loadavg: 2.17 2.05 2.01 4/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=412.7 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41142 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 412.7
Current children cumulated vsize (KiB) 19572
[startup+414.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=414.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41302 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 414.3
Current children cumulated vsize (KiB) 19572
[startup+415.101 s]
/proc/loadavg: 2.17 2.05 2.01 4/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=415.1 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41382 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 415.1
Current children cumulated vsize (KiB) 19572
[startup+415.901 s]
/proc/loadavg: 2.16 2.04 2.01 3/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=415.9 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41462 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 136504256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (KiB) 19572
[startup+416.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=416.3 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41502 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 416.3
Current children cumulated vsize (KiB) 19572
[startup+416.401 s]
/proc/loadavg: 2.16 2.04 2.01 3/416 7914
/proc/meminfo: memFree=26002848/32950928 swapFree=52006644/67111528
[pid=7901] ppid=7896 vsize=19572 CPUtime=416.4 cores=1,3,5,7
/proc/7901/stat : 7901 (bsolo) R 7896 7901 6914 0 -1 4202496 2516 0 0 0 41512 128 0 0 25 0 1 0 285079141 20041728 2449 33554432000 134512640 137138936 4287187760 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7901/statm: 4893 2449 192 642 0 4249 0
Current children cumulated CPU time (s) 416.4
Current children cumulated vsize (KiB) 19572
Child status: 0
Real time (s): 416.47
CPU time (s): 416.478
CPU user time (s): 415.189
CPU system time (s): 1.2888
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 415.189
system time used= 1.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2516
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= 648
runsolver used 1.57876 second user time and 4.10938 second system time
The end