Trace number 432699

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.17? (TO) 1800.19 1800.91

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-pilot.we.opb
MD5SUM6d89097601cc17df3da06374ded173c4
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 variables77678
Total number of constraints1016
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 constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 9798
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526457
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526457
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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432699-1177947982/instance-432699-1177947982.opb
0.00/0.00	c File size is 2592183 bytes.
0.49/0.56	c Highest Coefficient sum: 526457
0.49/0.56	c Parsing was ok!!
0.49/0.56	c Total parsing time: 0.565 s
0.59/0.61	c Var: 77678 Constr: 1599 11/0/1588 Lit: 444262 Watch. Lit: 111795
0.59/0.61	c Obj. Vars: 2760 (3.55313 % of total variables)
81.37/81.41	c Pre-processing Time: 81.389 s
81.37/81.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.37/81.42	c        0  65224     1516   420475  277   290879  840631      0      0 81.39
81.37/81.42	c Switching off LPR mode.
1800.08/1800.80	c      103  65223     1619   428364  264   323104  924695    103      1 82.89
1800.08/1800.80	c      253  65223     1769   437668  247   342474  500000    253      3 83.21
1800.08/1800.80	c      479  65223     1995   484162  242   345177  550001    479      5 85.33
1800.08/1800.80	c      818  65223     2334   502776  215   345603  605002    818      9 86.83
1800.08/1800.80	c     1326  65223     2842   542104  190   347204  665503   1326     14 92.05
1800.08/1800.80	c     2090  65223     3606   603661  167   349325  732054   2090     22 92.46
1800.08/1800.80	c     3236  65222     4752   661581  139   351248  805260   3236     34 93.23
1800.08/1800.80	c     4957  65222     6473   748970  115   355399  885787   4957     52 93.93
1800.08/1800.80	c     7541  65222     9057   996095  109   360735  974366   7541     79 95.26
1800.08/1800.80	c    11421  65222    12937  1293410   99   368582  500000  11421    116 97.62
1800.08/1800.80	c    17243  65222    18759  1908368  101   380553  550001  17243    168 102.33
1800.08/1800.80	c    25980  65222    27496  2655834   96   399065  605002  25980    242 107.17
1800.08/1800.80	c    39090  65222    40606  4174619  102   426717  665503  39090    301 129.60
1800.08/1800.80	c    58760  65222    60276 10348817  171   464420  732054  58760    280 209.56
1800.08/1800.80	c    88270  65211    89786 12900799  143   523520  805260  88270    233 378.29
1800.08/1800.80	c   132540  65211   134056 19842015  148   624820  885787 132540    287 460.53
1800.08/1800.80	c   198952  65199   200468 27390556  136   751883  974366 198952    319 621.89
1800.08/1800.80	c   298572  65198   300088 35934648  119   950106  500000 298572    230 1294.91
1800.08/1800.80	c Caught signal: 15
1800.08/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.80	c   18   432582  61051  1344859   434098 45735516 432582    240 1800.09
1800.08/1800.80	s UNKNOWN
1800.08/1800.80	c Total time: 1800.09 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-432699-1177947982 -o ROOT/results/node59/solver-432699-1177947982 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.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: 0.99 0.97 0.91 3/64 30162
/proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=14268 CPUtime=0
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242707843 14610432 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 3567 333 279 324 0 2004 0

