Trace number 351096

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.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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/351096-1176580135/instance-351096-1176580135.opb
0.00/0.00	c File size is 2541619 bytes.
0.89/0.95	c Highest Coefficient sum: 560740
0.89/0.95	c Parsing was ok!!
0.89/0.95	c Total parsing time: 0.945 s
0.89/0.97	c Var: 56400 Constr: 1503 475/0/1028 Lit: 236970 Watch. Lit: 46328
0.89/0.97	c Obj. Vars: 42300 (75 % of total variables)
7.99/8.06	c Pre-processing Time: 8.059 s
7.99/8.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.99/8.07	c        0  31590     1503   236970  157   169247  386078      0      0 8.06
7.99/8.07	c Switching off LPR mode.
1800.01/1800.80	c      100  31590     1603   249522  155   169447  424686    100     10 9.71
1800.01/1800.80	c      250  31590     1753   268338  153   169747  467155    250     21 11.48
1800.01/1800.80	c      475  31590     1978   296575  149   170197  513871    475     35 13.27
1800.01/1800.80	c      813  31590     2316   353000  152   170873  565259    813     33 24.49
1800.01/1800.80	c     1321  31590     2824   416866  147   171889  621785   1321     49 26.46
1800.01/1800.80	c     2084  31590     3587   541482  150   173415  683964   2084     59 34.90
1800.01/1800.80	c     3234  31590     4737   650667  137   175715  752361   3234     88 36.55
1800.01/1800.80	c     4955  31590     6458   802769  124   179157  827598   4955    128 38.56
1800.01/1800.80	c     7542  31590     9045   974155  107   184331  910358   7542    187 40.22
1800.01/1800.80	c    11422  31590    12925  1407723  108   192091  500000  11422    230 49.46
1800.01/1800.80	c    17244  31590    18747  2637698  140   203735  550001  17244    217 79.32
1800.01/1800.80	c    25981  31590    27484  3543815  128   221209  605002  25981    294 88.34
1800.01/1800.80	c    39091  31590    40594  5043771  124   247429  665503  39091    370 105.54
1800.01/1800.80	c    58764  31590    60267  6118042  101   286775  732054  58764    476 123.33
1800.01/1800.80	c    88275  31590    89778 14008882  156   345797  805260  88275    462 190.89
1800.01/1800.80	c   132546  31590   134049 20670739  154   434339  885787 132546    495 267.33
1800.01/1800.80	c   198956  31590   200459 30039961  149   567159  974366 198956    411 483.83
1800.01/1800.80	c   298576  31590   300079 38588204  128   766399  500000 298576    385 774.62
1800.01/1800.80	c   448012  31590   449515 55133838  122  1065271  550001 448012    293 1527.47
1800.01/1800.80	c Caught signal: 15
1800.01/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.80	c   19   486206  40154  7185426   487709 58919629 486206    270 1800.02
1800.01/1800.80	s UNKNOWN
1800.01/1800.80	c Total time: 1800.02 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/node20/watcher-351096-1176580135 -o ROOT/results/node20/solver-351096-1176580135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351096-1176580135/instance-351096-1176580135.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.77 0.95 0.98 3/77 31992
/proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=14220 CPUtime=0
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 105930892 14561280 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 3555 334 281 324 0 2003 0

[startup+0.073051 s]
/proc/loadavg: 0.77 0.95 0.98 3/77 31992
/proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=15384 CPUtime=0.06
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 709 0 0 0 6 0 0 0 18 0 1 0 105930892 15753216 677 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 3846 677 327 324 0 2294 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15384

[startup+0.101057 s]
/proc/loadavg: 0.77 0.95 0.98 3/77 31992
/proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=16156 CPUtime=0.09
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 915 0 0 0 9 0 0 0 18 0 1 0 105930892 16543744 843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 4039 843 343 324 0 2487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16156

[startup+0.301097 s]
/proc/loadavg: 0.77 0.95 0.98 3/77 31992
/proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=10724 CPUtime=0.29
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 1681 0 0 0 29 0 0 0 19 0 1 0 105930892 10981376 1530 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 2681 1530 473 324 0 1129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10724

[startup+0.701176 s]
/proc/loadavg: 0.77 0.95 0.98 3/77 31992
/proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=13308 CPUtime=0.69
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 2681 0 0 0 68 1 0 0 23 0 1 0 105930892 13627392 2481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 3327 2481 737 324 0 1775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13308

