Trace number 351200

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.09 1800.69

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.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/351200-1176587903/instance-351200-1176587903.opb
0.00/0.00	c File size is 5174391 bytes.
1.10/1.11	c Highest Coefficient sum: 531823
1.10/1.11	c Parsing was ok!!
1.10/1.11	c Total parsing time: 1.114 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.62	c Formula reductions applied at preprocessing
23.58/23.62	c Pre-processing Time: 23.614 s
58.46/58.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.46/58.52	c        0  43224     2525   734594  290   620186  500000      0      0 23.61
58.46/58.52	c Initial Lower Bound: -142
58.46/58.52	c Initial Path Cost: -3112
1800.01/1800.61	c      100  43224     2625   739950  281   622283  550001    100      1 59.72
1800.01/1800.61	c      250  43224     2775   747150  269   622529  605002    250      4 60.15
1800.01/1800.61	c      475  43224     3000   761759  253   622289  665503    475      7 61.62
1800.01/1800.61	c      813  43223     3338   782137  234   623056  732054    813      8 94.00
1800.01/1800.61	c     1321  43223     3846   820781  213   624053  805260   1321     13 98.77
1800.01/1800.61	c     2086  43223     4611   880075  190   625697  885787   2086     18 112.33
1800.01/1800.61	c     3235  43223     5760   980957  170   627485  974366   3235     28 114.36
1800.01/1800.61	c     4958  43223     7483  1619203  216   631079  500000   4958     41 119.17
1800.01/1800.61	c     7542  43223    10067  1756919  174   636095  550001   7542     51 145.63
1800.01/1800.61	c    11422  43223    13947  3584452  257   643490  605002  11422     74 153.65
1800.01/1800.61	c    17246  43223    19771  4132307  209   654489  665503  17246     88 194.39
1800.01/1800.61	c    25984  43222    28509  5036311  176   672057  732054  25984    126 205.72
1800.01/1800.61	c    39098  43221    41623  6109734  146   698076  805260  39098    154 253.64
1800.01/1800.61	c    58768  43221    61293  7810894  127   737220  885787  58768    205 285.82
1800.01/1800.61	c    88278  43221    90803 12946873  142   796212  974366  88278    210 418.59
1800.01/1800.61	c   132556  43221   135081 19605800  145   884701  500000 132556    225 587.20
1800.01/1800.61	c   198966  43220   201491 24137605  119  1017306  550001 198966    245 809.53
1800.01/1800.61	c   298586  43220   301111 27680673   91  1216132  605002 298586    209 1428.42
1800.01/1800.61	c Caught signal: 15
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   18   367970  47441  1235275   370495 31557198 367970    204 1800.01
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	c Total time: 1800.01 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/node14/watcher-351200-1176587903 -o ROOT/results/node14/solver-351200-1176587903 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351200-1176587903/instance-351200-1176587903.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: 1.08 1.02 1.01 3/77 2550
/proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=16792 CPUtime=0
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 106708094 17195008 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 4198 336 281 324 0 2003 0

