Trace number 351031

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, and are wall clock time (not CPU 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.0.16? (TO) 1800.11 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
MD5SUMe211111a6c1a3c27b5e79e770c101730
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 40
Optimality of the best value was proved NO
Number of variables15742
Total number of constraints530
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints530
Minimum length of a constraint10
Maximum length of a constraint522
Number of terms in the objective function 1442
Biggest coefficient in the objective function 62322
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 525467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525467
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb
0.00/0.01	c File size is 548727 bytes.
0.08/0.11	c Highest Coefficient sum: 525467
0.08/0.11	c Parsing was ok!!
0.08/0.11	c Total parsing time: 0.105 s
0.08/0.12	c Var: 15742 Constr: 802 44/0/758 Lit: 80607 Watch. Lit: 31125
0.08/0.12	c Obj. Vars: 1442 (9.16021 % of total variables)
1.19/1.25	c Pre-processing Time: 1.237 s
1.19/1.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.25	c        0   8684      627    73853  117    61281  147732      0      0 1.24
1.19/1.25	c Switching off LPR mode.
1800.00/1801.20	c      100   8684      727    82686  113    61619  162506    100     76 1.30
1800.00/1801.20	c      253   8684      880    98542  111    61965  178757    253    178 1.42
1800.00/1801.20	c      478   8684     1105   109702   99    62425  196633    478    306 1.56
1800.00/1801.20	c      822   8684     1449   136889   94    63055  216297    822    443 1.85
1800.00/1801.20	c     1349   8683     1976   156774   79    64132  237927   1349    654 2.06
1800.00/1801.20	c     2113   8683     2740   183431   66    65657  261720   2113    960 2.20
1800.00/1801.20	c     3260   8683     3887   210349   54    67914  287893   3260   1338 2.44
1800.00/1801.20	c     4981   8683     5608   267631   47    71363  316683   4981   1775 2.81
1800.00/1801.20	c     7565   8683     8192   360986   44    76532  348352   7565   2237 3.38
1800.00/1801.20	c    11444   8683    12071   450788   37    84289  383188  11444   2450 4.67
1800.00/1801.20	c    17266   8682    17893   654239   36    95943  421507  17266   2598 6.64
1800.00/1801.20	c    26004   8682    26631  1070434   40   113430  463658  26004   2924 8.89
1800.00/1801.20	c    39114   8682    39741  1411477   35   139650  510024  39114   2563 15.26
1800.00/1801.20	c    58785   8682    59412  2378409   40   178997  561027  58785   2205 26.65
1800.00/1801.20	c    88295   8682    88922  4127314   46   238053  617130  88295   1544 57.18
1800.00/1801.20	c   132579   8681   133206  6750555   50   326613  678844 132579   1767 75.01
1800.00/1801.20	c   198995   8681   199622 11905611   59   459415  746729 198995   1054 188.65
1800.00/1801.20	c   298618   8681   299245 20213362   67   658655  821402 298618    555 537.47
1800.00/1801.20	c   448057   8680   448684 31858216   71   957527  903543 448057    342 1306.73
1800.00/1801.20	c Resources Exceeded
1800.00/1801.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1801.20	c   19   639366 118411  1298502   639993 42863580 639366    355 1800.01
1800.00/1801.20	s UNKNOWN
1800.00/1801.20	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node60/watcher-351031-1176577033 -o ROOT/results/node60/solver-351031-1176577033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7052
/proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=2332 CPUtime=0
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 105613306 2387968 26 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5538823 0 0 4096 0 0 0 0 17 1 0 0
/proc/7052/statm: 583 26 20 324 0 3 0

[startup+0.0873629 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7052
/proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=6168 CPUtime=0.07
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 886 0 3 0 7 0 0 0 18 0 1 0 105613306 6316032 857 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7052/statm: 1542 857 377 324 0 477 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6168

[startup+0.101358 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7052
/proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=6432 CPUtime=0.08
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 951 0 3 0 8 0 0 0 18 0 1 0 105613306 6586368 922 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7052/statm: 1608 922 395 324 0 543 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6432

[startup+0.301379 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7052
/proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=9200 CPUtime=0.28
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 1773 0 3 0 28 0 0 0 19 0 1 0 105613306 9420800 1610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7052/statm: 2300 1610 306 324 0 1369 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9200

[startup+0.701414 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7052
/proc/meminfo: memFree=1467264/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=9200 CPUtime=0.68
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 1773 0 3 0 67 1 0 0 22 0 1 0 105613306 9420800 1610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 2300 1610 306 324 0 1369 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9200

[startup+1.50149 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1460536/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=9768 CPUtime=1.48
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 2057 0 3 0 146 2 0 0 25 0 1 0 105613306 10002432 1770 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 2442 1770 312 324 0 1511 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9768

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1459896/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=12792 CPUtime=3.08
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 2812 0 3 0 304 4 0 0 25 0 1 0 105613306 13099008 2525 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 3198 2525 312 324 0 2267 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12792

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1453752/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=17792 CPUtime=6.28
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 4065 0 3 0 622 6 0 0 25 0 1 0 105613306 18219008 3778 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 4448 3778 312 324 0 3517 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17792

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1441848/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=28892 CPUtime=12.68
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 6842 0 3 0 1258 10 0 0 25 0 1 0 105613306 29585408 6555 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 7223 6555 312 324 0 6292 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28892

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1426488/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=44172 CPUtime=25.48
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 10652 0 3 0 2533 15 0 0 25 0 1 0 105613306 45232128 10365 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 11043 10365 312 324 0 10112 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44172

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7053
/proc/meminfo: memFree=1410808/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=59756 CPUtime=51.04
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 14564 0 3 0 5083 21 0 0 25 0 1 0 105613306 61190144 14277 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 14939 14277 312 324 0 14008 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 59756

[startup+102.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 7053
/proc/meminfo: memFree=1326648/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=143548 CPUtime=102.22
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 35512 0 3 0 10169 53 0 0 25 0 1 0 105613306 146993152 35225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 35887 35225 312 324 0 34956 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 143548

[startup+162.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 7053
/proc/meminfo: memFree=1303672/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=166984 CPUtime=162.18
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 41352 0 3 0 16152 66 0 0 25 0 1 0 105613306 170991616 41065 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 41746 41065 312 324 0 40815 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 166984

[startup+222.301 s]
/proc/loadavg: 1.11 1.06 1.01 2/65 7053
/proc/meminfo: memFree=1278456/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=191704 CPUtime=222.11
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 47557 0 3 0 22133 78 0 0 25 0 1 0 105613306 196304896 47270 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 47926 47270 312 324 0 46995 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 191704

[startup+282.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/71 7231
/proc/meminfo: memFree=1262520/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=206656 CPUtime=282.06
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 51275 0 3 0 28110 96 0 0 25 0 1 0 105613306 211615744 50988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 51664 50988 312 324 0 50733 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 206656

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 7251
/proc/meminfo: memFree=1223800/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=246212 CPUtime=342.03
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 61176 0 3 0 34091 112 0 0 25 0 1 0 105613306 252121088 60889 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 61553 60889 312 324 0 60622 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 246212

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7251
/proc/meminfo: memFree=1201272/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=268960 CPUtime=401.99
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 66862 0 3 0 40076 123 0 0 25 0 1 0 105613306 275415040 66575 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 67240 66575 312 324 0 66309 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 268960

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7251
/proc/meminfo: memFree=1185528/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=284472 CPUtime=461.96
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 70734 0 3 0 46064 132 0 0 25 0 1 0 105613306 291299328 70447 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5967356 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 71118 70447 312 324 0 70187 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 284472

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7251
/proc/meminfo: memFree=1173688/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=296452 CPUtime=521.93
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 73722 0 3 0 52055 138 0 0 25 0 1 0 105613306 303566848 73435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 74113 73435 312 324 0 73182 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 296452

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7251
/proc/meminfo: memFree=1146424/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=323720 CPUtime=581.88
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 80544 0 3 0 58039 149 0 0 25 0 1 0 105613306 331489280 80257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 80930 80257 312 324 0 79999 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 323720

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1127992/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=341928 CPUtime=641.85
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 85087 0 3 0 64028 157 0 0 25 0 1 0 105613306 350134272 84800 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 85482 84800 312 324 0 84551 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 341928


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1089784/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=380208 CPUtime=821.74
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 94672 0 3 0 81998 176 0 0 25 0 1 0 105613306 389332992 94385 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 95052 94385 312 324 0 94121 0
Current children cumulated CPU time (s) 821.74
Current children cumulated vsize (KiB) 380208

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1079992/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=389820 CPUtime=881.7
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 97063 0 3 0 87989 181 0 0 25 0 1 0 105613306 399175680 96776 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 97455 96776 312 324 0 96524 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 389820

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1071608/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=398216 CPUtime=941.67
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 99185 0 3 0 93982 185 0 0 25 0 1 0 105613306 407773184 98898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 99554 98898 312 324 0 98623 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 398216

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1063864/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=405872 CPUtime=1001.64
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 101092 0 3 0 99974 190 0 0 25 0 1 0 105613306 415612928 100805 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 101468 100805 312 324 0 100537 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 405872

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1057656/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=412216 CPUtime=1061.6
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 102661 0 3 0 105966 194 0 0 25 0 1 0 105613306 422109184 102374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 103054 102374 312 324 0 102123 0
Current children cumulated CPU time (s) 1061.6
Current children cumulated vsize (KiB) 412216

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1044984/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=424876 CPUtime=1121.56
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 105824 0 3 0 111956 200 0 0 25 0 1 0 105613306 435073024 105537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 106219 105537 312 324 0 105288 0
Current children cumulated CPU time (s) 1121.56
Current children cumulated vsize (KiB) 424876

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1028024/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=442008 CPUtime=1181.53
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 110128 0 3 0 117944 209 0 0 25 0 1 0 105613306 452616192 109841 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 110502 109841 312 324 0 109571 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 442008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1014520/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=455112 CPUtime=1241.48
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 113387 0 3 0 123934 214 0 0 25 0 1 0 105613306 466034688 113100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 113778 113100 312 324 0 112847 0
Current children cumulated CPU time (s) 1241.48
Current children cumulated vsize (KiB) 455112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=1005432/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=464148 CPUtime=1301.44
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 115648 0 3 0 129926 218 0 0 25 0 1 0 105613306 475287552 115361 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 116037 115361 312 324 0 115106 0
Current children cumulated CPU time (s) 1301.44
Current children cumulated vsize (KiB) 464148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=949112/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=520540 CPUtime=1361.41
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 129762 0 3 0 135906 235 0 0 25 0 1 0 105613306 533032960 129475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 130135 129475 312 324 0 129204 0
Current children cumulated CPU time (s) 1361.41
Current children cumulated vsize (KiB) 520540

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=924088/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=545308 CPUtime=1421.38
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 135940 0 3 0 141893 245 0 0 25 0 1 0 105613306 558395392 135653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 136327 135653 312 324 0 135396 0
Current children cumulated CPU time (s) 1421.38
Current children cumulated vsize (KiB) 545308

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=914168/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=555284 CPUtime=1481.33
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 138438 0 3 0 147882 251 0 0 25 0 1 0 105613306 568610816 138151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 138821 138151 312 324 0 137890 0
Current children cumulated CPU time (s) 1481.33
Current children cumulated vsize (KiB) 555284

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=896632/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=572840 CPUtime=1541.3
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 142837 0 3 0 153869 261 0 0 25 0 1 0 105613306 586588160 142550 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 143210 142550 312 324 0 142279 0
Current children cumulated CPU time (s) 1541.3
Current children cumulated vsize (KiB) 572840

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=880952/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=588492 CPUtime=1601.26
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 146752 0 3 0 159859 267 0 0 25 0 1 0 105613306 602615808 146465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 147123 146465 312 324 0 146192 0
Current children cumulated CPU time (s) 1601.26
Current children cumulated vsize (KiB) 588492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=874680/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=594732 CPUtime=1661.19
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 148298 0 3 0 165850 269 0 0 25 0 1 0 105613306 609005568 148011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 148683 148011 312 324 0 147752 0
Current children cumulated CPU time (s) 1661.19
Current children cumulated vsize (KiB) 594732

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=867704/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=601760 CPUtime=1721.16
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 150062 0 3 0 171844 272 0 0 25 0 1 0 105613306 616202240 149775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 150440 149775 312 324 0 149509 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 601760

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=848952/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=620280 CPUtime=1781.12
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194304 154705 0 3 0 177832 280 0 0 25 0 1 0 105613306 635166720 154418 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 155070 154418 312 324 0 154139 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 620280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7251
/proc/meminfo: memFree=842232/2055920 swapFree=4184868/4192956
[pid=7052] ppid=7050 vsize=0 CPUtime=1800.01
/proc/7052/stat : 7052 (bsolo3.0.16) R 7050 7052 5947 0 -1 4194308 156394 0 3 0 179717 284 0 0 25 0 1 0 105613306 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7052/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.11
CPU user time (s): 1797.17
CPU system time (s): 2.93355
CPU usage (%): 99.9339
Max. virtual memory (cumulated for all children) (KiB): 627060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 2.93355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156394
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 7931

runsolver used 1.72974 second user time and 4.83026 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Apr 14 18:57:13 UTC 2007

IDJOB= 351031
IDBENCH= 1652
IDSOLVER= 163
FILE ID= node60/351031-1176577033

PBS_JOBID= 4556896

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-351031-1176577033 -o ROOT/results/node60/solver-351031-1176577033 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351031-1176577033/instance-351031-1176577033.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e211111a6c1a3c27b5e79e770c101730

RANDOM SEED= 906223974

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.214
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1467672 kB
Buffers:         44584 kB
Cached:         392488 kB
SwapCached:       2344 kB
Active:         129396 kB
Inactive:       318544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467672 kB
SwapTotal:     4192956 kB
SwapFree:      4184868 kB
Dirty:            4920 kB
Writeback:           0 kB
Mapped:          17816 kB
Slab:           126332 kB
Committed_AS:   145104 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node60 on Sat Apr 14 19:27:17 UTC 2007