Trace number 2656417

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM775c76356ae7fda7a41e5dcf917f66b2
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 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
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-2656417-1276601781.opb
0.00/0.00	c File size is 4987 bytes.
0.00/0.00	c Highest Coefficient sum: 3819
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: 601 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      600   50      194    1200      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.90/1798.50	c      100     50      181     7368   40      931    1321    169   6250 0.02
1797.90/1798.50	c      252     50      402    15847   39     1589    1454    390   6810 0.04
1797.90/1798.50	c      477     50      719    27805   38     2435    1600    707   6445 0.07
1797.90/1798.50	c      815     50     1200    45147   37     4138    1761   1188   6127 0.13
1797.90/1798.50	c     1323     50      929    32741   35     2250    1938    917   5334 0.25
1797.90/1798.50	c     2086     50      982    34938   35     2500    2132    970   5362 0.39
1797.90/1798.50	c     3232     50     1347    46419   34     3293    2346   1335   5342 0.60
1797.90/1798.50	c     4953     50     2323    79928   34     6017    2581   2311   5257 0.94
1797.90/1798.50	c     7537     50     1611    55591   34     4114    2840   1599   5011 1.50
1797.90/1798.50	c    11417     50     1551    60986   39     4151    3125   1539   4692 2.43
1797.90/1798.50	c    17239     50     2348    90369   38     7038    3438   2336   4307 4.00
1797.90/1798.50	c    25976     50     3254   124685   38     9741    3782   3242   3958 6.56
1797.90/1798.50	c    39086     50     2613    99865   38     8004    4161   2601   3634 10.75
1797.90/1798.50	c    58756     50     3136   122093   38    10464    4578   3124   3354 17.52
1797.90/1798.50	c    88266     50     3497   136466   39    11408    5036   3485   3119 28.29
1797.90/1798.50	c   132538     50     5032   193793   38    14150    5540   5020   2873 46.13
1797.90/1798.50	c   198948     50     5412   207784   38    16336    6095   5400   2834 70.19
1797.90/1798.50	c   298569     50     4139   159093   38    13005    6705   4127   2717 109.86
1797.90/1798.50	c   448004     50     4309   168691   39    14547    7376   4297   2475 180.94
1797.90/1798.50	c   672162     50     4857   187540   38    14728    8114   4845   2283 294.39
1797.90/1798.50	c  1008405     50     5220   203933   39    15689    8926   5208   2066 488.04
1797.90/1798.50	c  1512776     50     5892   230845   39    20466    9819   5880   1854 815.76
1797.90/1798.50	c  2269339     50     6885   262767   38    19381   10801   6873   1722 1317.45
1797.90/1798.50	c Resources Exceeded
1797.90/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.50	c   23  2978904  31024  3010790     8618   331004   8606   1656 1798.00
1797.90/1798.50	s UNKNOWN
1797.90/1798.50	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-2656417-1276601781/watcher-2656417-1276601781 -o /tmp/evaluation-result-2656417-1276601781/solver-2656417-1276601781 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656417-1276601781.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.85 0.97 1.05 3/105 11171
/proc/meminfo: memFree=1795916/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=26412 CPUtime=0
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 326 0 0 0 0 0 0 0 25 0 1 0 1471634 27045888 242 1992294400 134512640 137138936 4286981232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6603 242 192 642 0 5959 0

[startup+0.0154 s]
/proc/loadavg: 0.85 0.97 1.05 3/105 11171
/proc/meminfo: memFree=1795916/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=18600 CPUtime=0.01
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 339 0 0 0 1 0 0 0 25 0 1 0 1471634 19046400 255 1992294400 134512640 137138936 4286981232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 4650 255 192 642 0 4006 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18600

[startup+0.101412 s]
/proc/loadavg: 0.85 0.97 1.05 3/105 11171
/proc/meminfo: memFree=1795916/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=19112 CPUtime=0.09
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 462 0 0 0 9 0 0 0 25 0 1 0 1471634 19570688 378 1992294400 134512640 137138936 4286981232 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 4778 378 192 642 0 4134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19112

[startup+0.300431 s]
/proc/loadavg: 0.85 0.97 1.05 3/105 11171
/proc/meminfo: memFree=1795916/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=19628 CPUtime=0.29
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 589 0 0 0 29 0 0 0 25 0 1 0 1471634 20099072 505 1992294400 134512640 137138936 4286981232 18446744073709551615 136504145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 4907 505 192 642 0 4263 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19628

[startup+0.700474 s]
/proc/loadavg: 0.85 0.97 1.05 3/105 11171
/proc/meminfo: memFree=1795916/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=19760 CPUtime=0.69
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 628 0 0 0 68 1 0 0 25 0 1 0 1471634 20234240 544 1992294400 134512640 137138936 4286981232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 4940 544 192 642 0 4296 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19760

