Trace number 3478808

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 NameAnswerCPU timeWall clock time
bsolo 3.2? 1798.04 1798.14

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
MD5SUM1e275a6bfffefd782bc57067ec81c100
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41972
Total number of constraints972388
Number of constraints which are clauses873653
Number of constraints which are cardinality constraints (but not clauses)3080
Number of constraints which are nor clauses,nor cardinality constraints95655
Minimum length of a constraint1
Maximum length of a constraint627
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
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-3478808-1307438598.opb
0.00/0.00	c File size is 43874277 bytes.
2.89/2.92	c Highest Coefficient sum: 628
2.89/2.92	c Parsing was ok!!
2.89/2.92	c Total parsing time: 2.924 s
2.99/3.08	c Var: 41972 Constr: 973950 875238/3057/95655 Lit: 3762863 Watch. Lit: 1964726
2.99/3.08	c Obj. Vars: 0 (0 % of total variables)
159.32/159.46	c Pre-processing Time: 159.384 s
159.32/159.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.32/159.48	c        0  40814   935536  3621926    3  1982995  500000      0      0 159.38
159.32/159.48	c Switching off lower bounding mode.
1798.00/1798.10	c      103  40814   935742  3639110    3  1981938  550001    206      0 159.53
1798.00/1798.10	c      253  40814   936042  3664416    3  1982538  605002    506      1 159.76
1798.00/1798.10	c      479  40814   936488  3684759    3  1975992  665503    952      2 160.47
1798.00/1798.10	c      819  40814   937163  3728828    3  1968228  732054   1627      5 161.51
1798.00/1798.10	c     1327  40814   938155  3785005    4  1965426  805260   2619      8 165.39
1798.00/1798.10	c     2093  40814   939687  4060169    4  1967168  885787   4151     12 167.94
1798.00/1798.10	c     3239  40814   941971  4517996    4  1971547  974366   6435     18 171.89
1798.00/1798.10	c     4965  40814   945414  5161982    5  1978975  500000   9878     27 177.65
1798.00/1798.10	c     7552  40814   950552  5983964    6  1984447  550001  15016     39 189.11
1798.00/1798.10	c    11431  40814   958292  7321060    7  1997527  605002  22756     54 208.94
1798.00/1798.10	c    17256  40814   969940  9625148    9  2021180  665503  34404     69 246.78
1798.00/1798.10	c    25993  40814   987377 12237411   12  2054543  732054  51841     86 299.02
1798.00/1798.10	c    39103  40814  1013578 16652353   16  2107159  805260  78042     98 397.97
1798.00/1798.10	c    58775  40814  1052673 23773829   22  2177281  885787 117137     97 604.70
1798.00/1798.10	c    88286  40814  1111612 34801755   31  2291558  974366 176076     86 1021.99
1798.00/1798.10	c   132557  40814  1200013 48726707   40  2468543  500000 264477     81 1633.47
1798.00/1798.10	c Resources Exceeded
1798.00/1798.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.10	c   16   140412  33959  6215521  1215716 51254717 280180     78 1798.01
1798.00/1798.10	s UNKNOWN
1798.00/1798.10	c Total time: 1798.01 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-3478808-1307438598/watcher-3478808-1307438598 -o /tmp/evaluation-result-3478808-1307438598/solver-3478808-1307438598 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478808-1307438598.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.02 2.03 1.72 2/535 16541
/proc/meminfo: memFree=28616448/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=54048 CPUtime=0 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 404 0 0 0 0 0 0 0 23 0 1 0 855457837 55345152 358 33554432000 134512640 137138936 4289884864 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 13512 359 201 642 0 2156 0

[startup+0.0604091 s]
/proc/loadavg: 2.02 2.03 1.72 2/535 16541
/proc/meminfo: memFree=28616448/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=56640 CPUtime=0.05 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 1241 0 0 0 5 0 0 0 23 0 1 0 855457837 57999360 1195 33554432000 134512640 137138936 4289884864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 14160 1195 396 642 0 2804 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 56640

[startup+0.100394 s]
/proc/loadavg: 2.02 2.03 1.72 2/535 16541
/proc/meminfo: memFree=28616448/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=58552 CPUtime=0.09 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 1898 0 0 0 9 0 0 0 23 0 1 0 855457837 59957248 1852 33554432000 134512640 137138936 4289884864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 14638 1853 557 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58552