[startup+1.50134 s]
/proc/loadavg: 0.79 0.95 0.98 2/78 31993
/proc/meminfo: memFree=1666320/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=20092 CPUtime=1.49
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 147 2 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 5023 4216 306 324 0 4092 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20092

[startup+3.10166 s]
/proc/loadavg: 0.79 0.95 0.98 2/78 31993
/proc/meminfo: memFree=1665232/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=20092 CPUtime=3.09
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 306 3 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 5023 4216 306 324 0 4092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20092

[startup+6.3013 s]
/proc/loadavg: 0.79 0.95 0.98 2/78 31993
/proc/meminfo: memFree=1664976/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=20092 CPUtime=6.28
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 624 4 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 5023 4216 306 324 0 4092 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20092

[startup+12.7016 s]
/proc/loadavg: 0.82 0.95 0.98 2/78 31993
/proc/meminfo: memFree=1662544/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=22652 CPUtime=12.67
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 6322 0 0 0 1250 17 0 0 25 0 1 0 105930892 23195648 4865 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 5663 4865 312 324 0 4732 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22652

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 31993
/proc/meminfo: memFree=1662672/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=22656 CPUtime=25.47
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 6324 0 0 0 2485 62 0 0 25 0 1 0 105930892 23199744 4867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 5664 4867 312 324 0 4733 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 22656