[startup+1.50056 s]
/proc/loadavg: 0.85 0.97 1.05 2/106 11172
/proc/meminfo: memFree=1794048/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=20020 CPUtime=1.49
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 694 0 0 0 148 1 0 0 25 0 1 0 1471634 20500480 610 1992294400 134512640 137138936 4286981232 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5005 610 192 642 0 4361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20020

[startup+3.10073 s]
/proc/loadavg: 0.85 0.97 1.05 2/106 11174
/proc/meminfo: memFree=1793552/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=20532 CPUtime=3.09
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 820 0 0 0 307 2 0 0 25 0 1 0 1471634 21024768 736 1992294400 134512640 137138936 4286981232 18446744073709551615 134600117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5133 736 192 642 0 4489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20532

[startup+6.30108 s]
/proc/loadavg: 0.86 0.97 1.05 2/106 11174
/proc/meminfo: memFree=1792932/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=20660 CPUtime=6.29
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 869 0 0 0 625 4 0 0 25 0 1 0 1471634 21155840 785 1992294400 134512640 137138936 4286981232 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5165 785 192 642 0 4521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20660

[startup+12.7008 s]
/proc/loadavg: 0.87 0.97 1.05 2/106 11174
/proc/meminfo: memFree=1792436/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=21304 CPUtime=12.69
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1005 0 0 0 1261 8 0 0 25 0 1 0 1471634 21815296 921 1992294400 134512640 137138936 4286981232 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5326 921 192 642 0 4682 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21304

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 1.05 2/106 11174
/proc/meminfo: memFree=1792312/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=21560 CPUtime=25.48
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1070 0 0 0 2536 12 0 0 25 0 1 0 1471634 22077440 986 1992294400 134512640 137138936 4286981232 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5390 986 192 642 0 4746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21560

