Trace number 432662

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

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-sctap2.opb
MD5SUM85d5cf87b7b65babdb4e7a6c3071d7ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark885
Best CPU time to get the best result obtained on this benchmark1782.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 645
Optimality of the best value was proved NO
Number of variables56400
Total number of constraints1033
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 constraints1033
Minimum length of a constraint90
Maximum length of a constraint720
Number of terms in the objective function 42300
Biggest coefficient in the objective function 854
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 560740
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 142664
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560740
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/432662-1177947302/instance-432662-1177947302.opb
0.00/0.00	c File size is 2541619 bytes.
0.89/0.94	c Highest Coefficient sum: 560740
0.89/0.94	c Parsing was ok!!
0.89/0.94	c Total parsing time: 0.937 s
0.89/0.96	c Var: 56400 Constr: 1503 475/0/1028 Lit: 236970 Watch. Lit: 46328
0.89/0.96	c Obj. Vars: 42300 (75 % of total variables)
7.99/8.05	c Pre-processing Time: 8.048 s
7.99/8.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.05	c        0  31590     1503   236970  157   169247  386078      0      0 8.05
7.99/8.05	c Switching off LPR mode.
1800.06/1800.80	c      100  31590     1603   249522  155   169447  424686    100     10 9.70
1800.06/1800.80	c      250  31590     1753   268338  153   169747  467155    250     21 11.42
1800.06/1800.80	c      475  31590     1978   296575  149   170197  513871    475     36 13.15
1800.06/1800.80	c      813  31590     2316   353000  152   170873  565259    813     34 23.70
1800.06/1800.80	c     1321  31590     2824   416866  147   171889  621785   1321     51 25.61
1800.06/1800.80	c     2084  31590     3587   541482  150   173415  683964   2084     61 33.78
1800.06/1800.80	c     3234  31590     4737   650667  137   175715  752361   3234     91 35.37
1800.06/1800.80	c     4955  31590     6458   802769  124   179157  827598   4955    132 37.30
1800.06/1800.80	c     7542  31590     9045   974155  107   184331  910358   7542    193 38.89
1800.06/1800.80	c    11422  31590    12925  1407723  108   192091  500000  11422    238 47.81
1800.06/1800.80	c    17244  31590    18747  2637698  140   203735  550001  17244    224 76.93
1800.06/1800.80	c    25981  31590    27484  3543815  128   221209  605002  25981    303 85.67
1800.06/1800.80	c    39091  31590    40594  5043771  124   247429  665503  39091    381 102.57
1800.06/1800.80	c    58764  31590    60267  6118042  101   286775  732054  58764    489 119.93
1800.06/1800.80	c    88275  31590    89778 14008882  156   345797  805260  88275    473 186.50
1800.06/1800.80	c   132546  31590   134049 20670739  154   434339  885787 132546    504 262.61
1800.06/1800.80	c   198956  31590   200459 30039961  149   567159  974366 198956    415 478.52
1800.06/1800.80	c   298576  31590   300079 38588204  128   766399  500000 298576    388 768.75
1800.06/1800.80	c   448012  31590   449515 55133838  122  1065271  550001 448012    294 1519.46
1800.06/1800.80	c Caught signal: 15
1800.06/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.80	c   19   487033  40345  7186769   488536 59002288 487033    270 1800.06
1800.06/1800.80	s UNKNOWN
1800.06/1800.80	c Total time: 1800.06 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/node20/watcher-432662-1177947302 -o ROOT/results/node20/solver-432662-1177947302 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.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.85 0.97 0.97 3/77 29224
/proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=14220 CPUtime=0
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242647600 14561280 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 3555 331 279 324 0 2004 0

