Trace number 1878384

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 cl? 1798.22 1798.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
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 variables14500
Total number of constraints461872
Number of constraints which are clauses461872
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 constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
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 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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.1 - 13/04/2009 : 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: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878384-1245150027.opb
0.00/0.00	c File size is 11967798 bytes.
1.69/1.75	c Highest Coefficient sum: 14500
1.69/1.75	c Parsing was ok!!
1.69/1.75	c Total parsing time: 1.751 s
1.89/1.92	c Var: 14500 Constr: 461872 461872/0/0 Lit: 930494 Watch. Lit: 923744
1.89/1.92	c Obj. Vars: 14500 (100 % of total variables)
17.89/17.91	c Pre-processing Time: 17.907 s
17.89/17.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.89/17.92	c        0  14500   461872   930494    2   923744  153957      0      0 17.91
17.89/17.92	c Switching off lower bounding mode.
1797.92/1798.48	c      100  14500   461972   941369    2   923944  169353    100      5 18.05
1797.92/1798.48	c      250  14500   462122   951782    2   924244  186289    250     12 19.69
1797.92/1798.48	c      475  14500   462347  1012841    2   924694  204918    475     23 20.07
1797.92/1798.48	c      814  14500   462686  1217382    2   925372  225410    814     39 20.78
1797.92/1798.48	c     1323  14500   463195  1492750    3   926390  247952   1323     59 22.08
1797.92/1798.48	c     2086  14500   463958  1865988    4   927916  272748   2086     87 23.86
1797.92/1798.48	c     3232  14500   465104  2495368    5   930208  300023   3232    122 26.35
1797.92/1798.48	c     4953  14500   466825  3344850    7   933650  330026   4953    158 31.22
1797.92/1798.48	c     7537  14500   469409  5443953   11   938818  363029   7537    185 40.54
1797.92/1798.48	c    11418  14500   473290  9035444   19   946580  399332  11418    188 60.46
1797.92/1798.48	c    17240  14500   479112 12659729   26   958224  439266  17240    191 89.99
1797.92/1798.48	c    25977  14500   487849 18739489   38   975698  483193  25977    179 144.50
1797.92/1798.48	c    39087  14500   500959 32085362   64  1001918  531513  39087    131 296.56
1797.92/1798.48	c    58757  14500   520629 51141727   98  1041258  584665  58757    100 583.58
1797.92/1798.48	c    88268  14500   550140 72537065  131  1100280  643132  88268     79 1115.57
1797.92/1798.48	c Resources Exceeded
1797.92/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.48	c   15   119722  38439   349298   581594 98431491 119722     66 1798.01
1797.92/1798.48	s UNKNOWN
1797.92/1798.48	c Total time: 1798.01 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878384-1245150027/watcher-1878384-1245150027 -o /tmp/evaluation-result-1878384-1245150027/solver-1878384-1245150027 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878384-1245150027.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3128
/proc/meminfo: memFree=1895664/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=30216 CPUtime=0
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 182602863 30941184 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 7554 246 172 640 0 3988 0