[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 1.05 2/106 11174
/proc/meminfo: memFree=1791692/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=22060 CPUtime=51.07
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1198 0 0 0 5086 21 0 0 25 0 1 0 1471634 22589440 1114 1992294400 134512640 137138936 4286981232 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5515 1114 192 642 0 4871 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22060

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 1.04 2/106 11176
/proc/meminfo: memFree=1791320/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=22444 CPUtime=102.27
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1311 0 0 0 10189 38 0 0 25 0 1 0 1471634 22982656 1227 1992294400 134512640 137138936 4286981232 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5611 1227 192 642 0 4967 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22444

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 1.04 2/106 11178
/proc/meminfo: memFree=1790824/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=22956 CPUtime=162.24
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1428 0 0 0 16165 59 0 0 25 0 1 0 1471634 23506944 1344 1992294400 134512640 137138936 4286981232 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5739 1344 192 642 0 5095 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22956

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 1.03 2/106 11178
/proc/meminfo: memFree=1790452/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=23312 CPUtime=222.23
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1511 0 0 0 22143 80 0 0 25 0 1 0 1471634 23871488 1427 1992294400 134512640 137138936 4286981232 18446744073709551615 134618133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5828 1427 192 642 0 5184 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 23312

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 1.02 2/106 11180
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=23312 CPUtime=282.21
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1525 0 0 0 28123 98 0 0 25 0 1 0 1471634 23871488 1441 1992294400 134512640 137138936 4286981232 18446744073709551615 134542665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5828 1441 192 642 0 5184 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23312

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 1.02 2/106 11182
/proc/meminfo: memFree=1789832/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=23804 CPUtime=342.2
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1632 0 0 0 34105 115 0 0 25 0 1 0 1471634 24375296 1548 1992294400 134512640 137138936 4286981232 18446744073709551615 134575876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5951 1548 192 642 0 5307 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23804

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 1.01 2/106 11184
/proc/meminfo: memFree=1789832/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=23804 CPUtime=402.18
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1639 0 0 0 40086 132 0 0 25 0 1 0 1471634 24375296 1555 1992294400 134512640 137138936 4286981232 18446744073709551615 134606617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5951 1555 192 642 0 5307 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23804

[startup+462.3 s]
/proc/loadavg: 0.99 0.97 1.01 2/106 11186
/proc/meminfo: memFree=1789708/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=23804 CPUtime=462.16
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1641 0 0 0 46070 146 0 0 25 0 1 0 1471634 24375296 1557 1992294400 134512640 137138936 4286981232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 5951 1557 192 642 0 5307 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23804

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11186
/proc/meminfo: memFree=1789212/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=24416 CPUtime=522.15
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1787 0 0 0 52053 162 0 0 25 0 1 0 1471634 25001984 1703 1992294400 134512640 137138936 4286981232 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6104 1703 192 642 0 5460 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 24416

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11188
/proc/meminfo: memFree=1789088/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=24416 CPUtime=582.13
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1809 0 0 0 58036 177 0 0 25 0 1 0 1471634 25001984 1725 1992294400 134512640 137138936 4286981232 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6104 1725 192 642 0 5460 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 24416

[startup+642.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11190
/proc/meminfo: memFree=1788964/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=24416 CPUtime=642.12
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1809 0 0 0 64022 190 0 0 25 0 1 0 1471634 25001984 1725 1992294400 134512640 137138936 4286981232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6104 1725 192 642 0 5460 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 24416

[startup+702.3 s]

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

/proc/meminfo: memFree=1788096/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25076 CPUtime=1121.99
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1955 0 0 0 111882 317 0 0 25 0 1 0 1471634 25677824 1871 1992294400 134512640 137138936 4286981232 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6269 1871 192 642 0 5625 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 25076

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11204
/proc/meminfo: memFree=1787848/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25072 CPUtime=1181.98
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1955 0 0 0 117865 333 0 0 25 0 1 0 1471634 25673728 1871 1992294400 134512640 137138936 4286981232 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6268 1871 192 642 0 5624 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 25072

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11206
/proc/meminfo: memFree=1787600/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25064 CPUtime=1241.96
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1955 0 0 0 123847 349 0 0 25 0 1 0 1471634 25665536 1871 1992294400 134512640 137138936 4286981232 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6266 1871 192 642 0 5622 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 25064

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11208
/proc/meminfo: memFree=1787476/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25060 CPUtime=1301.95
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 1955 0 0 0 129830 365 0 0 25 0 1 0 1471634 25661440 1871 1992294400 134512640 137138936 4286981232 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6265 1871 192 642 0 5621 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 25060

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11210
/proc/meminfo: memFree=1787476/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25320 CPUtime=1361.93
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2033 0 0 0 135812 381 0 0 25 0 1 0 1471634 25927680 1949 1992294400 134512640 137138936 4286981232 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6330 1949 192 642 0 5686 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 25320

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11210
/proc/meminfo: memFree=1787476/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25432 CPUtime=1421.91
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2042 0 0 0 141796 395 0 0 25 0 1 0 1471634 26042368 1958 1992294400 134512640 137138936 4286981232 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6358 1958 192 642 0 5714 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 25432

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11221
/proc/meminfo: memFree=1786112/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1481.88
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2067 0 0 0 147778 410 0 0 25 0 1 0 1471634 26140672 1983 1992294400 134512640 137138936 4286981232 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1983 192 642 0 5738 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 25528

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11223
/proc/meminfo: memFree=1786236/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1541.86
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 153760 426 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 25528

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11225
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1601.84
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 159743 441 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 25528

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11227
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1661.83
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 165726 457 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 25528

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11227
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1721.81
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 171710 471 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 25528

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1781.79
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 177694 485 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 25528

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1791.4
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 178653 487 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 25528

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1794.6
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 178972 488 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 25528

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1796.19
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 179131 488 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 25528

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1797
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 179211 489 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 25528

[startup+1797.9 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1797.39
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 179250 489 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (KiB) 25528

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1797.79
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 179290 489 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 25528

[startup+1798.4 s]
/proc/loadavg: 0.99 0.97 1.00 2/106 11229
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=11171] ppid=11169 vsize=25528 CPUtime=1797.9
/proc/11171/stat : 11171 (bsolo_pb10) R 11169 11171 11119 0 -1 4202496 2073 0 0 0 179301 489 0 0 25 0 1 0 1471634 26140672 1989 1992294400 134512640 137138936 4286981232 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11171/statm: 6382 1989 192 642 0 5738 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 25528

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798
CPU user time (s): 1793.11
CPU system time (s): 4.89525
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 25532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.11
system time used= 4.89525
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4949

runsolver used 2.88856 second user time and 8.5707 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-15 13:36:21
IDJOB=2656417
IDBENCH=2906
IDSOLVER=1162
FILE ID=node087/2656417-1276601781
PBS_JOBID= 11172253
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_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656417-1276601781/watcher-2656417-1276601781 -o /tmp/evaluation-result-2656417-1276601781/solver-2656417-1276601781 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656417-1276601781.opb

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

MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2
RANDOM SEED=780214450

node087.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.213
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.42
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.213
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1796320 kB
Buffers:          7096 kB
Cached:         121068 kB
SwapCached:          0 kB
Active:          94240 kB
Inactive:        93608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1796320 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4052 kB
Writeback:           0 kB
AnonPages:       59760 kB
Mapped:          15648 kB
Slab:            53272 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182116 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 node087 at 2010-06-15 14:06:20