Trace number 2656426

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? 1798 1798.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
MD5SUM37c74b9e914d30b1ddfc0838676dd479
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark364.143
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3487
Number of bits of the biggest sum of numbers12
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656426-1276618093.opb
0.00/0.00	c File size is 3364 bytes.
0.00/0.00	c Highest Coefficient sum: 3487
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 41 Constr: 11 1/0/10 Lit: 395 Watch. Lit: 138
0.00/0.00	c Obj. Vars: 1 (2.43902 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     40       10      394   39      142     788      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.94/1798.46	c      100     40      147     4250   28      579     867    137   7142 0.01
1797.94/1798.46	c      251     40      380    10932   28     1225     954    370   6972 0.04
1797.94/1798.46	c      478     40      685    19140   27     2024    1050    675   6828 0.07
1797.94/1798.46	c      816     40      584    15912   27     1382    1156    574   6425 0.13
1797.94/1798.46	c     1324     40      724    19997   27     1688    1272    714   6245 0.21
1797.94/1798.46	c     2087     40     1192    32920   27     2788    1400   1182   6174 0.34
1797.94/1798.46	c     3233     40      788    22605   28     1806    1541    778   6054 0.53
1797.94/1798.46	c     4955     40     1074    30587   28     2541    1696   1064   5898 0.84
1797.94/1798.46	c     7539     40      952    27900   29     2324    1866    942   5651 1.33
1797.94/1798.46	c    11418     40     1406    41242   29     3480    2053   1396   5481 2.08
1797.94/1798.46	c    17240     40     1134    34070   30     2780    2259   1124   5412 3.19
1797.94/1798.46	c    25977     40     1168    34963   29     2875    2485   1158   5206 4.99
1797.94/1798.46	c    39087     40     1395    40365   28     3489    2734   1385   4991 7.83
1797.94/1798.46	c    58758     40     1869    54028   28     4722    3008   1859   4755 12.36
1797.94/1798.46	c    88269     40     2960    86339   29     7563    3309   2950   4510 19.57
1797.94/1798.46	c   132539     40     2753    79967   29     6853    3640   2743   4335 30.57
1797.94/1798.46	c   198949     40     2965    85298   28     7332    4005   2955   4137 48.09
1797.94/1798.46	c   298569     40     2575    75516   29     6860    4406   2565   3919 76.18
1797.94/1798.46	c   448004     40     2482    73181   29     6656    4847   2472   3762 119.06
1797.94/1798.46	c   672163     40     4047   117960   29    10836    5332   4037   3530 190.41
1797.94/1798.46	c  1008408     40     3909   113444   29     9623    5866   3899   3329 302.89
1797.94/1798.46	c  1512779     40     3633   106102   29     9365    6453   3623   3126 483.80
1797.94/1798.46	c  2269343     40     3933   115095   29    10141    7099   3923   2922 776.38
1797.94/1798.46	c  3404197     40     6795   197837   29    17052    7809   6785   2699 1261.23
1797.94/1798.46	c Resources Exceeded
1797.94/1798.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.46	c   24  4568846  55469  4625583     5387   158364   5377   2541 1798.00
1797.94/1798.46	s UNKNOWN
1797.94/1798.46	c Total time: 1798 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-2656426-1276618093/watcher-2656426-1276618093 -o /tmp/evaluation-result-2656426-1276618093/solver-2656426-1276618093 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656426-1276618093.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.98 1.01 1.00 3/106 3833
/proc/meminfo: memFree=1752072/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=26284 CPUtime=0
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 37395688 26914816 240 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 6571 240 192 642 0 5927 0

[startup+0.0359601 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 3833
/proc/meminfo: memFree=1752072/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=18728 CPUtime=0.03
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 357 0 0 0 3 0 0 0 20 0 1 0 37395688 19177472 275 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4682 276 192 642 0 4038 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18728

[startup+0.101967 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 3833
/proc/meminfo: memFree=1752072/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=18984 CPUtime=0.09
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 425 0 0 0 9 0 0 0 20 0 1 0 37395688 19439616 343 1992294400 134512640 137138936 4290455568 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4746 343 192 642 0 4102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18984

[startup+0.301987 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 3833
/proc/meminfo: memFree=1752072/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=19116 CPUtime=0.29
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 469 0 0 0 29 0 0 0 20 0 1 0 37395688 19574784 387 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4779 387 192 642 0 4135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19116

[startup+0.701027 s]
/proc/loadavg: 0.98 1.01 1.00 3/106 3833
/proc/meminfo: memFree=1752072/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=19244 CPUtime=0.69
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 506 0 0 0 69 0 0 0 20 0 1 0 37395688 19705856 424 1992294400 134512640 137138936 4290455568 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4811 424 192 642 0 4167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19244

[startup+1.50111 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 3834
/proc/meminfo: memFree=1750948/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=19504 CPUtime=1.49
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 550 0 0 0 148 1 0 0 23 0 1 0 37395688 19972096 468 1992294400 134512640 137138936 4290455568 18446744073709551615 134544746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4876 468 192 642 0 4232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19504

[startup+3.10127 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 3834
/proc/meminfo: memFree=1750700/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=19636 CPUtime=3.09
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 586 0 0 0 308 1 0 0 25 0 1 0 37395688 20107264 504 1992294400 134512640 137138936 4290455568 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4909 504 192 642 0 4265 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19636

[startup+6.30159 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 3834
/proc/meminfo: memFree=1750080/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=19768 CPUtime=6.29
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 633 0 0 0 626 3 0 0 25 0 1 0 37395688 20242432 551 1992294400 134512640 137138936 4290455568 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 4942 551 192 642 0 4298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19768

[startup+12.7012 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 3834
/proc/meminfo: memFree=1749832/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=20028 CPUtime=12.69
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 690 0 0 0 1264 5 0 0 25 0 1 0 37395688 20508672 608 1992294400 134512640 137138936 4290455568 18446744073709551615 134602920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5007 608 192 642 0 4363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20028

[startup+25.5015 s]
/proc/loadavg: 0.98 1.01 1.00 2/107 3834
/proc/meminfo: memFree=1749584/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=20280 CPUtime=25.48
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 746 0 0 0 2536 12 0 0 25 0 1 0 37395688 20766720 664 1992294400 134512640 137138936 4290455568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5070 664 192 642 0 4426 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20280

[startup+51.1011 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 3836
/proc/meminfo: memFree=1749088/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=20528 CPUtime=51.08
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 833 0 0 0 5082 26 0 0 25 0 1 0 37395688 21020672 751 1992294400 134512640 137138936 4290455568 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5132 751 192 642 0 4488 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20528

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3836
/proc/meminfo: memFree=1748840/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=20884 CPUtime=102.27
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 899 0 0 0 10181 46 0 0 25 0 1 0 37395688 21385216 817 1992294400 134512640 137138936 4290455568 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5221 817 192 642 0 4577 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20884

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3838
/proc/meminfo: memFree=1748592/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21136 CPUtime=162.25
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 962 0 0 0 16153 72 0 0 25 0 1 0 37395688 21643264 880 1992294400 134512640 137138936 4290455568 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5284 880 192 642 0 4640 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21136

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3840
/proc/meminfo: memFree=1748468/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21260 CPUtime=222.23
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1004 0 0 0 22128 95 0 0 25 0 1 0 37395688 21770240 922 1992294400 134512640 137138936 4290455568 18446744073709551615 134542944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5315 922 192 642 0 4671 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21260

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3842
/proc/meminfo: memFree=1748344/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21260 CPUtime=282.22
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1013 0 0 0 28102 120 0 0 25 0 1 0 37395688 21770240 931 1992294400 134512640 137138936 4290455568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5315 931 192 642 0 4671 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 21260

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3842
/proc/meminfo: memFree=1748096/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21512 CPUtime=342.2
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1079 0 0 0 34075 145 0 0 25 0 1 0 37395688 22028288 997 1992294400 134512640 137138936 4290455568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5378 997 192 642 0 4734 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 21512

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3844
/proc/meminfo: memFree=1748096/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21512 CPUtime=402.18
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1079 0 0 0 40051 167 0 0 25 0 1 0 37395688 22028288 997 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5378 997 192 642 0 4734 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 21512

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3846
/proc/meminfo: memFree=1748096/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21616 CPUtime=462.17
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1083 0 0 0 46031 186 0 0 25 0 1 0 37395688 22134784 1001 1992294400 134512640 137138936 4290455568 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5404 1001 192 642 0 4760 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 21616

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3851
/proc/meminfo: memFree=1746360/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21960 CPUtime=522.15
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1194 0 0 0 52008 207 0 0 25 0 1 0 37395688 22487040 1112 1992294400 134512640 137138936 4290455568 18446744073709551615 136501842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5490 1112 192 642 0 4846 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 21960

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3853
/proc/meminfo: memFree=1746484/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21960 CPUtime=582.14
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1194 0 0 0 57988 226 0 0 25 0 1 0 37395688 22487040 1112 1992294400 134512640 137138936 4290455568 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5490 1112 192 642 0 4846 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 21960

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3853
/proc/meminfo: memFree=1746484/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=21960 CPUtime=642.12
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1194 0 0 0 63965 247 0 0 25 0 1 0 37395688 22487040 1112 1992294400 134512640 137138936 4290455568 18446744073709551615 134539692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5490 1112 192 642 0 4846 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 21960

[startup+702.301 s]

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

/proc/meminfo: memFree=1746484/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22196 CPUtime=1122
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1251 0 0 0 111795 405 0 0 25 0 1 0 37395688 22728704 1169 1992294400 134512640 137138936 4290455568 18446744073709551615 134544845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5549 1169 192 642 0 4905 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 22196

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3869
/proc/meminfo: memFree=1746484/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22196 CPUtime=1181.99
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1251 0 0 0 117775 424 0 0 25 0 1 0 37395688 22728704 1169 1992294400 134512640 137138936 4290455568 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5549 1169 192 642 0 4905 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 22196

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3869
/proc/meminfo: memFree=1746484/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22196 CPUtime=1241.96
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1251 0 0 0 123752 444 0 0 25 0 1 0 37395688 22728704 1169 1992294400 134512640 137138936 4290455568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5549 1169 192 642 0 4905 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 22196

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3871
/proc/meminfo: memFree=1746236/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22548 CPUtime=1301.96
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1318 0 0 0 129732 464 0 0 25 0 1 0 37395688 23089152 1236 1992294400 134512640 137138936 4290455568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5637 1236 192 642 0 4993 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 22548

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3873
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22540 CPUtime=1361.94
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1329 0 0 0 135713 481 0 0 25 0 1 0 37395688 23080960 1247 1992294400 134512640 137138936 4290455568 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5635 1247 192 642 0 4991 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 22540

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3875
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22540 CPUtime=1421.93
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1329 0 0 0 141695 498 0 0 25 0 1 0 37395688 23080960 1247 1992294400 134512640 137138936 4290455568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5635 1247 192 642 0 4991 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 22540

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3877
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22636 CPUtime=1481.91
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 147675 516 0 0 25 0 1 0 37395688 23179264 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5659 1258 192 642 0 5015 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 22636

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3877
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22584 CPUtime=1541.9
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 153654 536 0 0 25 0 1 0 37395688 23126016 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5646 1258 192 642 0 5002 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 22584

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3879
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22572 CPUtime=1601.87
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 159634 553 0 0 25 0 1 0 37395688 23113728 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 134577147 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5643 1258 192 642 0 4999 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 22572

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3881
/proc/meminfo: memFree=1746112/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22564 CPUtime=1661.86
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 165616 570 0 0 25 0 1 0 37395688 23105536 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5641 1258 192 642 0 4997 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 22564

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3883
/proc/meminfo: memFree=1745988/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22556 CPUtime=1721.85
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 171598 587 0 0 25 0 1 0 37395688 23097344 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5639 1258 192 642 0 4995 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 22556

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1781.83
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 177577 606 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 22552

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

[startup+1791.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1791.44
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 178535 609 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 22552

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1794.64
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 178855 609 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 22552

[startup+1796.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1796.23
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 179014 609 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 22552

[startup+1797.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1797.03
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 179093 610 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 22552

[startup+1797.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1797.43
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 179133 610 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 22552

[startup+1798.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1797.83
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 179173 610 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 22552

[startup+1798.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 3885
/proc/meminfo: memFree=1745864/2059040 swapFree=4134608/4192956
[pid=3833] ppid=3831 vsize=22552 CPUtime=1797.94
/proc/3833/stat : 3833 (bsolo_pb10) R 3831 3833 3808 0 -1 4202496 1340 0 0 0 179184 610 0 0 25 0 1 0 37395688 23093248 1258 1992294400 134512640 137138936 4290455568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3833/statm: 5638 1258 192 642 0 4994 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 22552

Child status: 0
Real time (s): 1798.46
CPU time (s): 1798
CPU user time (s): 1791.9
CPU system time (s): 6.10207
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 22640

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

runsolver used 2.97755 second user time and 8.49071 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-15 18:08:13
IDJOB=2656426
IDBENCH=2931
IDSOLVER=1162
FILE ID=node017/2656426-1276618093
PBS_JOBID= 11172333
Free space on /tmp= 62540 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656426-1276618093/watcher-2656426-1276618093 -o /tmp/evaluation-result-2656426-1276618093/solver-2656426-1276618093 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656426-1276618093.opb

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

MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479
RANDOM SEED=143188544

node017.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.201
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.40
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.201
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1752476 kB
Buffers:        105292 kB
Cached:         119656 kB
SwapCached:      11984 kB
Active:         112212 kB
Inactive:       127504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1752476 kB
SwapTotal:     4192956 kB
SwapFree:      4134608 kB
Dirty:            4284 kB
Writeback:           0 kB
AnonPages:       12972 kB
Mapped:           9232 kB
Slab:            45092 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184092 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node017 at 2010-06-15 18:38:11