Trace number 2656422

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.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
MD5SUMf48abdef3d00ab6f87ca2e4f0d43c1d1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
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 constraints12
Minimum length of a constraint1
Maximum length of a constraint50
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 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3811
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-2656422-1276614764.opb
0.00/0.00	c File size is 4933 bytes.
0.00/0.00	c Highest Coefficient sum: 3811
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 51 Constr: 13 1/0/12 Lit: 593 Watch. Lit: 193
0.00/0.00	c Obj. Vars: 1 (1.96078 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     50       12      592   49      196    1184      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.93/1798.47	c      100     50      163     6408   39      764    1303    151   5555 0.02
1797.93/1798.47	c      250     50      377    14358   38     1314    1434    365   5319 0.05
1797.93/1798.47	c      475     50      657    23949   36     1942    1578    645   5459 0.09
1797.93/1798.47	c      813     50     1096    39339   35     2985    1736   1084   5456 0.15
1797.93/1798.47	c     1321     50      881    31161   35     2109    1910    869   5221 0.25
1797.93/1798.47	c     2084     50     1825    63643   34     4170    2102   1813   5249 0.40
1797.93/1798.47	c     3230     50     1144    41717   36     2763    2313   1132   5078 0.64
1797.93/1798.47	c     4951     50     2191    79503   36     5307    2545   2179   5001 0.99
1797.93/1798.47	c     7535     50     1699    62097   36     4179    2800   1687   4784 1.57
1797.93/1798.47	c    11414     50     2265    87450   38     7413    3081   2253   4200 2.72
1797.93/1798.47	c    17236     50     1896    72153   38     5526    3390   1884   3819 4.51
1797.93/1798.47	c    25973     50     3327   125757   37     8998    3730   3315   3591 7.23
1797.93/1798.47	c    39083     50     3442   131802   38     9426    4104   3430   3351 11.66
1797.93/1798.47	c    58756     50     2955   115754   39     9450    4515   2943   3166 18.56
1797.93/1798.47	c    88266     50     3712   147831   39    10799    4967   3700   2968 29.73
1797.93/1798.47	c   132536     50     3365   130052   38     9391    5464   3353   2866 46.23
1797.93/1798.47	c   198946     50     3014   115782   38     9117    6011   3002   2713 73.33
1797.93/1798.47	c   298566     50     5308   205284   38    16938    6613   5296   2516 118.64
1797.93/1798.47	c   448001     50     4014   152262   37    10522    7275   4002   2413 185.62
1797.93/1798.47	c   672159     50     5167   200926   38    14681    8003   5155   2210 304.13
1797.93/1798.47	c  1008402     50     5211   202954   38    17053    8804   5199   2043 493.49
1797.93/1798.47	c  1512773     50     8705   330564   37    23308    9685   8693   1880 804.38
1797.93/1798.47	c  2269337     50     5821   226351   38    16015   10654   5809   1732 1310.14
1797.93/1798.47	c Resources Exceeded
1797.93/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.47	c   23  2889546  42260  2933514     8823   334019   8811   1607 1798.00
1797.93/1798.47	s UNKNOWN
1797.93/1798.47	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-2656422-1276614764/watcher-2656422-1276614764 -o /tmp/evaluation-result-2656422-1276614764/solver-2656422-1276614764 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656422-1276614764.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.00 1.00 1.00 3/106 3181
/proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=26412 CPUtime=0
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 37078144 27045888 242 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6603 242 192 642 0 5959 0

[startup+0.028672 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3181
/proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=18600 CPUtime=0.02
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 351 0 0 0 2 0 0 0 20 0 1 0 37078144 19046400 267 1992294400 134512640 137138936 4288571760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 4650 268 192 642 0 4006 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18600

[startup+0.10068 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3181
/proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=18988 CPUtime=0.09
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 37078144 19443712 339 1992294400 134512640 137138936 4288571760 18446744073709551615 134599681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 4747 339 192 642 0 4103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18988

[startup+0.300703 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3181
/proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=19504 CPUtime=0.29
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 572 0 0 0 29 0 0 0 20 0 1 0 37078144 19972096 488 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 4876 488 192 642 0 4232 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19504

[startup+0.700746 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 3181
/proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=19764 CPUtime=0.69
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 631 0 0 0 69 0 0 0 20 0 1 0 37078144 20238336 547 1992294400 134512640 137138936 4288571760 18446744073709551615 134602893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 4941 547 192 642 0 4297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19764

[startup+1.50083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3182
/proc/meminfo: memFree=1641528/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=20020 CPUtime=1.49
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 697 0 0 0 149 0 0 0 22 0 1 0 37078144 20500480 613 1992294400 134512640 137138936 4288571760 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5005 613 192 642 0 4361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20020

[startup+3.10101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3182
/proc/meminfo: memFree=1640784/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=20536 CPUtime=3.09
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 814 0 0 0 308 1 0 0 25 0 1 0 37078144 21028864 730 1992294400 134512640 137138936 4288571760 18446744073709551615 134573854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5134 730 192 642 0 4490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20536

[startup+6.30037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3182
/proc/meminfo: memFree=1640412/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=20664 CPUtime=6.29
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 857 0 0 0 626 3 0 0 25 0 1 0 37078144 21159936 773 1992294400 134512640 137138936 4288571760 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5166 773 192 642 0 4522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20664

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3182
/proc/meminfo: memFree=1639916/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=21168 CPUtime=12.69
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 973 0 0 0 1263 6 0 0 25 0 1 0 37078144 21676032 889 1992294400 134512640 137138936 4288571760 18446744073709551615 134600376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5292 889 192 642 0 4648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21168

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3182
/proc/meminfo: memFree=1639544/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=21424 CPUtime=25.48
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1056 0 0 0 2538 10 0 0 25 0 1 0 37078144 21938176 972 1992294400 134512640 137138936 4288571760 18446744073709551615 136364917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5356 972 192 642 0 4712 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21424

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3184
/proc/meminfo: memFree=1638800/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=22068 CPUtime=51.08
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1214 0 0 0 5088 20 0 0 25 0 1 0 37078144 22597632 1130 1992294400 134512640 137138936 4288571760 18446744073709551615 134618314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5517 1130 192 642 0 4873 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22068

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3187
/proc/meminfo: memFree=1637932/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=22576 CPUtime=102.27
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1335 0 0 0 10190 37 0 0 25 0 1 0 37078144 23117824 1251 1992294400 134512640 137138936 4288571760 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5644 1251 192 642 0 5000 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22576

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3189
/proc/meminfo: memFree=1637684/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=22836 CPUtime=162.25
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1393 0 0 0 16168 57 0 0 25 0 1 0 37078144 23384064 1309 1992294400 134512640 137138936 4288571760 18446744073709551615 134606924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5709 1309 192 642 0 5065 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22836

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3191
/proc/meminfo: memFree=1637312/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=23228 CPUtime=222.24
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1511 0 0 0 22149 75 0 0 25 0 1 0 37078144 23785472 1427 1992294400 134512640 137138936 4288571760 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5807 1427 192 642 0 5163 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23228

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3193
/proc/meminfo: memFree=1637312/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=23304 CPUtime=282.22
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1518 0 0 0 28127 95 0 0 25 0 1 0 37078144 23863296 1434 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5826 1434 192 642 0 5182 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23304

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3193
/proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=23812 CPUtime=342.2
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 34107 113 0 0 25 0 1 0 37078144 24383488 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5953 1569 192 642 0 5309 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23812

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3195
/proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=23812 CPUtime=402.18
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 40089 129 0 0 25 0 1 0 37078144 24383488 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5953 1569 192 642 0 5309 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23812

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3197
/proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=23788 CPUtime=462.17
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 46065 152 0 0 25 0 1 0 37078144 24358912 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 5947 1569 192 642 0 5303 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23788

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3199
/proc/meminfo: memFree=1636568/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24272 CPUtime=522.15
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1752 0 0 0 52047 168 0 0 25 0 1 0 37078144 24854528 1668 1992294400 134512640 137138936 4288571760 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6068 1668 192 642 0 5424 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 24272

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3201
/proc/meminfo: memFree=1636320/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24272 CPUtime=582.14
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1768 0 0 0 58029 185 0 0 25 0 1 0 37078144 24854528 1684 1992294400 134512640 137138936 4288571760 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6068 1684 192 642 0 5424 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24272

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3201
/proc/meminfo: memFree=1636320/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24376 CPUtime=642.13
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1777 0 0 0 64012 201 0 0 25 0 1 0 37078144 24961024 1693 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6094 1693 192 642 0 5450 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 24376

[startup+702.302 s]

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

/proc/meminfo: memFree=1635576/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24824 CPUtime=1121.99
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1902 0 0 0 111866 333 0 0 25 0 1 0 37078144 25419776 1818 1992294400 134512640 137138936 4288571760 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6206 1818 192 642 0 5562 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 24824

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3217
/proc/meminfo: memFree=1635452/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24824 CPUtime=1181.98
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1902 0 0 0 117852 346 0 0 25 0 1 0 37078144 25419776 1818 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6206 1818 192 642 0 5562 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 24824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3217
/proc/meminfo: memFree=1635204/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24824 CPUtime=1241.96
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1907 0 0 0 123834 362 0 0 25 0 1 0 37078144 25419776 1823 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6206 1823 192 642 0 5562 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 24824

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3219
/proc/meminfo: memFree=1635204/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=24824 CPUtime=1301.96
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1907 0 0 0 129818 378 0 0 25 0 1 0 37078144 25419776 1823 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6206 1823 192 642 0 5562 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 24824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3221
/proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1361.93
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2069 0 0 0 135801 392 0 0 25 0 1 0 37078144 26140672 1985 1992294400 134512640 137138936 4288571760 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1985 192 642 0 5738 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 25528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3223
/proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1421.92
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2069 0 0 0 141785 407 0 0 25 0 1 0 37078144 26140672 1985 1992294400 134512640 137138936 4288571760 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1985 192 642 0 5738 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 25528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3225
/proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1481.9
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 147769 421 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134601106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1999 192 642 0 5738 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 25528

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3225
/proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1541.88
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 153752 436 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1999 192 642 0 5738 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 25528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3227
/proc/meminfo: memFree=1634584/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1601.87
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 159732 455 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1999 192 642 0 5738 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 25528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3229
/proc/meminfo: memFree=1634584/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1661.86
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 165717 469 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 1999 192 642 0 5738 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 25528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3231
/proc/meminfo: memFree=1634460/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1721.84
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 171700 484 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 25528

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1781.82
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 177682 500 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 25528

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1791.42
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 178640 502 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 25528

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1794.62
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 178959 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 25528

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1796.21
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179118 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 25528

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1797.01
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179198 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 25528

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1797.42
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179238 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 25528

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1797.82
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179278 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 25528

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3233
/proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956
[pid=3181] ppid=3179 vsize=25528 CPUtime=1797.93
/proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179289 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3181/statm: 6382 2003 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 25528

Child status: 0
Real time (s): 1798.47
CPU time (s): 1798
CPU user time (s): 1792.96
CPU system time (s): 5.04423
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 25532

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

runsolver used 2.77358 second user time and 8.68468 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-15 17:12:44
IDJOB=2656422
IDBENCH=2919
IDSOLVER=1162
FILE ID=node009/2656422-1276614764
PBS_JOBID= 11172288
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=1972227010

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1643676 kB
Buffers:        120180 kB
Cached:         212672 kB
SwapCached:       6532 kB
Active:         116356 kB
Inactive:       230176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1643676 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3876 kB
Writeback:           0 kB
AnonPages:       11692 kB
Mapped:          13020 kB
Slab:            47188 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180228 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= 62552 MiB
End job on node009 at 2010-06-15 17:42:42