Trace number 432696

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.1 1800.89

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-cycle.opb
MD5SUM761eaefb829e7d3bf060fd5b86600997
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1
Best CPU time to get the best result obtained on this benchmark1782.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
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 constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 16197
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 531823
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 531823
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/432696-1177947855/instance-432696-1177947855.opb
0.00/0.00	c File size is 5174391 bytes.
1.10/1.12	c Highest Coefficient sum: 531823
1.10/1.12	c Parsing was ok!!
1.10/1.12	c Total parsing time: 1.118 s
1.10/1.18	c Var: 84737 Constr: 3176 179/0/2997 Lit: 797261 Watch. Lit: 229786
1.10/1.18	c Obj. Vars: 9240 (10.9043 % of total variables)
23.58/23.60	c Formula reductions applied at preprocessing
23.58/23.60	c Pre-processing Time: 23.593 s
58.66/58.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.66/58.76	c        0  43224     2525   734594  290   620186  500000      0      0 23.59
58.66/58.76	c Initial Lower Bound: -142
58.66/58.76	c Initial Path Cost: -3112
1800.00/1800.80	c      100  43224     2625   739950  281   622283  550001    100      1 59.94
1800.00/1800.80	c      250  43224     2775   747150  269   622529  605002    250      4 60.37
1800.00/1800.80	c      475  43224     3000   761759  253   622289  665503    475      7 61.82
1800.00/1800.80	c      813  43223     3338   782137  234   623056  732054    813      8 94.44
1800.00/1800.80	c     1321  43223     3846   820781  213   624053  805260   1321     13 99.24
1800.00/1800.80	c     2086  43223     4611   880075  190   625697  885787   2086     18 112.87
1800.00/1800.80	c     3235  43223     5760   980957  170   627485  974366   3235     28 114.90
1800.00/1800.80	c     4958  43223     7483  1619203  216   631079  500000   4958     41 119.76
1800.00/1800.80	c     7542  43223    10067  1756919  174   636095  550001   7542     51 146.18
1800.00/1800.80	c    11422  43223    13947  3584452  257   643490  605002  11422     74 154.15
1800.00/1800.80	c    17246  43223    19771  4132307  209   654489  665503  17246     88 194.71
1800.00/1800.80	c    25984  43222    28509  5036311  176   672057  732054  25984    126 205.95
1800.00/1800.80	c    39098  43221    41623  6109734  146   698076  805260  39098    154 253.83
1800.00/1800.80	c    58768  43221    61293  7810894  127   737220  885787  58768    205 285.84
1800.00/1800.80	c    88278  43221    90803 12946873  142   796212  974366  88278    210 419.16
1800.00/1800.80	c   132556  43221   135081 19605800  145   884701  500000 132556    225 588.23
1800.00/1800.80	c   198966  43220   201491 24137605  119  1017306  550001 198966    245 809.67
1800.00/1800.80	c   298586  43220   301111 27680673   91  1216132  605002 298586    209 1426.46
1800.00/1800.80	c Caught signal: 15
1800.00/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.80	c   18   368486  47441  1235793   371011 31587923 368486    204 1800.02
1800.00/1800.80	s UNKNOWN
1800.00/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.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-432696-1177947855 -o ROOT/results/node33/solver-432696-1177947855 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.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.93 0.97 0.91 3/77 6429
/proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=16792 CPUtime=0
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242701045 17195008 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 4198 333 279 324 0 2004 0