[startup+0.0444559 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 2550
/proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=10496 CPUtime=0.04
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 778 0 0 0 4 0 0 0 18 0 1 0 106708094 10747904 746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 2624 746 334 324 0 429 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10496

[startup+0.101461 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 2550
/proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=12216 CPUtime=0.09
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1322 0 0 0 9 0 0 0 18 0 1 0 106708094 12509184 1250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 3054 1250 402 324 0 859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12216

[startup+0.301479 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 2550
/proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=16160 CPUtime=0.29
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 2649 0 0 0 29 0 0 0 19 0 1 0 106708094 16547840 2449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 4040 2449 634 324 0 1845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16160

[startup+0.701517 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 2550
/proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=22356 CPUtime=0.69
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 4680 0 0 0 67 2 0 0 22 0 1 0 106708094 22892544 4323 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 5589 4323 1073 324 0 3394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22356

[startup+1.50159 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 2551
/proc/meminfo: memFree=1618032/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=42376 CPUtime=1.49
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 11293 0 0 0 144 5 0 0 25 0 1 0 106708094 43393024 9672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 10594 9672 305 324 0 9663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42376

[startup+3.10175 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 2551
/proc/meminfo: memFree=1594096/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=44716 CPUtime=3.09
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 11749 0 0 0 303 6 0 0 25 0 1 0 106708094 45789184 10128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2550/statm: 11179 10128 305 324 0 10248 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44716

[startup+6.30105 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 2551
/proc/meminfo: memFree=1593008/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=50204 CPUtime=6.28
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 13930 0 0 0 617 11 0 0 25 0 1 0 106708094 51408896 11479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 12551 11479 307 324 0 11620 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50204

[startup+12.7027 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 2551
/proc/meminfo: memFree=1588656/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=50204 CPUtime=12.68
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 13930 0 0 0 1256 12 0 0 25 0 1 0 106708094 51408896 11479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 12551 11479 307 324 0 11620 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50204

[startup+25.5019 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 2551
/proc/meminfo: memFree=1583792/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=57856 CPUtime=25.48
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 182749 0 0 0 2466 82 0 0 25 0 1 0 106708094 59244544 13085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 14464 13091 332 324 0 13533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57856

[startup+51.1013 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 2551
/proc/meminfo: memFree=1556016/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=86520 CPUtime=51.06
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1888786 0 0 0 4314 792 0 0 25 0 1 0 106708094 88596480 19780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 21630 19780 390 324 0 20699 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86520

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 2551
/proc/meminfo: memFree=1575024/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=64036 CPUtime=102.25
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1891163 0 0 0 9430 795 0 0 25 0 1 0 106708094 65572864 14988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 16009 14988 393 324 0 15078 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64036

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 2617
/proc/meminfo: memFree=1533240/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=104264 CPUtime=162.21
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1901225 0 0 0 15409 812 0 0 25 0 1 0 106708094 106766336 25050 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 26066 25050 393 324 0 25135 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 104264

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1516720/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=121944 CPUtime=222.13
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1905646 0 0 0 21384 829 0 0 25 0 1 0 106708094 124870656 29471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 30486 29471 393 324 0 29555 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 121944

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1486576/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=153356 CPUtime=282.11
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1913490 0 0 0 27365 846 0 0 25 0 1 0 106708094 157036544 37315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 38339 37315 393 324 0 37408 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 153356

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1448112/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=190480 CPUtime=342.09
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1922788 0 0 0 33354 855 0 0 25 0 1 0 106708094 195051520 46613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 47620 46613 393 324 0 46689 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 190480

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1419120/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=219644 CPUtime=402.08
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1930077 0 0 0 39344 864 0 0 25 0 1 0 106708094 224915456 53902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 54911 53902 393 324 0 53980 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 219644

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1410352/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=227960 CPUtime=462.06
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1932171 0 0 0 45338 868 0 0 25 0 1 0 106708094 233431040 55996 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 56990 55996 393 324 0 56059 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 227960

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1371504/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=267716 CPUtime=522.04
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1942105 0 0 0 51322 882 0 0 25 0 1 0 106708094 274141184 65930 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 66929 65930 393 324 0 65998 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 267716

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1323248/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=315232 CPUtime=582.03
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1953963 0 0 0 57307 896 0 0 25 0 1 0 106708094 322797568 77788 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 78808 77788 393 324 0 77877 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 315232

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1300592/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=337636 CPUtime=642.02
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1959567 0 0 0 63295 907 0 0 25 0 1 0 106708094 345739264 83392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 84409 83392 393 324 0 83478 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 337636


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1253808/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=384256 CPUtime=821.96
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1971231 0 0 0 81261 935 0 0 25 0 1 0 106708094 393478144 95056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 96064 95056 393 324 0 95133 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 384256

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1243952/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=394200 CPUtime=881.95
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1973704 0 0 0 87250 945 0 0 25 0 1 0 106708094 403660800 97529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 98550 97529 393 324 0 97619 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 1.00 2/78 2749
/proc/meminfo: memFree=1237232/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=400840 CPUtime=941.94
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1975384 0 0 0 93243 951 0 0 25 0 1 0 106708094 410460160 99209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 100210 99209 393 324 0 99279 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 400840

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1230384/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=407736 CPUtime=1001.92
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1977102 0 0 0 99235 957 0 0 25 0 1 0 106708094 417521664 100927 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 101934 100927 393 324 0 101003 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 407736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1225392/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=412700 CPUtime=1061.9
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1978349 0 0 0 105229 961 0 0 25 0 1 0 106708094 422604800 102174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 103175 102174 393 324 0 102244 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 412700

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1220592/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=417516 CPUtime=1121.88
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1979534 0 0 0 111224 964 0 0 25 0 1 0 106708094 427536384 103359 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 104379 103359 393 324 0 103448 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 417516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1216240/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=421944 CPUtime=1181.86
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1980657 0 0 0 117219 967 0 0 25 0 1 0 106708094 432070656 104482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 105486 104482 393 324 0 104555 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 421944

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1211312/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=426760 CPUtime=1241.85
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1981856 0 0 0 123213 972 0 0 25 0 1 0 106708094 437002240 105681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 106690 105681 393 324 0 105759 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 426760

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1206768/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=431180 CPUtime=1301.84
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1982975 0 0 0 129208 976 0 0 25 0 1 0 106708094 441528320 106800 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 107795 106800 393 324 0 106864 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 431180

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1204016/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=434200 CPUtime=1361.82
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1983700 0 0 0 135203 979 0 0 25 0 1 0 106708094 444620800 107525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 108550 107525 393 324 0 107619 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 434200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1200752/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=437324 CPUtime=1421.8
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1984509 0 0 0 141199 981 0 0 25 0 1 0 106708094 447819776 108334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 109331 108334 393 324 0 108400 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 437324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1186928/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=451360 CPUtime=1481.79
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1987999 0 0 0 147190 989 0 0 25 0 1 0 106708094 462192640 111824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 112840 111824 393 324 0 111909 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 451360

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1174768/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=463396 CPUtime=1541.77
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1991016 0 0 0 153182 995 0 0 25 0 1 0 106708094 474517504 114841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 115849 114841 393 324 0 114918 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 463396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1165040/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=473072 CPUtime=1601.76
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1993433 0 0 0 159176 1000 0 0 25 0 1 0 106708094 484425728 117258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 118268 117258 393 324 0 117337 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 473072

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1158192/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=479832 CPUtime=1661.74
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1995132 0 0 0 165170 1004 0 0 25 0 1 0 106708094 491347968 118957 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 119958 118957 393 324 0 119027 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 479832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1151664/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=486480 CPUtime=1721.72
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1996771 0 0 0 171164 1008 0 0 25 0 1 0 106708094 498155520 120596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 121620 120596 393 324 0 120689 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 486480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1145072/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=493020 CPUtime=1781.71
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1998420 0 0 0 177160 1011 0 0 25 0 1 0 106708094 504852480 122245 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 123255 122245 393 324 0 122324 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 493020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2749
/proc/meminfo: memFree=1142704/2055920 swapFree=4149088/4192956
[pid=2550] ppid=2548 vsize=495240 CPUtime=1800.01
/proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1998982 0 0 0 178989 1012 0 0 25 0 1 0 106708094 507125760 122807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2550/statm: 123810 122807 393 324 0 122879 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 495240

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.69
CPU time (s): 1800.09
CPU user time (s): 1789.89
CPU system time (s): 10.1994
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 495240

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

runsolver used 2.07668 second user time and 4.26235 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Apr 14 21:58:23 UTC 2007

IDJOB= 351200
IDBENCH= 1695
IDSOLVER= 163
FILE ID= node14/351200-1176587903

PBS_JOBID= 4556797

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  761eaefb829e7d3bf060fd5b86600997

RANDOM SEED= 594378896

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1633936 kB
Buffers:         73104 kB
Cached:         280912 kB
SwapCached:      11892 kB
Active:         154948 kB
Inactive:       228056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633936 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            9464 kB
Writeback:           0 kB
Mapped:          33088 kB
Slab:            24544 kB
Committed_AS:  5202948 kB
PageTables:       1796 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= 66552 MiB

End job on node14 on Sat Apr 14 22:28:26 UTC 2007