[startup+0.074839 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 30162
/proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=8620 CPUtime=0.06
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 1018 0 0 0 6 0 0 0 18 0 1 0 242707843 8826880 948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 2155 948 369 324 0 592 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8620

[startup+0.101844 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 30162
/proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=9208 CPUtime=0.09
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 1184 0 0 0 9 0 0 0 18 0 1 0 242707843 9428992 1114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 2302 1114 402 324 0 739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9208

[startup+0.301882 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 30162
/proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=13332 CPUtime=0.29
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 2551 0 0 0 28 1 0 0 19 0 1 0 242707843 13651968 2353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 3333 2353 627 324 0 1770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13332

[startup+0.701958 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 30162
/proc/meminfo: memFree=1724800/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=26960 CPUtime=0.69
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6638 0 0 0 67 2 0 0 22 0 1 0 242707843 27607040 5807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 6740 5807 304 324 0 5810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26960

[startup+1.50111 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1702520/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=27092 CPUtime=1.49
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 147 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 6773 5855 304 324 0 5843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27092

[startup+3.10141 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1702392/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=27092 CPUtime=3.09
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 307 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 6773 5855 304 324 0 5843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27092

[startup+6.30202 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1702208/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=27092 CPUtime=6.28
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6686 0 0 0 626 2 0 0 25 0 1 0 242707843 27742208 5855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 6773 5855 304 324 0 5843 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27092

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1702208/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=27224 CPUtime=12.68
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 6713 0 0 0 1266 2 0 0 25 0 1 0 242707843 27877376 5882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 6806 5882 304 324 0 5876 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27224

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1699520/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=29996 CPUtime=25.49
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 7401 0 0 0 2541 8 0 0 25 0 1 0 242707843 30715904 6570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 7499 6570 304 324 0 6569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29996

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1694976/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=34408 CPUtime=51.07
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 10505 0 0 0 5095 12 0 0 25 0 1 0 242707843 35233792 7694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 8602 7694 306 324 0 7672 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34408

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1678784/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=50736 CPUtime=102.26
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 14598 0 0 0 10210 16 0 0 25 0 1 0 242707843 51953664 11787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9718160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 12684 11787 310 324 0 11754 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50736

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1600768/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=129016 CPUtime=162.23
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 34174 0 0 0 16194 29 0 0 25 0 1 0 242707843 132112384 31363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 32254 31363 310 324 0 31324 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 129016

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1565312/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=163820 CPUtime=222.22
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 42893 0 0 0 22185 37 0 0 25 0 1 0 242707843 167751680 40082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 40955 40082 310 324 0 40025 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163820

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1561216/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=167924 CPUtime=282.19
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 43916 0 0 0 28181 38 0 0 25 0 1 0 242707843 171954176 41105 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 41981 41105 310 324 0 41051 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 167924

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1552000/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=177176 CPUtime=342.17
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 46227 0 0 0 34176 41 0 0 25 0 1 0 242707843 181428224 43416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 44294 43416 310 324 0 43364 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 177176

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1481344/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=248980 CPUtime=402.15
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 64190 0 0 0 40161 54 0 0 25 0 1 0 242707843 254955520 61379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 62245 61379 310 324 0 61315 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 248980

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1435200/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=295644 CPUtime=462.14
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 75842 0 0 0 46149 65 0 0 25 0 1 0 242707843 302739456 73032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 73911 73032 310 324 0 72981 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 295644

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1395136/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=334900 CPUtime=522.12
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 85673 0 0 0 52139 73 0 0 25 0 1 0 242707843 342937600 82862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 83725 82862 310 324 0 82795 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 334900

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1347328/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=381492 CPUtime=582.09
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 97316 0 0 0 58127 82 0 0 25 0 1 0 242707843 390647808 94505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 95373 94505 310 324 0 94443 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 381492

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30163
/proc/meminfo: memFree=1322752/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=405784 CPUtime=642.08
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 103395 0 0 0 64119 89 0 0 25 0 1 0 242707843 415522816 100584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 101446 100584 310 324 0 100516 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 405784


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 4/70 30210
/proc/meminfo: memFree=1269072/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=458108 CPUtime=881.97
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 116477 0 0 0 88097 100 0 0 25 0 1 0 242707843 469102592 113666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/30162/statm: 114527 113666 310 324 0 113597 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 458108

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1260600/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=467720 CPUtime=941.87
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 118876 0 0 0 94084 103 0 0 25 0 1 0 242707843 478945280 116065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 116930 116065 310 324 0 116000 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 467720

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1251584/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=476564 CPUtime=1001.85
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 121088 0 0 0 100079 106 0 0 25 0 1 0 242707843 488001536 118277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 119141 118277 310 324 0 118211 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 476564

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1242240/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=485924 CPUtime=1061.83
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 123433 0 0 0 106075 108 0 0 25 0 1 0 242707843 497586176 120622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 121481 120622 310 324 0 120551 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 485924

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1233984/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=494216 CPUtime=1121.81
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 125478 0 0 0 112070 111 0 0 25 0 1 0 242707843 506077184 122667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 123554 122667 310 324 0 122624 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 494216

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1227136/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=500968 CPUtime=1181.79
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 127193 0 0 0 118066 113 0 0 25 0 1 0 242707843 512991232 124382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 125242 124382 310 324 0 124312 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 500968

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1219392/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=508692 CPUtime=1241.76
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 129108 0 0 0 124062 114 0 0 25 0 1 0 242707843 520900608 126297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 127173 126297 310 324 0 126243 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 508692

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1210368/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=517564 CPUtime=1301.75
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 131339 0 0 0 130059 116 0 0 25 0 1 0 242707843 529985536 128528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 129391 128528 310 324 0 128461 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 517564

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1185536/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=542672 CPUtime=1361.73
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 137590 0 0 0 136051 122 0 0 25 0 1 0 242707843 555696128 134779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 135668 134779 310 324 0 134738 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 542672

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1162048/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=565844 CPUtime=1421.71
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 143393 0 0 0 142042 129 0 0 25 0 1 0 242707843 579424256 140582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 141461 140582 310 324 0 140531 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 565844

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1142336/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=585844 CPUtime=1481.68
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 148401 0 0 0 148035 133 0 0 25 0 1 0 242707843 599904256 145590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 146461 145590 310 324 0 145531 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 585844

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1120896/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=607108 CPUtime=1541.66
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 153708 0 0 0 154028 138 0 0 25 0 1 0 242707843 621678592 150897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 151777 150897 310 324 0 150847 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 607108

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1101824/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=626288 CPUtime=1601.64
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 158505 0 0 0 160023 141 0 0 25 0 1 0 242707843 641318912 155694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 156572 155694 310 324 0 155642 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 626288

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1090944/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=637076 CPUtime=1661.62
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 161195 0 0 0 166019 143 0 0 25 0 1 0 242707843 652365824 158384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 159269 158384 310 324 0 158339 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 637076

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1082432/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=645652 CPUtime=1721.6
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 163335 0 0 0 172014 146 0 0 25 0 1 0 242707843 661147648 160524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 161413 160524 310 324 0 160483 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 645652

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1073600/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=654252 CPUtime=1781.58
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 165516 0 0 0 178010 148 0 0 25 0 1 0 242707843 669954048 162705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 163563 162705 310 324 0 162633 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 654252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1071488/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=656340 CPUtime=1800.08
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194304 166028 0 0 0 179859 149 0 0 25 0 1 0 242707843 672092160 163217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 164085 163217 310 324 0 163155 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 656340

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

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

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30361
/proc/meminfo: memFree=1071488/2055920 swapFree=4184616/4192956
[pid=30162] ppid=30160 vsize=0 CPUtime=1800.18
/proc/30162/stat : 30162 (bsolo3.0.17) R 30160 30162 29607 0 -1 4194308 166032 0 0 0 179859 159 0 0 25 0 1 0 242707843 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30162/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.91
CPU time (s): 1800.19
CPU user time (s): 1798.6
CPU system time (s): 1.59676
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 656340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.59676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166032
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= 12
involuntary context switches= 3116

runsolver used 1.38279 second user time and 3.58845 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Mon Apr 30 15:46:22 UTC 2007

IDJOB= 432699
IDBENCH= 1698
IDSOLVER= 199
FILE ID= node59/432699-1177947982

PBS_JOBID= 4727810

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
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-pilot.we.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-432699-1177947982 -o ROOT/results/node59/solver-432699-1177947982 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432699-1177947982/instance-432699-1177947982.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6d89097601cc17df3da06374ded173c4

RANDOM SEED= 559438984

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1725208 kB
Buffers:         33040 kB
Cached:         217896 kB
SwapCached:       2364 kB
Active:         119220 kB
Inactive:       141776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1725208 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:            9108 kB
Writeback:           0 kB
Mapped:          16828 kB
Slab:            55688 kB
Committed_AS:  3198204 kB
PageTables:       1476 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= 66556 MiB

End job on node59 on Mon Apr 30 16:16:25 UTC 2007