[startup+0.013508 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3128
/proc/meminfo: memFree=1895664/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=30644 CPUtime=0.01
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 366 0 0 0 1 0 0 0 18 0 1 0 182602863 31379456 350 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 7661 351 186 640 0 4095 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30644

[startup+0.101517 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3128
/proc/meminfo: memFree=1895664/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=25660 CPUtime=0.09
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 1231 0 0 0 9 0 0 0 18 0 1 0 182602863 26275840 1215 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 6416 1215 333 640 0 2850 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25660

[startup+0.301537 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3128
/proc/meminfo: memFree=1895664/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=31160 CPUtime=0.29
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 2939 0 0 0 29 0 0 0 19 0 1 0 182602863 31907840 2923 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 7790 2923 671 640 0 4224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31160

[startup+0.70158 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 3128
/proc/meminfo: memFree=1895664/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=41608 CPUtime=0.69
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 6206 0 0 0 67 2 0 0 22 0 1 0 182602863 42606592 6190 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 10402 6190 1333 640 0 6836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41608

[startup+1.50167 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 3129
/proc/meminfo: memFree=1868328/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=62232 CPUtime=1.49
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 12693 0 0 0 144 5 0 0 25 0 1 0 182602863 63725568 12677 1992294400 134512640 137136520 4294956256 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 15558 12677 2657 640 0 11992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62232

[startup+3.10184 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 3129
/proc/meminfo: memFree=1825896/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=79784 CPUtime=3.09
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 20435 0 0 0 300 9 0 0 25 0 1 0 182602863 81698816 17497 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 19946 17497 188 640 0 19302 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79784

[startup+6.30118 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 3129
/proc/meminfo: memFree=1810856/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=95028 CPUtime=6.29
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 24240 0 0 0 613 16 0 0 25 0 1 0 182602863 97308672 21302 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 23757 21302 190 640 0 23113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95028

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 3129
/proc/meminfo: memFree=1810856/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=95028 CPUtime=12.69
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 24240 0 0 0 1231 38 0 0 25 0 1 0 182602863 97308672 21302 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 23757 21302 190 640 0 23113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95028

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 3129
/proc/meminfo: memFree=1809000/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=97800 CPUtime=25.49
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 28793 0 0 0 2485 64 0 0 25 0 1 0 182602863 100147200 22023 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 24450 22023 195 640 0 23806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97800

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 3135
/proc/meminfo: memFree=1745704/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=161428 CPUtime=51.07
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 44680 0 0 0 5030 77 0 0 25 0 1 0 182602863 165302272 37910 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 40357 37910 195 640 0 39713 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 161428

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 3135
/proc/meminfo: memFree=1653864/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=251856 CPUtime=102.26
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 67303 0 0 0 10132 94 0 0 25 0 1 0 182602863 257900544 60533 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 62964 60533 195 640 0 62320 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 251856

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1572904/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=333468 CPUtime=162.24
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 87679 0 0 0 16114 110 0 0 25 0 1 0 182602863 341471232 80909 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 83367 80909 195 640 0 82723 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 333468

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1516968/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=388672 CPUtime=222.22
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 101490 0 0 0 22101 121 0 0 25 0 1 0 182602863 398000128 94720 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 97168 94720 195 640 0 96524 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 388672

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1441384/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=464620 CPUtime=282.21
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 120485 0 0 0 28089 132 0 0 25 0 1 0 182602863 475770880 113715 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 116155 113715 195 640 0 115511 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 464620

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1365992/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=539324 CPUtime=342.2
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 139158 0 0 0 34075 145 0 0 25 0 1 0 182602863 552267776 132388 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 134831 132388 195 640 0 134187 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 539324

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1307944/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=597856 CPUtime=402.18
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 153789 0 0 0 40064 154 0 0 25 0 1 0 182602863 612204544 147019 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 149464 147019 195 640 0 148820 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 597856

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1254696/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=650408 CPUtime=462.16
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 166915 0 0 0 46056 160 0 0 25 0 1 0 182602863 666017792 160145 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 162602 160145 195 640 0 161958 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 650408

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1212584/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=692532 CPUtime=522.14
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 177462 0 0 0 52048 166 0 0 25 0 1 0 182602863 709152768 170692 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 173133 170692 195 640 0 172489 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 692532

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1180776/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=723952 CPUtime=582.13
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 185331 0 0 0 58041 172 0 0 25 0 1 0 182602863 741326848 178561 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 180988 178561 195 640 0 180344 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 723952

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=1141992/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=762464 CPUtime=642.12
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 194933 0 0 0 64030 182 0 0 25 0 1 0 182602863 780763136 188163 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 190616 188163 195 640 0 189972 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 762464

[startup+702.302 s]

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

/proc/meminfo: memFree=900776/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1003160 CPUtime=1121.99
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 255134 0 0 0 111970 229 0 0 25 0 1 0 182602863 1027235840 248364 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 250790 248364 195 640 0 250146 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1003160

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=857640/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1047088 CPUtime=1181.97
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 266093 0 0 0 117962 235 0 0 25 0 1 0 182602863 1072218112 259323 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 261772 259323 195 640 0 261128 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1047088

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=820840/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1082924 CPUtime=1241.96
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 275057 0 0 0 123956 240 0 0 25 0 1 0 182602863 1108914176 268287 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 270731 268287 195 640 0 270087 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1082924

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=788456/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1114904 CPUtime=1301.95
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 283057 0 0 0 129948 247 0 0 25 0 1 0 182602863 1141661696 276287 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 278726 276287 195 640 0 278082 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1114904

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=759784/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1143692 CPUtime=1361.93
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 290257 0 0 0 135941 252 0 0 25 0 1 0 182602863 1171140608 283487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 285923 283487 195 640 0 285279 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1143692

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=727272/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1175868 CPUtime=1421.92
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 298312 0 0 0 141934 258 0 0 25 0 1 0 182602863 1204088832 291542 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 293967 291542 195 640 0 293323 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1175868

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=701352/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1201972 CPUtime=1481.9
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 304819 0 0 0 147927 263 0 0 25 0 1 0 182602863 1230819328 298049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 300493 298049 195 640 0 299849 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1201972

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=674344/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1228812 CPUtime=1541.88
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 311533 0 0 0 153921 267 0 0 25 0 1 0 182602863 1258303488 304763 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 307203 304763 195 640 0 306559 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1228812

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=651624/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1251600 CPUtime=1601.87
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 317216 0 0 0 159915 272 0 0 25 0 1 0 182602863 1281638400 310446 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 312900 310446 195 640 0 312256 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1251600

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=622440/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1280572 CPUtime=1661.85
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 324464 0 0 0 165907 278 0 0 25 0 1 0 182602863 1311305728 317694 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 320143 317694 195 640 0 319499 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1280572

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=596456/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1306680 CPUtime=1721.83
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 330990 0 0 0 171900 283 0 0 25 0 1 0 182602863 1338040320 324220 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 326670 324220 195 640 0 326026 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1306680

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=575656/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1327088 CPUtime=1781.83
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 336108 0 0 0 177896 287 0 0 25 0 1 0 182602863 1358938112 329338 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 331772 329338 195 640 0 331128 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1327088

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=572968/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1329728 CPUtime=1791.42
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 336771 0 0 0 178855 287 0 0 25 0 1 0 182602863 1361641472 330001 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 332432 330001 195 640 0 331788 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 1329728

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=571752/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1330952 CPUtime=1794.63
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 337061 0 0 0 179175 288 0 0 25 0 1 0 182602863 1362894848 330291 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 332738 330291 195 640 0 332094 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 1330952

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=571368/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1331480 CPUtime=1796.22
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 337207 0 0 0 179334 288 0 0 25 0 1 0 182602863 1363435520 330437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 332870 330437 195 640 0 332226 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 1331480

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=570984/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1331756 CPUtime=1797.02
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 337275 0 0 0 179414 288 0 0 25 0 1 0 182602863 1363718144 330505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 332939 330505 195 640 0 332295 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 1331756

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=570984/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=1332020 CPUtime=1797.82
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194304 337341 0 0 0 179494 288 0 0 25 0 1 0 182602863 1363988480 330571 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 333005 330571 195 640 0 332361 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 1332020

[startup+1798.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=570536/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=0 CPUtime=1798.02
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194308 337371 0 0 0 179513 289 0 0 25 0 1 0 182602863 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

[startup+1798.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3135
/proc/meminfo: memFree=570536/2055920 swapFree=4181536/4192956
[pid=3128] ppid=3126 vsize=0 CPUtime=1798.12
/proc/3128/stat : 3128 (bsolo) R 3126 3128 2317 0 -1 4194308 337371 0 0 0 179513 299 0 0 25 0 1 0 182602863 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3128/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.7
CPU time (s): 1798.22
CPU user time (s): 1795.13
CPU system time (s): 3.09053
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1332180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 3.09053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337371
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= 2
involuntary context switches= 2057

runsolver used 1.08583 second user time and 3.9674 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 13:00:27
IDJOB=1878384
IDBENCH=2058
IDSOLVER=700
FILE ID=node19/1878384-1245150027
PBS_JOBID= 9363780
Free space on /tmp= 66148 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878384-1245150027/watcher-1878384-1245150027 -o /tmp/evaluation-result-1878384-1245150027/solver-1878384-1245150027 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878384-1245150027.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47
RANDOM SEED=1255207647

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1896144 kB
Buffers:         18436 kB
Cached:          77232 kB
SwapCached:       6060 kB
Active:          72388 kB
Inactive:        32052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1896144 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           15648 kB
Writeback:           0 kB
Mapped:          13528 kB
Slab:            41240 kB
Committed_AS:   188976 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878384-1245150027.opb

Free space on /tmp at the end= 66144 MiB
End job on node19 at 2009-06-16 13:30:26