[startup+0.300355 s]
/proc/loadavg: 2.02 2.03 1.72 2/535 16541
/proc/meminfo: memFree=28616448/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=67832 CPUtime=0.29 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 4980 0 0 0 29 0 0 0 25 0 1 0 855457837 69459968 4934 33554432000 134512640 137138936 4289884864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 16958 4935 1323 642 0 5602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67832

[startup+0.700283 s]
/proc/loadavg: 2.02 2.03 1.72 2/535 16541
/proc/meminfo: memFree=28616448/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=86144 CPUtime=0.69 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 11093 0 0 0 68 1 0 0 25 0 1 0 855457837 88211456 11047 33554432000 134512640 137138936 4289884864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 21536 11047 2855 642 0 10180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86144

[startup+1.50115 s]
/proc/loadavg: 2.02 2.03 1.72 3/536 16542
/proc/meminfo: memFree=28568700/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=119996 CPUtime=1.49 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 22598 0 0 0 146 3 0 0 25 0 1 0 855457837 122875904 22512 33554432000 134512640 137138936 4289884864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 29999 22512 5882 642 0 18643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119996

[startup+3.10087 s]
/proc/loadavg: 2.02 2.03 1.72 3/536 16542
/proc/meminfo: memFree=28520704/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=183180 CPUtime=3.09 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 54011 0 0 0 302 7 0 0 25 0 1 0 855457837 187576320 43134 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 45795 43134 183 642 0 45151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183180

[startup+6.30029 s]
/proc/loadavg: 2.02 2.03 1.72 3/536 16542
/proc/meminfo: memFree=28376128/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=240864 CPUtime=6.29 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68522 0 0 0 617 12 0 0 25 0 1 0 855457837 246644736 57563 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60216 57563 185 642 0 59572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 240864

[startup+12.7012 s]
/proc/loadavg: 2.10 2.04 1.73 3/536 16542
/proc/meminfo: memFree=28369164/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=240864 CPUtime=12.69 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68528 0 0 0 1252 17 0 0 25 0 1 0 855457837 246644736 57569 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60216 57569 185 642 0 59572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 240864

[startup+25.5009 s]
/proc/loadavg: 2.08 2.04 1.74 3/536 16543
/proc/meminfo: memFree=28360220/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=240864 CPUtime=25.49 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68536 0 0 0 2524 25 0 0 25 0 1 0 855457837 246644736 57577 33554432000 134512640 137138936 4289884864 18446744073709551615 134540051 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60216 57577 185 642 0 59572 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 240864

