Trace number 348202

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.15 1800.92

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-ship12l.opb
MD5SUMf3b03e873dc4df8efe5ac51669e9a176
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 variables162810
Total number of constraints1037
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 constraints1037
Minimum length of a constraint30
Maximum length of a constraint2250
Number of terms in the objective function 162810
Biggest coefficient in the objective function 1857
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 664362
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 664362
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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Time Limit set to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb
0.00/0.03	c File size is 7026492 bytes.
1.36/1.41	c Highest Coefficient sum: 664362
1.36/1.41	c Parsing was ok!!
1.36/1.41	c Total parsing time: 1.377 s
1.36/1.49	c Var: 162810 Constr: 1973 840/0/1133 Lit: 802050 Watch. Lit: 203256
1.36/1.49	c Obj. Vars: 162810 (100 % of total variables)
118.00/118.13	c Pre-processing Time: 118.047 s
118.00/118.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
118.00/118.14	c        0  68983     1412   719130  509   275770  500000      0      0 118.05
118.00/118.14	c Switching off LPR mode.
1799.93/1800.77	c      100  68983     1512   722128  477   491232  550001    100      0 123.34
1799.93/1800.77	c      250  68983     1662   726791  437   493088  605002    250      1 198.51
1799.93/1800.77	c      475  68983     1887   765222  405   492889  665503    475      2 233.25
1799.93/1800.77	c      814  68983     2226   775951  348   493550  732054    814      2 277.21
1799.93/1800.77	c     1322  68983     2734   792979  290   494478  805260   1322      4 315.04
1799.93/1800.77	c     2085  68983     3497   818231  233   495969  885787   2085      6 327.30
1799.93/1800.77	c     3231  68983     4643   919191  197   498493  974366   3231      6 473.26
1799.93/1800.77	c     4953  68983     6365  1028083  161   501145  500000   4953     10 492.41
1799.93/1800.77	c     7537  68983     8949  1132869  126   506271  550001   7537     14 516.65
1799.93/1800.77	c    11417  68983    12829  1444704  112   516485  605002  11417     11 1010.79
1799.93/1800.77	c    17239  68983    18651  2761602  148   527837  665503  17239     14 1170.34
1799.93/1800.77	c    25976  68983    27388  3888230  141   545165  732054  25976     21 1199.06
1799.93/1800.77	c    39087  68983    40499  7554996  186   565882  805260  39087     30 1293.01
1799.93/1800.77	c    58758  68983    60170 27065818  449   604668  885787  58758     42 1395.06
1799.93/1800.77	c Resources Exceeded
1799.93/1800.77	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.77	c   14    82232  10506  7930064    83644 68404783  82232     45 1800.00
1799.93/1800.77	s UNKNOWN
1799.93/1800.77	c Total time: 1800 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/node76/watcher-348202-1176573437 -o ROOT/results/node76/solver-348202-1176573437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.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.91 0.97 0.99 3/69 22998
/proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=3784 CPUtime=0
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 182 0 1 0 0 0 0 0 18 0 1 0 105258300 3874816 152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 1 0 0
/proc/22998/statm: 946 152 126 324 0 14 0

[startup+0.086354 s]
/proc/loadavg: 0.91 0.97 0.99 3/69 22998
/proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=20548 CPUtime=0.04
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 910 0 6 0 4 0 0 0 18 0 1 0 105258300 21041152 845 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524189 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22998/statm: 5137 845 341 324 0 2489 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20548

[startup+0.10135 s]
/proc/loadavg: 0.91 0.97 0.99 3/69 22998
/proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=20976 CPUtime=0.06
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 1064 0 6 0 6 0 0 0 18 0 1 0 105258300 21479424 999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524183 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22998/statm: 5244 999 362 324 0 2596 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20976

[startup+0.301397 s]
/proc/loadavg: 0.91 0.97 0.99 3/69 22998
/proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=27888 CPUtime=0.26
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 3385 0 6 0 25 1 0 0 19 0 1 0 105258300 28557312 2938 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524124 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22998/statm: 6972 2938 612 324 0 4324 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 27888

