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-3463367-1307174724/watcher-3463367-1307174724 -o /tmp/evaluation-result-3463367-1307174724/solver-3463367-1307174724 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463367-1307174724.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: 1.00 1.14 1.52 2/268 12739
/proc/meminfo: memFree=28449872/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=11016 CPUtime=0 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 342 0 0 0 0 0 0 0 21 0 1 0 829073161 11280384 296 33554432000 134512640 137138936 4290075152 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 2754 297 184 642 0 2089 0
[startup+0.062966 s]
/proc/loadavg: 1.00 1.14 1.52 2/268 12739
/proc/meminfo: memFree=28449872/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=11448 CPUtime=0.05 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 485 0 0 0 5 0 0 0 21 0 1 0 829073161 11722752 418 33554432000 134512640 137138936 4290075152 18446744073709551615 134599795 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 2862 418 192 642 0 2218 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11448
[startup+0.100944 s]
/proc/loadavg: 1.00 1.14 1.52 2/268 12739
/proc/meminfo: memFree=28449872/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=11572 CPUtime=0.09 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 524 0 0 0 9 0 0 0 21 0 1 0 829073161 11849728 457 33554432000 134512640 137138936 4290075152 18446744073709551615 134575429 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 2893 457 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300917 s]
/proc/loadavg: 1.00 1.14 1.52 2/268 12739
/proc/meminfo: memFree=28449872/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=12324 CPUtime=0.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 696 0 0 0 29 0 0 0 22 0 1 0 829073161 12619776 629 33554432000 134512640 137138936 4290075152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3081 629 192 642 0 2437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12324
[startup+0.700874 s]
/proc/loadavg: 1.00 1.14 1.52 2/268 12739
/proc/meminfo: memFree=28449872/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=13316 CPUtime=0.69 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 949 0 0 0 69 0 0 0 24 0 1 0 829073161 13635584 882 33554432000 134512640 137138936 4290075152 18446744073709551615 134543477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3329 882 192 642 0 2685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13316
[startup+1.50073 s]
/proc/loadavg: 1.00 1.14 1.52 3/274 12745
/proc/meminfo: memFree=28443616/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=13560 CPUtime=1.49 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1009 0 0 0 149 0 0 0 25 0 1 0 829073161 13885440 942 33554432000 134512640 137138936 4290075152 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3390 942 192 642 0 2746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13560
[startup+3.10042 s]
/proc/loadavg: 1.00 1.14 1.52 3/274 12773
/proc/meminfo: memFree=28443684/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=13688 CPUtime=3.09 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1060 0 0 0 309 0 0 0 25 0 1 0 829073161 14016512 993 33554432000 134512640 137138936 4290075152 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3422 993 192 642 0 2778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13688
[startup+6.30081 s]
/proc/loadavg: 1.08 1.15 1.52 3/274 12773
/proc/meminfo: memFree=28439480/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=14432 CPUtime=6.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1245 0 0 0 628 1 0 0 25 0 1 0 829073161 14778368 1178 33554432000 134512640 137138936 4290075152 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3608 1178 192 642 0 2964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14432
[startup+12.7006 s]
/proc/loadavg: 1.15 1.17 1.53 3/274 12773
/proc/meminfo: memFree=28438024/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=14932 CPUtime=12.69 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1355 0 0 0 1266 3 0 0 25 0 1 0 829073161 15290368 1288 33554432000 134512640 137138936 4290075152 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3733 1288 192 642 0 3089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14932
[startup+25.5003 s]
/proc/loadavg: 1.34 1.21 1.53 3/274 12773
/proc/meminfo: memFree=28437044/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=15304 CPUtime=25.49 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1468 0 0 0 2544 5 0 0 25 0 1 0 829073161 15671296 1401 33554432000 134512640 137138936 4290075152 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 3826 1401 192 642 0 3182 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15304
[startup+51.1006 s]
/proc/loadavg: 1.56 1.27 1.55 3/274 12774
/proc/meminfo: memFree=28435004/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=16412 CPUtime=51.09 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1729 0 0 0 5098 11 0 0 25 0 1 0 829073161 16805888 1662 33554432000 134512640 137138936 4290075152 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 4103 1662 192 642 0 3459 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16412
[startup+102.31 s]
/proc/loadavg: 1.81 1.38 1.57 3/274 12775
/proc/meminfo: memFree=28433748/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=17040 CPUtime=102.3 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 1891 0 0 0 10209 21 0 0 25 0 1 0 829073161 17448960 1824 33554432000 134512640 137138936 4290075152 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 4260 1824 192 642 0 3616 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17040
[startup+162.3 s]
/proc/loadavg: 1.99 1.51 1.59 3/274 12777
/proc/meminfo: memFree=28432244/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=18132 CPUtime=162.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2157 0 0 0 16197 32 0 0 25 0 1 0 829073161 18567168 2090 33554432000 134512640 137138936 4290075152 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 4533 2090 192 642 0 3889 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18132
[startup+222.3 s]
/proc/loadavg: 1.99 1.59 1.62 3/274 12778
/proc/meminfo: memFree=28430860/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=18340 CPUtime=222.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2206 0 0 0 22186 43 0 0 25 0 1 0 829073161 18780160 2139 33554432000 134512640 137138936 4290075152 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 4585 2139 192 642 0 3941 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18340
[startup+282.3 s]
/proc/loadavg: 1.99 1.66 1.64 3/274 12780
/proc/meminfo: memFree=28430588/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=19040 CPUtime=282.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2382 0 0 0 28177 52 0 0 25 0 1 0 829073161 19496960 2315 33554432000 134512640 137138936 4290075152 18446744073709551615 134575855 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 4760 2315 192 642 0 4116 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19040
[startup+342.3 s]
/proc/loadavg: 1.99 1.72 1.66 3/274 12782
/proc/meminfo: memFree=28428336/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20736 CPUtime=342.3 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2820 0 0 0 34168 62 0 0 25 0 1 0 829073161 21233664 2753 33554432000 134512640 137138936 4290075152 18446744073709551615 134603200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5184 2753 192 642 0 4540 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20736
[startup+402.3 s]
/proc/loadavg: 1.99 1.77 1.68 3/274 12783
/proc/meminfo: memFree=28428440/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20716 CPUtime=402.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2820 0 0 0 40160 69 0 0 25 0 1 0 829073161 21213184 2753 33554432000 134512640 137138936 4290075152 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5179 2753 192 642 0 4535 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 20716
[startup+462.3 s]
/proc/loadavg: 1.99 1.81 1.69 3/274 12785
/proc/meminfo: memFree=28428292/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20672 CPUtime=462.29 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2820 0 0 0 46152 77 0 0 25 0 1 0 829073161 21168128 2743 33554432000 134512640 137138936 4290075152 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5168 2743 192 642 0 4524 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 20672
[startup+522.3 s]
/proc/loadavg: 2.05 1.86 1.72 3/274 12786
/proc/meminfo: memFree=28426912/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=522.3 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 52144 86 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20668
[startup+582.3 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=582.31 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 58137 94 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 134542840 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20668
Solver just ended. Dumping a history of the last processes samples
[startup+583.901 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=583.9 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 58296 94 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 583.9
Current children cumulated vsize (KiB) 20668
[startup+585.501 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=585.5 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 58456 94 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 585.5
Current children cumulated vsize (KiB) 20668
[startup+586.31 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=586.31 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 58537 94 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 586.31
Current children cumulated vsize (KiB) 20668
[startup+586.701 s]
/proc/loadavg: 2.02 1.88 1.73 3/274 12788
/proc/meminfo: memFree=28426760/32951124 swapFree=55664332/67111528
[pid=12739] ppid=12737 vsize=20668 CPUtime=586.7 cores=0,2,4,6
/proc/12739/stat : 12739 (bsolo) R 12737 12739 10640 0 -1 4202496 2821 0 0 0 58576 94 0 0 25 0 1 0 829073161 21164032 2742 33554432000 134512640 137138936 4290075152 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12739/statm: 5167 2742 192 642 0 4523 0
Current children cumulated CPU time (s) 586.7
Current children cumulated vsize (KiB) 20668
Child status: 0
Real time (s): 586.774
CPU time (s): 586.785
CPU user time (s): 585.837
CPU system time (s): 0.947855
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.837
system time used= 0.947855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2821
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= 7
involuntary context switches= 891
runsolver used 1.54776 second user time and 3.2595 second system time
The end