Trace number 363611

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.16OPT1120 88.6585 88.7351

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM9b4418c5c34f37121cd9ad7732df64ff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1120
Best CPU time to get the best result obtained on this benchmark8.64668
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb
0.00/0.00	c File size is 3601 bytes.
0.00/0.00	c Highest Coefficient sum: 15494
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 89 Constr: 28 2/15/11 Lit: 309 Watch. Lit: 138
0.00/0.00	c Obj. Vars: 85 (95.5056 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     88       28      309   11      138     558      0      0 0.00
0.00/0.01	c Initial Lower Bound: 945
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 2175	0.004
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       34     88       63     1932   30      288     726     35   8500 0.00
0.00/0.03	o 1723	0.025 * 
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c       46     88       76     2465   32      392     726     48   1840 0.03
0.00/0.05	o 1655	0.041 * 
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c       48     88       80     2672   33      475     726     52   1170 0.04
0.00/0.06	o 1643	0.054
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c       55     88       88     3027   34      560     726     60   1018 0.05
0.05/0.08	o 1590	0.079 * 
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       98     88      136     5227   38      725     726    108   1240 0.08
0.09/0.15	c      198     88      258    10731   41      970     799    230   1584 0.12
0.09/0.15	o 1537	0.143 * 
0.18/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.22	c      216     88      279    11479   41     1085     726    251   1510 0.14
0.18/0.22	c      318     88      424    17853   42     1375     799    396   1691 0.19
0.18/0.22	o 1509	0.215 * 
0.18/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.24	c      355     88      462    19212   41     1516     726    434   1651 0.21
0.18/0.24	o 1486	0.23 * 
0.18/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.24	c      367     88      475    19565   41     1619     726    447   1595 0.23
0.18/0.24	o 1260	0.238 * 
1.78/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.84	c      367     88      476    19649   41     1692     726    448   1542 0.24
1.78/1.84	c      468     88      587    23099   39     1906     799    559   1630 0.29
1.78/1.84	c      718     88      439    13657   31     1049     879    411   1613 0.45
1.78/1.84	c     1194     88      652    20909   32     1471     967    624   1730 0.69
1.78/1.84	c     2007     88      609    21590   35     1392    1064    581   1891 1.06
1.78/1.84	c     3331     88      561    16019   28     1290    1171    533   1853 1.80
1.78/1.84	o 1238	1.837 * 
1.78/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.89	c     3373     88      609    17582   28     1468     726    581   1836 1.84
1.78/1.89	o 1153	1.88
3.59/3.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.66	c     3440     88      691    20147   29     1707     726    663   1829 1.88
3.59/3.66	c     3540     88      451    13321   29     1069     799    423   1825 1.94
3.59/3.66	c     3790     88      820    27334   33     1811     879    792   1832 2.07
3.59/3.66	c     4265     88      742    18778   25     1649     967    714   1832 2.33
3.59/3.66	c     5079     88      974    32910   33     2119    1064    946   1827 2.78
3.59/3.66	c     6401     88     1044    34657   33     2264    1171   1016   1834 3.49
3.59/3.66	o 1148	3.651 * 
16.68/16.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.68/16.70	c     6695     88      868    28098   32     1984     726    840   1833 3.65
16.68/16.70	c     6795     88      546    17154   31     1261     799    518   1832 3.71
16.68/16.70	c     7045     88      491    14744   30     1150     879    463   1836 3.84
16.68/16.70	c     7521     88      670    19919   29     1515     967    642   1852 4.06
16.68/16.70	c     8335     88      961    28595   29     2093    1064    933   1855 4.49
16.68/16.70	c     9655     88     1067    34481   32     2303    1171   1039   1889 5.11
16.68/16.70	c    11737     88      794    27079   34     1757    1289    766   1888 6.22
16.68/16.70	c    14960     88      972    33117   34     2119    1418    944   1904 7.85
16.68/16.70	c    19896     88      915    26355   28     1997    1560    887   1914 10.39
16.68/16.70	c    27402     88     1416    42716   30     2999    1717   1388   1954 14.02
16.68/16.70	o 1147	16.693 * 
30.48/30.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.48/30.55	c    32817     88     1417    47111   33     3085     726   1389   1965 16.69
30.48/30.55	c    32919     88      524    16850   32     1216     799    496   1966 16.74
30.48/30.55	c    33173     88      429    13520   31     1025     879    401   1967 16.86
30.48/30.55	c    33649     88      752    21882   29     1672     967    724   1970 17.08
30.48/30.55	c    34462     88      528    15550   29     1224    1064    500   1974 17.46
30.48/30.55	c    35782     88      915    28787   31     1999    1171    887   1976 18.11
30.48/30.55	c    37863     88      882    27727   31     1932    1289    854   1982 19.10
30.48/30.55	c    41086     88      888    31339   35     1946    1418    860   1991 20.63
30.48/30.55	c    46022     88      887    27826   31     1948    1560    859   2003 22.97
30.48/30.55	c    53528     88     1172    37839   32     2513    1717   1144   2001 26.75
30.48/30.55	o 1136	30.54 * 
40.35/40.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.35/40.43	c    60999     88      927    27687   29     2103     726    899   1997 30.54
40.35/40.43	c    61100     88      531    16044   30     1233     799    503   1997 30.59
40.35/40.43	c    61350     88      540    15780   29     1250     879    512   1997 30.72
40.35/40.43	c    61825     88      874    24459   27     1914     967    846   1997 30.95
40.35/40.43	c    62638     88      951    34159   35     2073    1064    923   1997 31.35
40.35/40.43	c    63958     87      888    25020   28     1940    1171    860   1997 32.01
40.35/40.43	c    66039     87      616    17783   28     1405    1289    588   2005 32.92
40.35/40.43	c    69262     87      754    21949   29     1675    1418    726   2001 34.60
40.35/40.43	c    74198     87     1254    34788   27     2675    1560   1226   1997 37.14
40.35/40.43	o 1120	40.392 * 
88.61/88.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.61/88.73	c    80346     87     1210    36062   29     2658     724   1182   1989 40.39
88.61/88.73	c    80446     87      531    14943   28     1230     797    503   1988 40.45
88.61/88.73	c    80696     87      518    14193   27     1205     877    490   1988 40.58
88.61/88.73	c    81172     87      650    20742   31     1470     965    622   1990 40.78
88.61/88.73	c    81985     87      848    25692   30     1864    1062    820   1991 41.17
88.61/88.73	c    83305     87      773    24497   31     1713    1169    745   1991 41.84
88.61/88.73	c    85387     87      808    23427   28     1787    1286    780   1993 42.82
88.61/88.73	c    88610     86      847    23177   27     1860    1415    819   1989 44.53
88.61/88.73	c    93546     86     1358    42524   31     2884    1557   1330   1990 47.00
88.61/88.73	c   101052     86      810    24914   30     1787    1713    782   1993 50.69
88.61/88.73	c   112413     84     1135    35461   31     2435    1885   1107   1987 56.56
88.61/88.73	c   129557     83     1715    47868   27     3591    2074   1687   1973 65.66
88.61/88.73	c   155376     80     2102    58443   27     4365    2282   2074   1959 79.29
88.61/88.73	v x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32
88.61/88.73	v -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59
88.61/88.73	v -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85
88.61/88.73	v x86 -x87 -x88 -x89 -x6 x7 -x9 -x10
88.61/88.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
88.61/88.73	c   65   172255   7289   189644     1836    35816   1808   1942 88.66
88.61/88.73	c Objective: 1120
88.61/88.73	s OPTIMUM FOUND
88.61/88.73	c Total time: 88.656 s

Verifier Data (download as text)

OK	1120

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-363611-1177029934 -o ROOT/results/node41/solver-363611-1177029934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.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.20 1.06 1.01 3/77 23722
/proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=3828 CPUtime=0
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 162 0 1 0 0 0 0 0 18 0 1 0 150905295 3919872 142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1932152 0 0 4096 0 0 0 0 17 0 0 0
/proc/23722/statm: 945 133 110 324 0 14 0

[startup+0.0732689 s]
/proc/loadavg: 1.20 1.06 1.01 3/77 23722
/proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=20560 CPUtime=0.05
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 2082 0 3 0 5 0 0 0 18 0 1 0 150905295 21053440 592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 5140 588 391 324 0 4209 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20560

[startup+0.101271 s]
/proc/loadavg: 1.20 1.06 1.01 3/77 23722
/proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=12588 CPUtime=0.09
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 2362 0 3 0 8 1 0 0 18 0 1 0 150905295 12890112 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3147 600 392 324 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12588

[startup+0.301288 s]
/proc/loadavg: 1.20 1.06 1.01 3/77 23722
/proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=13032 CPUtime=0.29
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 4037 0 3 0 27 2 0 0 19 0 1 0 150905295 13344768 676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3258 677 392 324 0 2327 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13032

[startup+0.701322 s]
/proc/loadavg: 1.20 1.06 1.01 3/77 23722
/proc/meminfo: memFree=1799008/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=13232 CPUtime=0.68
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 11247 0 3 0 63 5 0 0 23 0 1 0 150905295 13549568 694 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3308 695 392 324 0 2377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13232

[startup+1.50139 s]
/proc/loadavg: 1.20 1.06 1.01 2/78 23723
/proc/meminfo: memFree=1797144/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=12876 CPUtime=1.49
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 23812 0 3 0 136 13 0 0 25 0 1 0 150905295 13185024 720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3219 720 392 324 0 2288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12876

[startup+3.10253 s]
/proc/loadavg: 1.18 1.06 1.01 2/78 23723
/proc/meminfo: memFree=1796760/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=13192 CPUtime=3.08
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 51035 0 3 0 279 29 0 0 25 0 1 0 150905295 13508608 724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3298 724 392 324 0 2367 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13192

[startup+6.30181 s]
/proc/loadavg: 1.18 1.06 1.01 2/78 23723
/proc/meminfo: memFree=1796768/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=12868 CPUtime=6.28
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 104495 0 3 0 568 60 0 0 25 0 1 0 150905295 13176832 721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3217 721 392 324 0 2286 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12868

[startup+12.7014 s]
/proc/loadavg: 1.15 1.05 1.01 2/78 23723
/proc/meminfo: memFree=1796512/2055920 swapFree=4152388/4192956
[pid=23722] ppid=23720 vsize=13660 CPUtime=12.68
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 140709 0 3 0 1180 88 0 0 25 0 1 0 150905295 13987840 843 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3375 842 392 324 0 2444 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13660

[startup+25.5015 s]
/proc/loadavg: 1.13 1.05 1.01 2/78 23723
/proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13488 CPUtime=25.48
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 166095 0 3 0 2431 117 0 0 25 0 1 0 150905295 13811712 869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3412 870 392 324 0 2481 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13488

[startup+51.1017 s]
/proc/loadavg: 1.08 1.05 1.00 2/78 23723
/proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13624 CPUtime=51.04
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 292623 0 3 0 4884 220 0 0 25 0 1 0 150905295 13950976 876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3406 877 392 324 0 2475 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 13624

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

[startup+63.9018 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13460 CPUtime=63.84
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 412809 0 3 0 6087 297 0 0 25 0 1 0 150905295 13783040 876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586754 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3365 876 392 324 0 2434 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 13460

[startup+76.7019 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796448/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13464 CPUtime=76.64
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 521887 0 3 0 7284 380 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3406 887 392 324 0 2475 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 13464

[startup+83.1015 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13948 CPUtime=83.02
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 586101 0 3 0 7875 427 0 0 25 0 1 0 150905295 14282752 891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3366 887 392 324 0 2435 0
Current children cumulated CPU time (s) 83.02
Current children cumulated vsize (KiB) 13948

[startup+86.3018 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13464 CPUtime=86.22
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 631120 0 3 0 8169 453 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3366 887 392 324 0 2435 0
Current children cumulated CPU time (s) 86.22
Current children cumulated vsize (KiB) 13464

[startup+87.9019 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13464 CPUtime=87.82
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 652925 0 3 0 8316 466 0 0 25 0 1 0 150905295 13787136 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707318 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3366 887 392 324 0 2435 0
Current children cumulated CPU time (s) 87.82
Current children cumulated vsize (KiB) 13464

[startup+88.302 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13784 CPUtime=88.21
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 658283 0 3 0 8352 469 0 0 25 0 1 0 150905295 14114816 890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3486 891 392 324 0 2555 0
Current children cumulated CPU time (s) 88.21
Current children cumulated vsize (KiB) 13784

[startup+88.703 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 23723
/proc/meminfo: memFree=1796384/2055920 swapFree=4152452/4192956
[pid=23722] ppid=23720 vsize=13948 CPUtime=88.61
/proc/23722/stat : 23722 (bsolo3.0.16) R 23720 23722 23172 0 -1 4194304 663885 0 3 0 8389 472 0 0 25 0 1 0 150905295 14282752 892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23722/statm: 3487 893 392 324 0 2556 0
Current children cumulated CPU time (s) 88.61
Current children cumulated vsize (KiB) 13948

Child status: 0
Real time (s): 88.7351
CPU time (s): 88.6585
CPU user time (s): 83.9232
CPU system time (s): 4.73528
CPU usage (%): 99.9137
Max. virtual memory (cumulated for all children) (KiB): 20560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.9232
system time used= 4.73528
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664318
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= 14
involuntary context switches= 2079

runsolver used 0.073988 second user time and 0.25796 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Fri Apr 20 00:45:34 UTC 2007

IDJOB= 363611
IDBENCH= 1868
IDSOLVER= 163
FILE ID= node41/363611-1177029934

PBS_JOBID= 4630618

Free space on /tmp= 66344 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-363611-1177029934 -o ROOT/results/node41/solver-363611-1177029934 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363611-1177029934/instance-363611-1177029934.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9b4418c5c34f37121cd9ad7732df64ff

RANDOM SEED= 488529829

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1799480 kB
Buffers:         36432 kB
Cached:         143264 kB
SwapCached:       2748 kB
Active:          85568 kB
Inactive:       117832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799480 kB
SwapTotal:     4192956 kB
SwapFree:      4152388 kB
Dirty:            4508 kB
Writeback:           0 kB
Mapped:          31420 kB
Slab:            38336 kB
Committed_AS:  2570512 kB
PageTables:       2008 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= 66344 MiB

End job on node41 on Fri Apr 20 00:47:03 UTC 2007