[startup+0.701474 s]
/proc/loadavg: 0.91 0.97 0.99 3/69 22998
/proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=29812 CPUtime=0.66
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 6378 0 6 0 64 2 0 0 23 0 1 0 105258300 30527488 5618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5240467 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22998/statm: 7453 5618 1097 324 0 4805 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 29812

[startup+1.50162 s]
/proc/loadavg: 0.91 0.97 0.99 2/70 22999
/proc/meminfo: memFree=1628696/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=46220 CPUtime=1.45
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 12792 0 6 0 141 4 0 0 25 0 1 0 105258300 47329280 10316 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5251331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 11555 10316 303 324 0 10623 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 46220

[startup+3.10193 s]
/proc/loadavg: 0.91 0.97 0.99 2/70 22999
/proc/meminfo: memFree=1609752/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=47540 CPUtime=3.05
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 13130 0 6 0 295 10 0 0 25 0 1 0 105258300 48680960 10654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 11885 10654 303 324 0 10953 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 47540

[startup+6.30155 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1602968/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52884 CPUtime=6.26
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 612 14 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13221 11985 305 324 0 12289 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52884

[startup+12.7018 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1603104/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52884 CPUtime=12.65
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 1251 14 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13221 11985 305 324 0 12289 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 52884

[startup+25.5013 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1603232/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52884 CPUtime=25.45
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 2530 15 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13221 11985 305 324 0 12289 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 52884

[startup+51.1013 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1603232/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52884 CPUtime=51.03
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 5087 16 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13221 11985 305 324 0 12289 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 52884

[startup+102.305 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1603360/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52884 CPUtime=102.22
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 10204 18 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13221 11985 305 324 0 12289 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 52884

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1604064/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52056 CPUtime=162.19
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16500 0 6 0 16190 29 0 0 25 0 1 0 105258300 53305344 11798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13014 11798 309 324 0 12082 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 52056

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22999
/proc/meminfo: memFree=1604000/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52056 CPUtime=222.16
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16501 0 6 0 22173 43 0 0 25 0 1 0 105258300 53305344 11799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13014 11799 309 324 0 12082 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 52056

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1602976/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=52848 CPUtime=282.09
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16676 0 6 0 28150 59 0 0 25 0 1 0 105258300 54116352 11974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13212 11974 309 324 0 12280 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 52848

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1602080/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=53764 CPUtime=342.07
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16929 0 6 0 34135 72 0 0 25 0 1 0 105258300 55054336 12227 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13441 12227 309 324 0 12509 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 53764

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1602016/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=53896 CPUtime=402.05
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16942 0 6 0 40110 95 0 0 25 0 1 0 105258300 55189504 12240 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13474 12240 309 324 0 12542 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 53896

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1601952/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=53896 CPUtime=462.02
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16952 0 6 0 46084 118 0 0 25 0 1 0 105258300 55189504 12250 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 13474 12250 309 324 0 12542 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 53896

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1598240/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=57792 CPUtime=522
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 17921 0 6 0 52074 126 0 0 25 0 1 0 105258300 59179008 13219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 14448 13219 309 324 0 13516 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 57792

[startup+582.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1596320/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=59596 CPUtime=581.97
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18390 0 6 0 58054 143 0 0 25 0 1 0 105258300 61026304 13688 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 14899 13688 309 324 0 13967 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 59596

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1596064/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=59860 CPUtime=641.96
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18456 0 6 0 64026 170 0 0 25 0 1 0 105258300 61296640 13754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 14965 13754 309 324 0 14033 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 59860


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1594848/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=61288 CPUtime=881.87
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18793 0 6 0 87889 298 0 0 25 0 1 0 105258300 62758912 14091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5247832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 15322 14091 309 324 0 14390 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 61288

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1594784/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=61288 CPUtime=941.84
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18802 0 6 0 93848 336 0 0 25 0 1 0 105258300 62758912 14100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 15322 14100 309 324 0 14390 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 61288

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1594656/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=61420 CPUtime=1001.82
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18840 0 6 0 99812 370 0 0 25 0 1 0 105258300 62894080 14138 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 15355 14138 309 324 0 14423 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 61420

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1584160/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=71968 CPUtime=1061.8
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 21490 0 6 0 105804 376 0 0 25 0 1 0 105258300 73695232 16788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 17992 16788 309 324 0 17060 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 71968

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1580320/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=75808 CPUtime=1121.78
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 22444 0 6 0 111801 377 0 0 25 0 1 0 105258300 77627392 17742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 18952 17742 309 324 0 18020 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 75808

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1574944/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=81212 CPUtime=1181.75
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 23798 0 6 0 117796 379 0 0 25 0 1 0 105258300 83161088 19096 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 20303 19096 309 324 0 19371 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 81212

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1560352/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=95624 CPUtime=1241.74
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 27392 0 6 0 123757 417 0 0 25 0 1 0 105258300 97918976 22690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 23906 22690 309 324 0 22974 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 95624

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1487264/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=168556 CPUtime=1301.72
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 45623 0 6 0 129720 452 0 0 25 0 1 0 105258300 172601344 40921 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 42139 40921 309 324 0 41207 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 168556

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1343648/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=313152 CPUtime=1361.69
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 81795 0 6 0 135698 471 0 0 25 0 1 0 105258300 320667648 77093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 78288 77093 309 324 0 77356 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 313152

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1161184/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=493988 CPUtime=1421.67
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 127032 0 6 0 141666 501 0 0 25 0 1 0 105258300 505843712 122330 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 123497 122330 309 324 0 122565 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 493988

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=1029600/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=627032 CPUtime=1481.65
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 160283 0 6 0 147651 514 0 0 25 0 1 0 105258300 642080768 155581 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 156758 155581 309 324 0 155826 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 627032

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=967264/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=687556 CPUtime=1541.63
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 175419 0 6 0 153643 520 0 0 25 0 1 0 105258300 704057344 170717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 171889 170717 309 324 0 170957 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 687556

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=919200/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=735904 CPUtime=1601.6
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 187505 0 6 0 159635 525 0 0 25 0 1 0 105258300 753565696 182803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 183976 182803 309 324 0 183044 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 735904

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=874720/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=779920 CPUtime=1661.57
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 198510 0 6 0 165628 529 0 0 25 0 1 0 105258300 798638080 193808 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 194980 193808 309 324 0 194048 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 779920

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=834720/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=820200 CPUtime=1721.56
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 208597 0 6 0 171623 533 0 0 25 0 1 0 105258300 839884800 203895 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 205050 203895 309 324 0 204118 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 820200

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=755040/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=899684 CPUtime=1781.53
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 228464 0 6 0 177612 541 0 0 25 0 1 0 105258300 921276416 223762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 224921 223762 309 324 0 223989 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 899684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=909728/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=0 CPUtime=1800.03
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194308 233736 0 6 0 179456 547 0 0 25 0 1 0 105258300 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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

[startup+1800.91 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 23197
/proc/meminfo: memFree=909728/2055888 swapFree=4095388/4096564
[pid=22998] ppid=22996 vsize=0 CPUtime=1800.13
/proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194308 233736 0 6 0 179456 557 0 0 25 0 1 0 105258300 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.15
CPU user time (s): 1794.57
CPU system time (s): 5.58015
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 920592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.57
system time used= 5.58015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233736
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3860

runsolver used 1.37779 second user time and 3.59645 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Apr 14 17:57:18 UTC 2007

IDJOB= 348202
IDBENCH= 1639
IDSOLVER= 163
FILE ID= node76/348202-1176573437

PBS_JOBID= 4556878

Free space on /tmp= 66641 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-ship12l.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-348202-1176573437 -o ROOT/results/node76/solver-348202-1176573437 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f3b03e873dc4df8efe5ac51669e9a176

RANDOM SEED= 464059290

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1651384 kB
Buffers:         53864 kB
Cached:         247988 kB
SwapCached:        476 kB
Active:          50180 kB
Inactive:       273524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1651384 kB
SwapTotal:     4096564 kB
SwapFree:      4095388 kB
Dirty:           11240 kB
Writeback:           0 kB
Mapped:          28044 kB
Slab:            67232 kB
Committed_AS:  2032108 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66641 MiB

End job on node76 on Sat Apr 14 18:27:20 UTC 2007