Trace number 3462956

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2? 1798 1798.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM0973e03eb27089eff6bc20e630a3ba01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462956-1307177291.opb
0.00/0.00	c File size is 455953 bytes.
0.00/0.03	c Highest Coefficient sum: 6352
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.029 s
0.00/0.03	c Var: 6352 Constr: 13501 13501/0/0 Lit: 34045 Watch. Lit: 26861
0.00/0.03	c Obj. Vars: 6352 (100 % of total variables)
0.04/0.07	c Pre-processing Time: 0.075 s
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c        0   1987     5870    16590    2    11740    1956      0      0 0.07
0.04/0.07	c Switching off lower bounding mode.
1797.93/1798.06	c      101   1987     6072    23852    3    12144    2152    202    748 0.14
1797.93/1798.06	c      251   1987     6372    36340    5    12744    2368    502   1000 0.25
1797.93/1798.06	c      477   1987     6824    54754    8    13648    2605    954   1204 0.40
1797.93/1798.06	c      815   1987     7500    75514   10    15000    2866   1630   1452 0.56
1797.93/1798.06	c     1325   1987     8520   110462   12    17040    3153   2650   1562 0.85
1797.93/1798.06	c     2088   1987    10046   185464   18    20092    3469   4176   1509 1.38
1797.93/1798.06	c     3234   1987    12338   306144   24    24676    3816   6468   1453 2.23
1797.93/1798.06	c     4955   1987     9438   178200   18    18876    4198   3568   1440 3.44
1797.93/1798.06	c     7540   1987     8146   101444   12    16292    4618   2276   1373 5.49
1797.93/1798.06	c    11419   1987     9211   166957   18    18422    5080   3341   1308 8.73
1797.93/1798.06	c    17241   1987    13868   424581   30    27736    5589   7998   1252 13.77
1797.93/1798.06	c    25978   1987     9836   209408   21    19672    6148   3966   1181 21.98
1797.93/1798.06	c    39088   1987    13607   357681   26    27214    6763   7737   1156 33.80
1797.93/1798.06	c    58758   1987    14210   388246   27    28420    7440   8340   1114 52.73
1797.93/1798.06	c    88270   1987    16591   498489   30    33182    8185  10721   1099 80.28
1797.93/1798.06	c   132543   1987    11771   293625   24    23542    9004   5901   1064 124.56
1797.93/1798.06	c   198953   1987    11136   259568   23    22272    9905   5266   1033 192.45
1797.93/1798.06	c   298573   1987    14054   415080   29    28108   10896   8184   1018 293.28
1797.93/1798.06	c   448008   1987    19649   650174   33    39298   11986  13779    972 460.85
1797.93/1798.06	c   672166   1987    13963   394222   28    27926   13185   8093    968 694.04
1797.93/1798.06	c  1008410   1987    20734   749550   36    41468   14504  14864    975 1034.03
1797.93/1798.06	c  1512781   1987    23331  1053127   45    46662   15955  17461    951 1589.16
1797.93/1798.06	c Resources Exceeded
1797.93/1798.06	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.06	c   22  1695784 152085  1883901    21504   840981  15634    943 1798.00
1797.93/1798.06	s UNKNOWN
1797.93/1798.06	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3462956-1307177291/watcher-3462956-1307177291 -o /tmp/evaluation-result-3462956-1307177291/solver-3462956-1307177291 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462956-1307177291.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.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=12080 CPUtime=0.01 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 544 0 0 0 1 0 0 0 25 0 1 0 829328712 12369920 498 33554432000 134512640 137138936 4290356432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3020 498 213 642 0 2264 0