[startup+51.1013 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 31993
/proc/meminfo: memFree=1648464/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=36864 CPUtime=51.06
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 9895 0 0 0 4980 126 0 0 25 0 1 0 105930892 37748736 8438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 9216 8438 312 324 0 8285 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36864

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 31993
/proc/meminfo: memFree=1602448/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=82924 CPUtime=102.25
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 21408 0 0 0 10015 210 0 0 25 0 1 0 105930892 84914176 19951 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 20731 19951 312 324 0 19800 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 82924

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1521424/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=164136 CPUtime=162.22
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 41741 0 0 0 15925 297 0 0 25 0 1 0 105930892 168075264 40284 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 41034 40284 312 324 0 40103 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 164136

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1417488/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=267560 CPUtime=222.2
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 67598 0 0 0 21882 338 0 0 25 0 1 0 105930892 273981440 66141 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 66890 66141 312 324 0 65959 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 267560

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1369296/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=316208 CPUtime=282.18
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 79751 0 0 0 27851 367 0 0 25 0 1 0 105930892 323796992 78294 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 79052 78294 312 324 0 78121 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 316208

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1323856/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=360936 CPUtime=342.15
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 90922 0 0 0 33831 384 0 0 25 0 1 0 105930892 369598464 89465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 90234 89465 312 324 0 89303 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 360936

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1293264/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=391740 CPUtime=402.13
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 98621 0 0 0 39818 395 0 0 25 0 1 0 105930892 401141760 97164 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 97935 97164 312 324 0 97004 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 391740

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1269200/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=415444 CPUtime=462.11
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 104550 0 0 0 45807 404 0 0 25 0 1 0 105930892 425414656 103093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 103861 103093 312 324 0 102930 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 415444

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1234256/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=450620 CPUtime=522.08
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 113358 0 0 0 51787 421 0 0 25 0 1 0 105930892 461434880 111901 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 112655 111901 312 324 0 111724 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 450620

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1207184/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=477536 CPUtime=582.06
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 120075 0 0 0 57772 434 0 0 25 0 1 0 105930892 488996864 118618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 119384 118618 312 324 0 118453 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 477536

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31993
/proc/meminfo: memFree=1180880/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=503484 CPUtime=642.04
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 126551 0 0 0 63759 445 0 0 25 0 1 0 105930892 515567616 125094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 125871 125094 312 324 0 124940 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 503484


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=1070544/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=613592 CPUtime=881.85
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 154095 0 0 0 87627 558 0 0 25 0 1 0 105930892 628318208 152638 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8052368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 153398 152638 312 324 0 152467 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 613592

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=1050960/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=633328 CPUtime=941.83
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 159027 0 0 0 93616 567 0 0 25 0 1 0 105930892 648527872 157570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 158332 157570 312 324 0 157401 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 633328

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=1028368/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=655776 CPUtime=1001.81
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 164628 0 0 0 99605 576 0 0 25 0 1 0 105930892 671514624 163171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 163944 163171 312 324 0 163013 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 655776

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=1006160/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=678476 CPUtime=1061.78
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 170309 0 0 0 105593 585 0 0 25 0 1 0 105930892 694759424 168852 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 169619 168852 312 324 0 168688 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 678476

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=986512/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=697452 CPUtime=1121.76
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 175060 0 0 0 111583 593 0 0 25 0 1 0 105930892 714190848 173603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 174363 173603 312 324 0 173432 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 697452

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=970960/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=713180 CPUtime=1181.74
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 178997 0 0 0 117574 600 0 0 25 0 1 0 105930892 730296320 177540 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 178295 177540 312 324 0 177364 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 713180

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=956176/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=727788 CPUtime=1241.72
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 182638 0 0 0 123564 608 0 0 25 0 1 0 105930892 745254912 181181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 181947 181181 312 324 0 181016 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 727788

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=947600/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=736308 CPUtime=1301.7
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 184766 0 0 0 129557 613 0 0 25 0 1 0 105930892 753979392 183309 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8050517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 184077 183309 312 324 0 183146 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 736308

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=939536/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=744300 CPUtime=1361.68
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 186772 0 0 0 135549 619 0 0 25 0 1 0 105930892 762163200 185315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 186075 185315 312 324 0 185144 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 744300

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=932240/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=751504 CPUtime=1421.66
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 188579 0 0 0 141543 623 0 0 25 0 1 0 105930892 769540096 187122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 187876 187122 312 324 0 186945 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 751504

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=920656/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=763108 CPUtime=1481.62
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 191486 0 0 0 147533 629 0 0 25 0 1 0 105930892 781422592 190029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 190777 190029 312 324 0 189846 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 763108

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=912016/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=771896 CPUtime=1541.6
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 193674 0 0 0 153523 637 0 0 25 0 1 0 105930892 790421504 192217 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 192974 192217 312 324 0 192043 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 771896

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=896080/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=787908 CPUtime=1601.59
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 197688 0 0 0 159513 646 0 0 25 0 1 0 105930892 806817792 196231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 196977 196231 312 324 0 196046 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 787908

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=885584/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=798236 CPUtime=1661.56
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 200253 0 0 0 165506 650 0 0 25 0 1 0 105930892 817393664 198796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 199559 198796 312 324 0 198628 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 798236

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=875088/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=808840 CPUtime=1721.54
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 202916 0 0 0 171500 654 0 0 25 0 1 0 105930892 828252160 201459 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 202210 201459 312 324 0 201279 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 808840

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=864336/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=819432 CPUtime=1781.51
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 205560 0 0 0 177493 658 0 0 25 0 1 0 105930892 839098368 204103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 204858 204103 312 324 0 203927 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 819432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=861520/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=822140 CPUtime=1800.01
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 206242 0 0 0 179342 659 0 0 25 0 1 0 105930892 841871360 204785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 205535 204785 312 324 0 204604 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 822140

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: 0.99 0.97 0.98 2/78 32191
/proc/meminfo: memFree=861520/2055920 swapFree=4159876/4192956
[pid=31992] ppid=31990 vsize=0 CPUtime=1800.11
/proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194308 206243 0 0 0 179342 669 0 0 25 0 1 0 105930892 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/31992/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.94
CPU time (s): 1800.15
CPU user time (s): 1793.43
CPU system time (s): 6.72398
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 822140

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

runsolver used 2.09768 second user time and 4.45332 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Apr 14 19:48:56 UTC 2007

IDJOB= 351096
IDBENCH= 1661
IDSOLVER= 163
FILE ID= node20/351096-1176580135

PBS_JOBID= 4556938

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  85d5cf87b7b65babdb4e7a6c3071d7ec

RANDOM SEED= 307899760

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:       1681520 kB
Buffers:         48480 kB
Cached:         238868 kB
SwapCached:      15252 kB
Active:         179456 kB
Inactive:       134080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681520 kB
SwapTotal:     4192956 kB
SwapFree:      4159876 kB
Dirty:            7076 kB
Writeback:           0 kB
Mapped:          36212 kB
Slab:            46532 kB
Committed_AS:   287048 kB
PageTables:       1688 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= 66558 MiB

End job on node20 on Sat Apr 14 20:18:58 UTC 2007