[startup+0.0596059 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 29224
/proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=15236 CPUtime=0.05
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 648 0 0 0 5 0 0 0 18 0 1 0 242647600 15601664 618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 3809 618 316 324 0 2258 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15236

[startup+0.102614 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 29224
/proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=16160 CPUtime=0.09
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 914 0 0 0 9 0 0 0 18 0 1 0 242647600 16547840 844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 4040 844 343 324 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16160

[startup+0.302654 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 29224
/proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=10724 CPUtime=0.29
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 1684 0 0 0 29 0 0 0 19 0 1 0 242647600 10981376 1535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 2681 1535 474 324 0 1130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10724

[startup+0.701734 s]
/proc/loadavg: 0.85 0.97 0.97 3/77 29224
/proc/meminfo: memFree=1739696/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=13432 CPUtime=0.69
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 2688 0 0 0 68 1 0 0 23 0 1 0 242647600 13754368 2490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 3358 2490 739 324 0 1807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13432

[startup+1.50189 s]
/proc/loadavg: 0.85 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1724776/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=20092 CPUtime=1.49
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 147 2 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 5023 4214 304 324 0 4093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20092

[startup+3.10121 s]
/proc/loadavg: 0.85 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1723944/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=20092 CPUtime=3.09
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 305 4 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 5023 4214 304 324 0 4093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20092

[startup+6.30185 s]
/proc/loadavg: 0.86 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1723752/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=20092 CPUtime=6.29
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 5116 0 0 0 623 6 0 0 25 0 1 0 242647600 20574208 4214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 5023 4214 304 324 0 4093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20092

[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1721384/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=22652 CPUtime=12.69
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 6318 0 0 0 1261 8 0 0 25 0 1 0 242647600 23195648 4863 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 5663 4863 310 324 0 4733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22652

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1721448/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=22784 CPUtime=25.48
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 6347 0 0 0 2540 8 0 0 25 0 1 0 242647600 23330816 4892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 5696 4892 310 324 0 4766 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22784

[startup+51.1028 s]
/proc/loadavg: 0.93 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1707048/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=37124 CPUtime=51.07
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 9951 0 0 0 5097 10 0 0 25 0 1 0 242647600 38014976 8496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 9281 8496 310 324 0 8351 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37124

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1657640/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=86288 CPUtime=102.26
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 22246 0 0 0 10207 19 0 0 25 0 1 0 242647600 88358912 20791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 21572 20791 310 324 0 20642 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86288

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1575720/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=168248 CPUtime=162.23
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 42760 0 0 0 16194 29 0 0 25 0 1 0 242647600 172285952 41305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 42062 41305 310 324 0 41132 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 168248

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1469736/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=273748 CPUtime=222.22
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 69123 0 0 0 22177 45 0 0 25 0 1 0 242647600 280317952 67668 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 68437 67668 310 324 0 67507 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 273748

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1422504/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=321744 CPUtime=282.19
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 81121 0 0 0 28165 54 0 0 25 0 1 0 242647600 329465856 79666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 80436 79666 310 324 0 79506 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 321744

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29225
/proc/meminfo: memFree=1378984/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=364292 CPUtime=342.17
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 91776 0 0 0 34152 65 0 0 25 0 1 0 242647600 373035008 90321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 91073 90321 310 324 0 90143 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 364292

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 29227
/proc/meminfo: memFree=1349160/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=394436 CPUtime=402.15
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 99287 0 0 0 40140 75 0 0 25 0 1 0 242647600 403902464 97832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 98609 97832 310 324 0 97679 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 394436

[startup+462.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1326312/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=416872 CPUtime=462.12
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 104909 0 0 0 46130 82 0 0 25 0 1 0 242647600 426876928 103454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 104218 103454 310 324 0 103288 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 416872

[startup+522.301 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1290344/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=453080 CPUtime=522.1
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 113975 0 0 0 52117 93 0 0 25 0 1 0 242647600 463953920 112520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 113270 112520 310 324 0 112340 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 453080

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1262888/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=480248 CPUtime=582.09
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 120761 0 0 0 58108 101 0 0 25 0 1 0 242647600 491773952 119306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 120062 119306 310 324 0 119132 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 480248

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1237224/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=505680 CPUtime=642.07
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 127122 0 0 0 64098 109 0 0 25 0 1 0 242647600 517816320 125667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 126420 125667 310 324 0 125490 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 505680


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1125096/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=617708 CPUtime=881.98
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 155133 0 0 0 88061 137 0 0 25 0 1 0 242647600 632532992 153678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 154427 153678 310 324 0 153497 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 617708

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1107688/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=635516 CPUtime=941.96
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 159557 0 0 0 94054 142 0 0 25 0 1 0 242647600 650768384 158102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 158879 158102 310 324 0 157949 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 635516

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1083816/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=659004 CPUtime=1001.94
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 165447 0 0 0 100046 148 0 0 25 0 1 0 242647600 674820096 163992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 164751 163992 310 324 0 163821 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 659004

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1061352/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=681448 CPUtime=1061.92
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 171040 0 0 0 106038 154 0 0 25 0 1 0 242647600 697802752 169585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 170362 169585 310 324 0 169432 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 681448

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1042728/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=700036 CPUtime=1121.89
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 175692 0 0 0 112029 160 0 0 25 0 1 0 242647600 716836864 174237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 175009 174237 310 324 0 174079 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 700036

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1027752/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=715120 CPUtime=1181.87
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 179456 0 0 0 118021 166 0 0 25 0 1 0 242647600 732282880 178001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 178780 178001 310 324 0 177850 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 715120

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1013416/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=729204 CPUtime=1241.85
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 182979 0 0 0 124015 170 0 0 25 0 1 0 242647600 746704896 181524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 182301 181524 310 324 0 181371 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 729204

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=1005224/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=737208 CPUtime=1301.84
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 185008 0 0 0 130010 174 0 0 25 0 1 0 242647600 754900992 183553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 184302 183553 310 324 0 183372 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 737208

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=997096/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=745456 CPUtime=1361.81
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 187046 0 0 0 136004 177 0 0 25 0 1 0 242647600 763346944 185591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 186364 185591 310 324 0 185434 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 745456

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=989224/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=753192 CPUtime=1421.8
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 188978 0 0 0 142000 180 0 0 25 0 1 0 242647600 771268608 187523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 188298 187523 310 324 0 187368 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 753192

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=977832/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=764524 CPUtime=1481.77
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 191837 0 0 0 147994 183 0 0 25 0 1 0 242647600 782872576 190382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 191131 190382 310 324 0 190201 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 764524

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29227
/proc/meminfo: memFree=968360/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=774092 CPUtime=1541.74
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 194211 0 0 0 153988 186 0 0 25 0 1 0 242647600 792670208 192756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 193523 192756 310 324 0 192593 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 774092

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/84 29399
/proc/meminfo: memFree=951720/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=789332 CPUtime=1601.64
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 198037 0 0 0 159972 192 0 0 25 0 1 0 242647600 808275968 196582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 197333 196582 310 324 0 196403 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 789332

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29425
/proc/meminfo: memFree=942632/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=799660 CPUtime=1661.6
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 200597 0 0 0 165964 196 0 0 25 0 1 0 242647600 818851840 199142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 199915 199142 310 324 0 198985 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 799660

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29425
/proc/meminfo: memFree=931880/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=810512 CPUtime=1721.58
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 203308 0 0 0 171959 199 0 0 25 0 1 0 242647600 829964288 201853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 202628 201853 310 324 0 201698 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 810512

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29425
/proc/meminfo: memFree=921640/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=820720 CPUtime=1781.56
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 205858 0 0 0 177953 203 0 0 25 0 1 0 242647600 840417280 204403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 205180 204403 310 324 0 204250 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 820720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 29425
/proc/meminfo: memFree=918952/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=823300 CPUtime=1800.06
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194304 206524 0 0 0 179802 204 0 0 25 0 1 0 242647600 843059200 205069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 205825 205069 310 324 0 204895 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 823300

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.99 0.97 2/78 29425
/proc/meminfo: memFree=918952/2055920 swapFree=4154204/4192956
[pid=29224] ppid=29222 vsize=0 CPUtime=1800.16
/proc/29224/stat : 29224 (bsolo3.0.17) R 29222 29224 28526 0 -1 4194308 206528 0 0 0 179802 214 0 0 25 0 1 0 242647600 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/29224/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.94
CPU time (s): 1800.19
CPU user time (s): 1798.02
CPU system time (s): 2.16867
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 823300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.16867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206528
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= 37563

runsolver used 1.48477 second user time and 3.78542 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Mon Apr 30 15:35:03 UTC 2007

IDJOB= 432662
IDBENCH= 1661
IDSOLVER= 199
FILE ID= node20/432662-1177947302

PBS_JOBID= 4727666

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-sctap2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-432662-1177947302 -o ROOT/results/node20/solver-432662-1177947302 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432662-1177947302/instance-432662-1177947302.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  85d5cf87b7b65babdb4e7a6c3071d7ec

RANDOM SEED= 971056811

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1740232 kB
Buffers:         39168 kB
Cached:         182912 kB
SwapCached:      17416 kB
Active:         112588 kB
Inactive:       133580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740232 kB
SwapTotal:     4192956 kB
SwapFree:      4154204 kB
Dirty:            9256 kB
Writeback:           0 kB
Mapped:          30276 kB
Slab:            55072 kB
Committed_AS:  2160676 kB
PageTables:       1744 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 node20 on Mon Apr 30 16:05:06 UTC 2007