[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 1.74 3/536 16544
/proc/meminfo: memFree=28337624/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=240996 CPUtime=51.09 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68547 0 0 0 5073 36 0 0 25 0 1 0 855457837 246779904 57588 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60249 57588 185 642 0 59605 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 240996

[startup+102.32 s]
/proc/loadavg: 2.02 2.03 1.75 3/536 16545
/proc/meminfo: memFree=28304168/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=240996 CPUtime=102.31 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68562 0 0 0 10178 53 0 0 25 0 1 0 855457837 246779904 57603 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60249 57603 185 642 0 59605 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 240996

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.76 3/536 16546
/proc/meminfo: memFree=28262636/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=235848 CPUtime=162.22 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 68594 0 0 0 16152 70 0 0 25 0 1 0 855457837 241508352 56347 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 58962 56347 192 642 0 58318 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 235848

[startup+222.3 s]
/proc/loadavg: 2.12 2.05 1.79 3/536 16548
/proc/meminfo: memFree=28250824/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=241264 CPUtime=222.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 69917 0 0 0 22110 111 0 0 25 0 1 0 855457837 247054336 57670 33554432000 134512640 137138936 4289884864 18446744073709551615 134551101 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 60316 57670 192 642 0 59672 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 241264

[startup+282.301 s]
/proc/loadavg: 2.11 2.05 1.80 3/536 16550
/proc/meminfo: memFree=28198840/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=284720 CPUtime=282.22 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 80808 0 0 0 28093 129 0 0 25 0 1 0 855457837 291553280 68561 33554432000 134512640 137138936 4289884864 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 71180 68561 192 642 0 70536 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 284720

[startup+342.301 s]
/proc/loadavg: 2.04 2.04 1.81 3/536 16551
/proc/meminfo: memFree=28153440/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=321368 CPUtime=342.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 89963 0 0 0 34080 141 0 0 25 0 1 0 855457837 329080832 77716 33554432000 134512640 137138936 4289884864 18446744073709551615 134541969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 80342 77716 192 642 0 79698 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 321368

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 1.82 3/536 16553
/proc/meminfo: memFree=28110876/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=355128 CPUtime=402.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 98383 0 0 0 40073 148 0 0 25 0 1 0 855457837 363651072 86136 33554432000 134512640 137138936 4289884864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 88782 86136 192 642 0 88138 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 355128

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.83 3/536 16554
/proc/meminfo: memFree=28075408/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=379364 CPUtime=462.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 104443 0 0 0 46035 186 0 0 25 0 1 0 855457837 388468736 92196 33554432000 134512640 137138936 4289884864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 94841 92196 192 642 0 94197 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 379364

[startup+522.301 s]
/proc/loadavg: 2.16 2.05 1.84 3/536 16556
/proc/meminfo: memFree=28029132/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=409396 CPUtime=522.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 111951 0 0 0 52033 188 0 0 25 0 1 0 855457837 419221504 99704 33554432000 134512640 137138936 4289884864 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 102349 99704 192 642 0 101705 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 409396

[startup+582.301 s]
/proc/loadavg: 2.12 2.05 1.86 3/536 16558
/proc/meminfo: memFree=27966480/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=439320 CPUtime=582.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 119432 0 0 0 58029 192 0 0 25 0 1 0 855457837 449863680 107185 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 109830 107185 192 642 0 109186 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 439320

[startup+642.3 s]

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

/proc/meminfo: memFree=27709700/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=602380 CPUtime=1062.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 160198 0 0 0 105956 264 0 0 25 0 1 0 855457837 616837120 147951 33554432000 134512640 137138936 4289884864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 150595 147951 192 642 0 149951 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 602380

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 1.92 3/536 16572
/proc/meminfo: memFree=27686604/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=618232 CPUtime=1122.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 164161 0 0 0 111951 269 0 0 25 0 1 0 855457837 633069568 151914 33554432000 134512640 137138936 4289884864 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 154558 151914 192 642 0 153914 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 618232

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 1.93 3/536 16574
/proc/meminfo: memFree=27660536/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=639824 CPUtime=1182.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 169559 0 0 0 117948 272 0 0 25 0 1 0 855457837 655179776 157312 33554432000 134512640 137138936 4289884864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 159956 157312 192 642 0 159312 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 639824

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 1.93 3/536 16575
/proc/meminfo: memFree=27627644/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=668648 CPUtime=1242.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 176776 0 0 0 123945 275 0 0 25 0 1 0 855457837 684695552 164529 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 167162 164529 192 642 0 166518 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 668648

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/536 16577
/proc/meminfo: memFree=27606904/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=685024 CPUtime=1302.21 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 180859 0 0 0 129941 280 0 0 25 0 1 0 855457837 701464576 168612 33554432000 134512640 137138936 4289884864 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 171256 168612 192 642 0 170612 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 685024

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 1.94 3/536 16578
/proc/meminfo: memFree=27588632/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=700992 CPUtime=1362.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 184864 0 0 0 135939 281 0 0 25 0 1 0 855457837 717815808 172617 33554432000 134512640 137138936 4289884864 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 175248 172617 192 642 0 174604 0
Current children cumulated CPU time (s) 1362.2
Current children cumulated vsize (KiB) 700992

[startup+1422.32 s]
/proc/loadavg: 2.11 2.07 1.95 3/536 16580
/proc/meminfo: memFree=27567032/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=718664 CPUtime=1422.22 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 189293 0 0 0 141939 283 0 0 25 0 1 0 855457837 735911936 177046 33554432000 134512640 137138936 4289884864 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 179666 177046 192 642 0 179022 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 718664

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 1.95 3/536 16582
/proc/meminfo: memFree=27547792/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=732716 CPUtime=1482.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 192782 0 0 0 147934 286 0 0 25 0 1 0 855457837 750301184 180535 33554432000 134512640 137138936 4289884864 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 183179 180535 192 642 0 182535 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 732716

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/536 16583
/proc/meminfo: memFree=27528288/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=749332 CPUtime=1542.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 196936 0 0 0 153934 286 0 0 25 0 1 0 855457837 767315968 184689 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 187333 184689 192 642 0 186689 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 749332

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/536 16585
/proc/meminfo: memFree=27502340/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=770072 CPUtime=1602.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 202121 0 0 0 159933 287 0 0 25 0 1 0 855457837 788553728 189874 33554432000 134512640 137138936 4289884864 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 192518 189874 192 642 0 191874 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 770072

[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 1.96 3/536 16586
/proc/meminfo: memFree=27479260/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=790404 CPUtime=1662.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 207204 0 0 0 165930 290 0 0 25 0 1 0 855457837 809373696 194957 33554432000 134512640 137138936 4289884864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 197601 194957 192 642 0 196957 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 790404

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 1.96 3/536 16588
/proc/meminfo: memFree=27463228/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=801492 CPUtime=1722.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 209976 0 0 0 171929 291 0 0 25 0 1 0 855457837 820727808 197729 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 200373 197729 192 642 0 199729 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 801492

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.96 3/536 16590
/proc/meminfo: memFree=27447452/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=812236 CPUtime=1782.2 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 212662 0 0 0 177928 292 0 0 25 0 1 0 855457837 831729664 200415 33554432000 134512640 137138936 4289884864 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 203059 200415 192 642 0 202415 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 812236

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

[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27586692/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=815488 CPUtime=1791.81 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213475 0 0 0 178889 292 0 0 25 0 1 0 855457837 835059712 201228 33554432000 134512640 137138936 4289884864 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 203872 201228 192 642 0 203228 0
Current children cumulated CPU time (s) 1791.81
Current children cumulated vsize (KiB) 815488

[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27584112/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=816508 CPUtime=1795.01 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213730 0 0 0 179208 293 0 0 25 0 1 0 855457837 836104192 201483 33554432000 134512640 137138936 4289884864 18446744073709551615 134551023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 204127 201483 192 642 0 203483 0
Current children cumulated CPU time (s) 1795.01
Current children cumulated vsize (KiB) 816508

[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27584696/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=817188 CPUtime=1796.6 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213900 0 0 0 179367 293 0 0 25 0 1 0 855457837 836800512 201653 33554432000 134512640 137138936 4289884864 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 204297 201653 192 642 0 203653 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 817188

[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27583952/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=817188 CPUtime=1797.4 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213900 0 0 0 179447 293 0 0 25 0 1 0 855457837 836800512 201653 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 204297 201653 192 642 0 203653 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 817188

[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27583952/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=817188 CPUtime=1797.8 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213900 0 0 0 179487 293 0 0 25 0 1 0 855457837 836800512 201653 33554432000 134512640 137138936 4289884864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 204297 201653 192 642 0 203653 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 817188

[startup+1798.1 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27583952/32951124 swapFree=58212616/67111528
[pid=16541] ppid=16539 vsize=817188 CPUtime=1798 cores=0,2,4,6
/proc/16541/stat : 16541 (bsolo) R 16539 16541 16389 0 -1 4202496 213900 0 0 0 179507 293 0 0 25 0 1 0 855457837 836800512 201653 33554432000 134512640 137138936 4289884864 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16541/statm: 204297 201653 192 642 0 203653 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 817188

Child status: 0
Real time (s): 1798.14
CPU time (s): 1798.04
CPU user time (s): 1795.08
CPU system time (s): 2.96855
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 817188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 2.96855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213900
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= 3
involuntary context switches= 2054

runsolver used 10.2624 second user time and 22.1696 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-07 11:23:19
IDJOB=3478808
IDBENCH=89692
IDSOLVER=1955
FILE ID=node136/3478808-1307438598
RUNJOBID= node136-1307436783-16407
PBS_JOBID= 13519952
Free space on /tmp= 73840 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-130.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478808-1307438598/watcher-3478808-1307438598 -o /tmp/evaluation-result-3478808-1307438598/solver-3478808-1307438598 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3478808-1307438598.opb

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

MD5SUM BENCH= 1e275a6bfffefd782bc57067ec81c100
RANDOM SEED=1939655852

node136.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.809
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.61
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.809
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.75
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.809
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.809
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.76
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.809
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.75
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28616604 kB
Buffers:        332400 kB
Cached:         837832 kB
SwapCached:       7704 kB
Active:        3449084 kB
Inactive:       587216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28616604 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:           59240 kB
Writeback:           0 kB
AnonPages:     2864252 kB
Mapped:          25464 kB
Slab:           158916 kB
PageTables:      68972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169289972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73800 MiB
End job on node136 at 2011-06-07 11:53:17