[startup+0.0346919 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 6429
/proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=10224 CPUtime=0.03
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 701 0 0 0 3 0 0 0 18 0 1 0 242701045 10469376 671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 2556 671 319 324 0 362 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10224

[startup+0.101705 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 6429
/proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=12084 CPUtime=0.09
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1306 0 0 0 9 0 0 0 18 0 1 0 242701045 12374016 1236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 3021 1236 399 324 0 827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12084

[startup+0.301747 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 6429
/proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=16156 CPUtime=0.29
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 2629 0 0 0 29 0 0 0 19 0 1 0 242701045 16543744 2431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 4039 2431 630 324 0 1845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16156

[startup+0.701827 s]
/proc/loadavg: 0.93 0.97 0.91 3/77 6429
/proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=22356 CPUtime=0.69
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 4671 0 0 0 68 1 0 0 22 0 1 0 242701045 22892544 4316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 5589 4316 1069 324 0 3395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22356

[startup+1.50199 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1831776/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=42376 CPUtime=1.49
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 11292 0 0 0 144 5 0 0 25 0 1 0 242701045 43393024 9673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 10594 9673 303 324 0 9664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42376

[startup+3.10132 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1807840/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=44716 CPUtime=3.09
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 11745 0 0 0 303 6 0 0 25 0 1 0 242701045 45789184 10126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 11179 10126 303 324 0 10249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44716

[startup+6.30197 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1806880/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=50204 CPUtime=6.28
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 13926 0 0 0 618 10 0 0 25 0 1 0 242701045 51408896 11477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 12551 11477 305 324 0 11621 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50204

[startup+12.7013 s]
/proc/loadavg: 0.94 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1802336/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=50204 CPUtime=12.69
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 13926 0 0 0 1257 12 0 0 25 0 1 0 242701045 51408896 11477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 12551 11477 305 324 0 11621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50204

[startup+25.5019 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1796128/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=57856 CPUtime=25.48
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 182556 0 0 0 2466 82 0 0 25 0 1 0 242701045 59244544 12894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 14464 12898 334 324 0 13534 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57856

[startup+51.1011 s]
/proc/loadavg: 0.97 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1769568/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=86520 CPUtime=51.05
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1888752 0 0 0 4305 800 0 0 25 0 1 0 242701045 88596480 19748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 21630 19748 390 324 0 20700 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 86520

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 6430
/proc/meminfo: memFree=1788640/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=64036 CPUtime=102.24
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1891162 0 0 0 9421 803 0 0 25 0 1 0 242701045 65572864 14989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 16009 14989 394 324 0 15079 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 64036

[startup+162.302 s]
/proc/loadavg: 1.08 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1748256/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=104264 CPUtime=162.22
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1901224 0 0 0 15415 807 0 0 25 0 1 0 242701045 106766336 25051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 26066 25051 394 324 0 25136 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 104264

[startup+222.302 s]
/proc/loadavg: 1.03 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1730720/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=121944 CPUtime=222.19
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1905645 0 0 0 21409 810 0 0 25 0 1 0 242701045 124870656 29472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11374744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 30486 29472 394 324 0 29556 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 121944

[startup+282.301 s]
/proc/loadavg: 1.01 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1700384/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=153356 CPUtime=282.17
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1913495 0 0 0 27403 814 0 0 25 0 1 0 242701045 157036544 37322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 38339 37322 394 324 0 37409 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 153356

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1661984/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=190352 CPUtime=342.14
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1922757 0 0 0 33393 821 0 0 25 0 1 0 242701045 194920448 46584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 47588 46584 394 324 0 46658 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 190352

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1633120/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=219388 CPUtime=402.13
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1930014 0 0 0 39383 830 0 0 25 0 1 0 242701045 224653312 53841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 54847 53841 394 324 0 53917 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 219388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1624160/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=227960 CPUtime=462.1
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1932148 0 0 0 45378 832 0 0 25 0 1 0 242701045 233431040 55975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 56990 55975 394 324 0 56060 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 227960

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1587040/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=266424 CPUtime=522.08
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1941783 0 0 0 51369 839 0 0 25 0 1 0 242701045 272818176 65610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 66606 65610 394 324 0 65676 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 266424

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1537248/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=314848 CPUtime=582.06
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1953872 0 0 0 57357 849 0 0 25 0 1 0 242701045 322404352 77699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 78712 77699 394 324 0 77782 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 314848

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1514656/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=337248 CPUtime=642.04
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1959471 0 0 0 63351 853 0 0 25 0 1 0 242701045 345341952 83298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 84312 83298 394 324 0 83382 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 337248


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1467488/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=384256 CPUtime=821.97
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1971230 0 0 0 81331 866 0 0 25 0 1 0 242701045 393478144 95057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 96064 95057 394 324 0 95134 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 384256

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1457568/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=394200 CPUtime=881.95
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1973706 0 0 0 87326 869 0 0 25 0 1 0 242701045 403660800 97533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 98550 97533 394 324 0 97620 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 394200

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1450912/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=400840 CPUtime=941.92
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1975389 0 0 0 93322 870 0 0 25 0 1 0 242701045 410460160 99216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 100210 99216 394 324 0 99280 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 400840

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6430
/proc/meminfo: memFree=1443936/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=407736 CPUtime=1001.9
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1977111 0 0 0 99317 873 0 0 25 0 1 0 242701045 417521664 100938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 101934 100938 394 324 0 101004 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 407736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1438744/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=412828 CPUtime=1061.78
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1978361 0 0 0 105303 875 0 0 25 0 1 0 242701045 422735872 102188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 103207 102188 394 324 0 102277 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 412828

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1433952/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=417516 CPUtime=1121.76
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1979545 0 0 0 111299 877 0 0 25 0 1 0 242701045 427536384 103372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 104379 103372 394 324 0 103449 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 417516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1429472/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=422072 CPUtime=1181.74
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1980680 0 0 0 117296 878 0 0 25 0 1 0 242701045 432201728 104507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 105518 104507 394 324 0 104588 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 422072

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1424544/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=426888 CPUtime=1241.72
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1981873 0 0 0 123292 880 0 0 25 0 1 0 242701045 437133312 105700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 106722 105700 394 324 0 105792 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 426888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1420064/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=431312 CPUtime=1301.7
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1982989 0 0 0 129288 882 0 0 25 0 1 0 242701045 441663488 106816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 107828 106816 394 324 0 106898 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 431312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1417184/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=434336 CPUtime=1361.68
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1983735 0 0 0 135285 883 0 0 25 0 1 0 242701045 444760064 107562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 108584 107562 394 324 0 107654 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 434336

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1413920/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=437460 CPUtime=1421.66
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1984540 0 0 0 141282 884 0 0 25 0 1 0 242701045 447959040 108367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 109365 108367 394 324 0 108435 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 437460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1399776/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=451756 CPUtime=1481.63
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1988105 0 0 0 147276 887 0 0 25 0 1 0 242701045 462598144 111932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 112939 111932 394 324 0 112009 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 451756

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1387616/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=463780 CPUtime=1541.6
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1991111 0 0 0 153270 890 0 0 25 0 1 0 242701045 474910720 114938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 115945 114938 394 324 0 115015 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 463780

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1378144/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=473336 CPUtime=1601.58
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1993495 0 0 0 159265 893 0 0 25 0 1 0 242701045 484696064 117322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 118334 117322 394 324 0 117404 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 473336

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1371232/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=480100 CPUtime=1661.56
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1995200 0 0 0 165260 896 0 0 25 0 1 0 242701045 491622400 119027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11376469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 120025 119027 394 324 0 119095 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 480100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1364704/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=486612 CPUtime=1721.53
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1996830 0 0 0 171255 898 0 0 25 0 1 0 242701045 498290688 120657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 121653 120657 394 324 0 120723 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 486612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1358048/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=493284 CPUtime=1781.51
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1998485 0 0 0 177251 900 0 0 25 0 1 0 242701045 505122816 122312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 123321 122312 394 324 0 122391 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 493284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6628
/proc/meminfo: memFree=1355552/2055920 swapFree=4147832/4192956
[pid=6429] ppid=6427 vsize=495760 CPUtime=1800
/proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1999093 0 0 0 179100 900 0 0 25 0 1 0 242701045 507658240 122920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6429/statm: 123940 122920 394 324 0 123010 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 495760

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

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

Child status: 15
Real time (s): 1800.89
CPU time (s): 1800.1
CPU user time (s): 1791.01
CPU system time (s): 9.08762
CPU usage (%): 99.9562
Max. virtual memory (cumulated for all children) (KiB): 495760

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

runsolver used 1.42078 second user time and 3.86841 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Mon Apr 30 15:44:16 UTC 2007

IDJOB= 432696
IDBENCH= 1695
IDSOLVER= 199
FILE ID= node33/432696-1177947855

PBS_JOBID= 4727821

Free space on /tmp= 66553 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-cycle.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-432696-1177947855 -o ROOT/results/node33/solver-432696-1177947855 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  761eaefb829e7d3bf060fd5b86600997

RANDOM SEED= 580813436

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1847744 kB
Buffers:         34744 kB
Cached:          84324 kB
SwapCached:      13872 kB
Active:          53092 kB
Inactive:        90784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847744 kB
SwapTotal:     4192956 kB
SwapFree:      4147832 kB
Dirty:           11740 kB
Writeback:           0 kB
Mapped:          31828 kB
Slab:            49620 kB
Committed_AS:  1929512 kB
PageTables:       1992 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= 66553 MiB

End job on node33 on Mon Apr 30 16:14:19 UTC 2007