Trace number 2670763

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 Card? 1799.11 1799.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
MD5SUM901fa4df755866cb23bdcc769669d554
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark9.02663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670763-1276705952.opb
0.00/0.00	c File size is 42576 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963
0.00/0.00	c Obj. Vars: 9 (1.19048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    756     1156     4842    4     4165    6471      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
1799.07/1799.63	c      100    756     1347    15083   11     4629    7119    191   2439 0.04
1799.07/1799.63	c      251    756     1644    44890   27     5526    7831    488   2728 0.09
1799.07/1799.63	c      476    756     2086    78628   37     6670    8615    930   2720 0.17
1799.07/1799.63	c      814    756     2753   128363   46     8391    9477   1597   2722 0.30
1799.07/1799.63	c     1322    756     3690   205729   55    10725   10425   2534   2475 0.53
1799.07/1799.63	c     2085    756     5149   299877   58    14575   11468   3993   2393 0.87
1799.07/1799.63	c     3231    756     7398   470153   63    20653   12615   6242   2412 1.34
1799.07/1799.63	c     4954    756    10676   709312   66    29066   13877   9520   2022 2.45
1799.07/1799.63	c     7538    756     8300   525185   63    21469   15265   7144   1442 5.22
1799.07/1799.63	c    11417    756    15787  1033746   65    39566   16792  14631   1052 10.85
1799.07/1799.63	c    17239    756     9903   585981   59    24937   18472   8747    741 23.25
1799.07/1799.63	c    25976    756    16659  1147134   68    42687   20320  15503    796 32.62
1799.07/1799.63	c    39086    756    20236  1263887   62    49805   22353  19080    755 51.74
1799.07/1799.63	c    58758    756    12334   946304   76    29468   24589  11178    626 93.76
1799.07/1799.63	c    88268    756    19036  1080900   56    51032   27048  17880    607 145.22
1799.07/1799.63	c   132538    756    21751  1620654   74    57704   29753  20595    516 256.74
1799.07/1799.63	c   198948    756    28717  1912705   66    74814   32729  27561    469 423.79
1799.07/1799.63	c   298568    756    19415  1377879   70    50074   36002  18259    426 699.80
1799.07/1799.63	c   448004    756    25773  1890175   73    62978   39603  24617    412 1087.27
1799.07/1799.63	c Resources Exceeded
1799.07/1799.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.07/1799.63	c   19   658799   5858   679841    20976  1473836  19820    366 1799.11
1799.07/1799.63	s UNKNOWN
1799.07/1799.63	c Total time: 1799.11 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-2670763-1276705952/watcher-2670763-1276705952 -o /tmp/evaluation-result-2670763-1276705952/solver-2670763-1276705952 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670763-1276705952.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: 1.09 1.03 0.97 3/106 20567
/proc/meminfo: memFree=1826592/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=10840 CPUtime=0
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 11889647 11100160 257 1992294400 134512640 137138936 4287467856 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 2710 257 176 642 0 2055 0

[startup+0.10643 s]
/proc/loadavg: 1.09 1.03 0.97 3/106 20567
/proc/meminfo: memFree=1826592/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=11712 CPUtime=0.1
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 573 0 0 0 10 0 0 0 20 0 1 0 11889647 11993088 481 1992294400 134512640 137138936 4287467856 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 2928 481 192 642 0 2284 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11712

[startup+0.201439 s]
/proc/loadavg: 1.09 1.03 0.97 3/106 20567
/proc/meminfo: memFree=1826592/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=12224 CPUtime=0.19
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 716 0 0 0 19 0 0 0 20 0 1 0 11889647 12517376 624 1992294400 134512640 137138936 4287467856 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 3056 624 192 642 0 2412 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12224

[startup+0.301447 s]
/proc/loadavg: 1.09 1.03 0.97 3/106 20567
/proc/meminfo: memFree=1826592/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=12864 CPUtime=0.29
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 861 0 0 0 29 0 0 0 20 0 1 0 11889647 13172736 769 1992294400 134512640 137138936 4287467856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 3216 769 192 642 0 2572 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12864

[startup+0.701483 s]
/proc/loadavg: 1.09 1.03 0.97 3/106 20567
/proc/meminfo: memFree=1826592/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=14672 CPUtime=0.69
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 1309 0 0 0 69 0 0 0 20 0 1 0 11889647 15024128 1217 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 3668 1217 192 642 0 3024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14672

[startup+1.50155 s]
/proc/loadavg: 1.09 1.03 0.97 2/107 20568
/proc/meminfo: memFree=1820384/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=18416 CPUtime=1.49
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 2262 0 0 0 148 1 0 0 22 0 1 0 11889647 18857984 2170 1992294400 134512640 137138936 4287467856 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 4604 2170 192 642 0 3960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18416

[startup+3.10169 s]
/proc/loadavg: 1.09 1.03 0.97 3/107 20568
/proc/meminfo: memFree=1816292/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=22932 CPUtime=3.09
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 3374 0 0 0 308 1 0 0 25 0 1 0 11889647 23482368 3282 1992294400 134512640 137138936 4287467856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 5733 3282 192 642 0 5089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22932

[startup+6.30096 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 20568
/proc/meminfo: memFree=1810588/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=26344 CPUtime=6.29
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 4237 0 0 0 626 3 0 0 25 0 1 0 11889647 26976256 4145 1992294400 134512640 137138936 4287467856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 6586 4145 192 642 0 5942 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26344

[startup+12.7015 s]
/proc/loadavg: 1.07 1.03 0.97 2/107 20568
/proc/meminfo: memFree=1809844/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=27628 CPUtime=12.69
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 4561 0 0 0 1265 4 0 0 25 0 1 0 11889647 28291072 4469 1992294400 134512640 137138936 4287467856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 6907 4469 192 642 0 6263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27628

[startup+25.5006 s]
/proc/loadavg: 1.06 1.03 0.97 2/107 20568
/proc/meminfo: memFree=1808604/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=28264 CPUtime=25.48
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 4725 0 0 0 2542 6 0 0 25 0 1 0 11889647 28942336 4633 1992294400 134512640 137138936 4287467856 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 7066 4633 192 642 0 6422 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28264

[startup+51.1008 s]
/proc/loadavg: 1.04 1.02 0.97 2/107 20568
/proc/meminfo: memFree=1802156/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=34572 CPUtime=51.08
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 6301 0 0 0 5095 13 0 0 25 0 1 0 11889647 35401728 6209 1992294400 134512640 137138936 4287467856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 8643 6209 192 642 0 7999 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34572

[startup+102.301 s]
/proc/loadavg: 1.01 1.02 0.97 2/107 20570
/proc/meminfo: memFree=1798436/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=38252 CPUtime=102.27
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 7205 0 0 0 10208 19 0 0 25 0 1 0 11889647 39170048 7113 1992294400 134512640 137138936 4287467856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 9563 7113 192 642 0 8919 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38252

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 20572
/proc/meminfo: memFree=1797320/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=39320 CPUtime=162.25
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 7494 0 0 0 16196 29 0 0 25 0 1 0 11889647 40263680 7402 1992294400 134512640 137138936 4287467856 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 9830 7402 192 642 0 9186 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39320

[startup+222.309 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 20574
/proc/meminfo: memFree=1797320/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=39320 CPUtime=222.24
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 7494 0 0 0 22185 39 0 0 25 0 1 0 11889647 40263680 7402 1992294400 134512640 137138936 4287467856 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 9830 7402 192 642 0 9186 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 39320

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20576
/proc/meminfo: memFree=1792236/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44332 CPUtime=282.21
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8749 0 0 0 28173 48 0 0 25 0 1 0 11889647 45395968 8657 1992294400 134512640 137138936 4287467856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11083 8657 192 642 0 10439 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44332

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20576
/proc/meminfo: memFree=1792236/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44332 CPUtime=342.2
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8749 0 0 0 34162 58 0 0 25 0 1 0 11889647 45395968 8657 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11083 8657 192 642 0 10439 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44332

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20578
/proc/meminfo: memFree=1792112/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44332 CPUtime=402.18
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8749 0 0 0 40149 69 0 0 25 0 1 0 11889647 45395968 8657 1992294400 134512640 137138936 4287467856 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11083 8657 192 642 0 10439 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44332

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20580
/proc/meminfo: memFree=1791864/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44564 CPUtime=462.16
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8845 0 0 0 46138 78 0 0 25 0 1 0 11889647 45633536 8718 1992294400 134512640 137138936 4287467856 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11141 8718 192 642 0 10497 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 44564

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20582
/proc/meminfo: memFree=1791740/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44564 CPUtime=522.15
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8845 0 0 0 52128 87 0 0 25 0 1 0 11889647 45633536 8718 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11141 8718 192 642 0 10497 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 44564

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20584
/proc/meminfo: memFree=1791740/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44564 CPUtime=582.13
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8845 0 0 0 58117 96 0 0 25 0 1 0 11889647 45633536 8718 1992294400 134512640 137138936 4287467856 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11141 8718 192 642 0 10497 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 44564

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20584
/proc/meminfo: memFree=1791616/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=44564 CPUtime=642.11
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 8845 0 0 0 64106 105 0 0 25 0 1 0 11889647 45633536 8718 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 11141 8718 192 642 0 10497 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 44564

[startup+702.301 s]

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

/proc/meminfo: memFree=1779216/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=56696 CPUtime=1061.99
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 11881 0 0 0 106032 167 0 0 25 0 1 0 11889647 58056704 11718 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 14174 11718 192 642 0 13530 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 56696

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20598
/proc/meminfo: memFree=1778720/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=57104 CPUtime=1121.96
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 12041 0 0 0 112020 176 0 0 25 0 1 0 11889647 58474496 11838 1992294400 134512640 137138936 4287467856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 14276 11838 192 642 0 13632 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 57104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20600
/proc/meminfo: memFree=1774628/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1181.95
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 118012 183 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 61260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20600
/proc/meminfo: memFree=1774504/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1241.93
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 124003 190 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 61260

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20602
/proc/meminfo: memFree=1774380/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1301.91
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 129994 197 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 61260

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20604
/proc/meminfo: memFree=1774380/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1361.9
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 135984 206 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 61260

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20606
/proc/meminfo: memFree=1774380/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1421.89
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 141976 213 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 61260

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20608
/proc/meminfo: memFree=1774256/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1481.86
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 147965 221 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 61260

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20608
/proc/meminfo: memFree=1774256/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1541.85
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 153954 231 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 61260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20610
/proc/meminfo: memFree=1774256/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1601.83
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 159944 239 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 61260

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20612
/proc/meminfo: memFree=1774256/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1661.81
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 165935 246 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 61260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20623
/proc/meminfo: memFree=1773140/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1721.79
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 171926 253 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 61260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1781.77
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 177918 259 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 61260

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1791.47
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 178887 260 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 61260

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1794.67
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 179206 261 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 61260

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1796.26
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 179365 261 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 61260

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1797.86
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 179525 261 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 61260

[startup+1799.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1798.66
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 179605 261 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 61260

[startup+1799.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 20625
/proc/meminfo: memFree=1773388/2059040 swapFree=4139892/4192956
[pid=20567] ppid=20565 vsize=61260 CPUtime=1799.07
/proc/20567/stat : 20567 (bsolo_pb10) R 20565 20567 19993 0 -1 4202496 13063 0 0 0 179646 261 0 0 25 0 1 0 11889647 62730240 12860 1992294400 134512640 137138936 4287467856 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20567/statm: 15315 12860 192 642 0 14671 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 61260

Child status: 0
Real time (s): 1799.64
CPU time (s): 1799.11
CPU user time (s): 1796.49
CPU system time (s): 2.6226
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 61260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.49
system time used= 2.6226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13063
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= 1
involuntary context switches= 4258

runsolver used 2.84957 second user time and 8.61369 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-16 18:32:32
IDJOB=2670763
IDBENCH=48098
IDSOLVER=1162
FILE ID=node031/2670763-1276705952
PBS_JOBID= 11174110
Free space on /tmp= 62584 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670763-1276705952/watcher-2670763-1276705952 -o /tmp/evaluation-result-2670763-1276705952/solver-2670763-1276705952 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670763-1276705952.opb

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

MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554
RANDOM SEED=971993759

node031.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.219
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1827244 kB
Buffers:         37492 kB
Cached:         102800 kB
SwapCached:       6448 kB
Active:          84828 kB
Inactive:        68744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1827244 kB
SwapTotal:     4192956 kB
SwapFree:      4139892 kB
Dirty:            3984 kB
Writeback:           0 kB
AnonPages:       10956 kB
Mapped:          12896 kB
Slab:            56176 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670763-1276705952.opb

Free space on /tmp at the end= 62580 MiB
End job on node031 at 2010-06-16 19:02:32