[startup+0.0461331 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13652 CPUtime=0.04 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1140 0 0 0 4 0 0 0 18 0 1 0 829328712 13979648 982 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3413 982 184 642 0 2769 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13652

[startup+0.101134 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13768 CPUtime=0.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1197 0 0 0 9 0 0 0 18 0 1 0 829328712 14098432 1022 33554432000 134512640 137138936 4290356432 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13768

[startup+0.3011 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13768 CPUtime=0.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1197 0 0 0 29 0 0 0 18 0 1 0 829328712 14098432 1022 33554432000 134512640 137138936 4290356432 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768

[startup+0.701046 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13972 CPUtime=0.69 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1242 0 0 0 69 0 0 0 18 0 1 0 829328712 14307328 1067 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3493 1067 192 642 0 2849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13972

[startup+1.50092 s]
/proc/loadavg: 2.13 2.04 1.93 3/499 18797
/proc/meminfo: memFree=29012532/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=15608 CPUtime=1.49 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1637 0 0 0 149 0 0 0 20 0 1 0 829328712 15982592 1462 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3902 1462 192 642 0 3258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15608

[startup+3.10065 s]
/proc/loadavg: 2.13 2.04 1.93 3/499 18797
/proc/meminfo: memFree=29001868/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=18452 CPUtime=3.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2348 0 0 0 308 1 0 0 25 0 1 0 829328712 18894848 2173 33554432000 134512640 137138936 4290356432 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4613 2173 192 642 0 3969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18452

[startup+6.30108 s]
/proc/loadavg: 2.20 2.06 1.93 3/499 18797
/proc/meminfo: memFree=28999584/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=18456 CPUtime=6.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2362 0 0 0 628 1 0 0 25 0 1 0 829328712 18898944 2187 33554432000 134512640 137138936 4290356432 18446744073709551615 134599264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4614 2187 192 642 0 3970 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18456

[startup+12.701 s]
/proc/loadavg: 2.18 2.06 1.93 3/499 18797
/proc/meminfo: memFree=28995260/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=19452 CPUtime=12.69 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2598 0 0 0 1267 2 0 0 25 0 1 0 829328712 19918848 2423 33554432000 134512640 137138936 4290356432 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4863 2423 192 642 0 4219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19452

[startup+25.5009 s]
/proc/loadavg: 2.22 2.07 1.94 3/499 18799
/proc/meminfo: memFree=28976168/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=20640 CPUtime=25.49 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2905 0 0 0 2546 3 0 0 25 0 1 0 829328712 21135360 2730 33554432000 134512640 137138936 4290356432 18446744073709551615 136364664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5160 2730 192 642 0 4516 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20640

[startup+51.1006 s]
/proc/loadavg: 2.14 2.06 1.94 3/499 18799
/proc/meminfo: memFree=28974852/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=20728 CPUtime=51.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2932 0 0 0 5103 6 0 0 25 0 1 0 829328712 21225472 2757 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5182 2757 192 642 0 4538 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20728

[startup+102.319 s]
/proc/loadavg: 2.06 2.05 1.94 3/499 18801
/proc/meminfo: memFree=28961948/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=22068 CPUtime=102.31 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3277 0 0 0 10222 9 0 0 25 0 1 0 829328712 22597632 3096 33554432000 134512640 137138936 4290356432 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5517 3096 192 642 0 4873 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22068

[startup+162.301 s]
/proc/loadavg: 2.09 2.06 1.94 3/499 18828
/proc/meminfo: memFree=29033304/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=23716 CPUtime=162.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3692 0 0 0 16215 14 0 0 25 0 1 0 829328712 24285184 3502 33554432000 134512640 137138936 4290356432 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5929 3502 192 642 0 5285 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23716

[startup+222.301 s]
/proc/loadavg: 2.03 2.04 1.94 3/499 18830
/proc/meminfo: memFree=29031796/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=24128 CPUtime=222.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3810 0 0 0 22203 19 0 0 25 0 1 0 829328712 24707072 3612 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6032 3612 192 642 0 5388 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24128

[startup+282.301 s]
/proc/loadavg: 2.01 2.03 1.94 3/499 18832
/proc/meminfo: memFree=29030916/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25204 CPUtime=282.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4064 0 0 0 28199 23 0 0 25 0 1 0 829328712 25808896 3866 33554432000 134512640 137138936 4290356432 18446744073709551615 134606697 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6301 3866 192 642 0 5657 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 25204

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/499 18834
/proc/meminfo: memFree=29031132/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25216 CPUtime=342.21 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4074 0 0 0 34193 28 0 0 25 0 1 0 829328712 25821184 3876 33554432000 134512640 137138936 4290356432 18446744073709551615 134576103 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6304 3876 192 642 0 5660 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 25216

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032368/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25212 CPUtime=402.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4074 0 0 0 40189 33 0 0 25 0 1 0 829328712 25817088 3876 33554432000 134512640 137138936 4290356432 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6303 3876 192 642 0 5659 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25212

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.94 5/499 18863
/proc/meminfo: memFree=28729408/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25216 CPUtime=462.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4075 0 0 0 46183 39 0 0 25 0 1 0 829328712 25821184 3877 33554432000 134512640 137138936 4290356432 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6304 3877 192 642 0 5660 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 25216

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.94 5/499 18865
/proc/meminfo: memFree=28381864/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25772 CPUtime=522.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4212 0 0 0 52177 45 0 0 25 0 1 0 829328712 26390528 4014 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6443 4014 192 642 0 5799 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 25772

[startup+582.301 s]
/proc/loadavg: 2.08 2.02 1.95 5/499 18867
/proc/meminfo: memFree=28118216/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25932 CPUtime=582.21 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4270 0 0 0 58173 48 0 0 25 0 1 0 829328712 26554368 4063 33554432000 134512640 137138936 4290356432 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6483 4063 192 642 0 5839 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 25932

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=27989600/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30656 CPUtime=1122.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 112122 100 0 0 25 0 1 0 829328712 31391744 5244 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7664 5244 192 642 0 7020 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 30656

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.97 5/499 18895
/proc/meminfo: memFree=27989716/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1182.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 118119 103 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 30532

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.97 5/499 18897
/proc/meminfo: memFree=27989068/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1242.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 124114 108 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 30532

[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 1.98 5/499 18899
/proc/meminfo: memFree=27990048/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1302.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 130111 112 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 30532

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 1.99 5/499 18899
/proc/meminfo: memFree=27990152/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1362.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 136104 118 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 30532

[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 1.99 5/499 18901
/proc/meminfo: memFree=27990372/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1422.25 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 142102 123 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 30532

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.99 5/499 18903
/proc/meminfo: memFree=27989984/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30520 CPUtime=1482.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 148096 127 0 0 25 0 1 0 829328712 31252480 5210 33554432000 134512640 137138936 4290356432 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7630 5210 192 642 0 6986 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 30520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.99 5/499 18905
/proc/meminfo: memFree=27987736/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30520 CPUtime=1542.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 154092 131 0 0 25 0 1 0 829328712 31252480 5210 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7630 5210 192 642 0 6986 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 30520

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 5/499 18907
/proc/meminfo: memFree=27987720/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=31020 CPUtime=1602.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5600 0 0 0 160088 135 0 0 25 0 1 0 829328712 31764480 5323 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7755 5323 192 642 0 7111 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 31020

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 5/499 18907
/proc/meminfo: memFree=27987584/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=31064 CPUtime=1662.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 166085 138 0 0 25 0 1 0 829328712 31809536 5338 33554432000 134512640 137138936 4290356432 18446744073709551615 134618022 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7766 5338 192 642 0 7122 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 31064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 5/499 18909
/proc/meminfo: memFree=27986564/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1722.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 172080 142 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 30980

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 4/499 18911
/proc/meminfo: memFree=27986916/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1782.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 178076 147 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 30980

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.10 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27986668/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1785.43 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 178396 147 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (KiB) 30980

[startup+1791.92 s]
/proc/loadavg: 2.09 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987780/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1791.85 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179037 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1791.85
Current children cumulated vsize (KiB) 30980

[startup+1795.1 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987776/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1795.04 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179356 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 30980

[startup+1796.7 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987776/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1796.63 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179515 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 30980

[startup+1797.5 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.43 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179595 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 30980

[startup+1797.9 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.83 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179635 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 30980

[startup+1798 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.93 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179645 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134575188 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 30980

Child status: 0
Real time (s): 1798.06
CPU time (s): 1798
CPU user time (s): 1796.51
CPU system time (s): 1.48877
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 31064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.48877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5625
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= 3043

runsolver used 9.37457 second user time and 20.1579 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-04 10:48:11
IDJOB=3462956
IDBENCH=2167
IDSOLVER=1955
FILE ID=node129/3462956-1307177291
RUNJOBID= node129-1307175483-18620
PBS_JOBID= 13508828
Free space on /tmp= 73876 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462956-1307177291/watcher-3462956-1307177291 -o /tmp/evaluation-result-3462956-1307177291/solver-3462956-1307177291 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462956-1307177291.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0973e03eb27089eff6bc20e630a3ba01
RANDOM SEED=1124489019

node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29020136 kB
Buffers:        320704 kB
Cached:        2140244 kB
SwapCached:      49348 kB
Active:         481912 kB
Inactive:      3167708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29020136 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:            8672 kB
Writeback:           0 kB
AnonPages:     1149748 kB
Mapped:          15640 kB
Slab:           154260 kB
PageTables:      59236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147370648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73868 MiB
End job on node129 at 2011-06-04 11:18:09