Trace number 348592

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.05 1801.22

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-fffff800.opb
MD5SUMf2e3e708ab88850fd5a3cdf379c0e388
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25620
Total number of constraints524
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 constraints524
Minimum length of a constraint30
Maximum length of a constraint7530
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
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 530865
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Time Limit set to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/348592-1176588170/instance-348592-1176588170.opb
0.00/0.03	c File size is 1890447 bytes.
0.26/0.39	c Highest Coefficient sum: 530865
0.26/0.39	c Parsing was ok!!
0.26/0.39	c Total parsing time: 0.362 s
0.36/0.41	c Var: 25620 Constr: 874 34/0/840 Lit: 316740 Watch. Lit: 58096
0.36/0.41	c Obj. Vars: 240 (0.936768 % of total variables)
180.64/180.82	c Pre-processing Time: 180.663 s
180.64/180.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.64/180.82	c        0  18188      790   309680  392   231125  618281      0      0 180.66
180.64/180.82	c Switching off LPR mode.
1799.92/1801.20	c      100  18188      890   332002  373   233757  680110    100      0 190.81
1799.92/1801.20	c      251  18188     1041   348848  335   235018  748122    251      1 193.90
1799.92/1801.20	c      476  18188     1266   388340  306   236892  822935    476      2 207.57
1799.92/1801.20	c      815  18188     1605   467777  291   237261  905229    815      3 229.39
1799.92/1801.20	c     1325  18188     2115   519962  245   248641  995752   1325      5 231.12
1799.92/1801.20	c     2089  18188     2879   621763  215   250996  500000   2089      7 265.63
1799.92/1801.20	c     3235  18187     4025   709335  176   252010  550001   3235     11 272.14
1799.92/1801.20	c     4956  18187     5746  1062084  184   257182  605002   4956     14 341.11
1799.92/1801.20	c     7540  18187     8330  1582949  190   262344  665503   7540     19 394.50
1799.92/1801.20	c    11420  18187    12210  2200863  180   271600  732054  11420     17 666.25
1799.92/1801.20	c    17244  18187    18034  3186518  176   282629  805260  17244     19 874.67
1799.92/1801.20	c    25981  18187    26771  3985209  148   300082  885787  25981     20 1238.89
1799.92/1801.20	c    39093  18187    39883  6875439  172   324091  974366  39093     31 1260.53
1800.02/1801.20	c Resources Exceeded
1800.02/1801.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1801.20	c   13    44041   4707   256849    44831  7960378  44041     24 1800.03
1800.02/1801.20	s UNKNOWN
1800.02/1801.20	c Total time: 1800.03 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/node45/watcher-348592-1176588170 -o ROOT/results/node45/solver-348592-1176588170 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348592-1176588170/instance-348592-1176588170.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.02 1.03 1.01 3/64 15010
/proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=2560 CPUtime=0
/proc/15010/stat : 15010 (bsolo3.0.16) D 15008 15010 13970 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 13662611 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4727716 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/15010/statm: 640 45 35 324 0 8 0

[startup+0.0119951 s]
/proc/loadavg: 1.02 1.03 1.01 3/64 15010
/proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=3780 CPUtime=0
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 183 0 2 0 0 0 0 0 18 0 1 0 13662611 3870720 153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 0 0 0
/proc/15010/statm: 945 153 127 324 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3780

[startup+0.102001 s]
/proc/loadavg: 1.02 1.03 1.01 3/64 15010
/proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=7536 CPUtime=0.06
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 892 0 7 0 6 0 0 0 18 0 1 0 13662611 7716864 867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 1884 867 371 324 0 491 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7536

[startup+0.302021 s]
/proc/loadavg: 1.02 1.03 1.01 3/64 15010
/proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=10504 CPUtime=0.26
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 1905 0 7 0 26 0 0 0 19 0 1 0 13662611 10756096 1840 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 2626 1840 635 324 0 1233 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10504

[startup+0.701061 s]
/proc/loadavg: 1.02 1.03 1.01 3/64 15010
/proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=17748 CPUtime=0.66
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4238 0 8 0 65 1 0 0 22 0 1 0 13662611 18173952 3712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 4437 3712 306 324 0 3506 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 17748

[startup+1.50114 s]
/proc/loadavg: 1.02 1.03 1.01 2/65 15011
/proc/meminfo: memFree=1785336/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=17748 CPUtime=1.46
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4253 0 8 0 144 2 0 0 25 0 1 0 13662611 18173952 3727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 4437 3727 306 324 0 3506 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17748

[startup+3.10131 s]
/proc/loadavg: 1.01 1.03 1.01 2/65 15011
/proc/meminfo: memFree=1785208/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=17748 CPUtime=3.06
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4253 0 8 0 304 2 0 0 25 0 1 0 13662611 18173952 3727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 4437 3727 306 324 0 3506 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17748

[startup+6.30163 s]
/proc/loadavg: 1.01 1.03 1.01 2/65 15011
/proc/meminfo: memFree=1785088/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=17880 CPUtime=6.26
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4275 0 8 0 624 2 0 0 25 0 1 0 13662611 18309120 3749 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 4470 3749 306 324 0 3539 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17880

[startup+12.7013 s]
/proc/loadavg: 1.01 1.03 1.01 2/65 15011
/proc/meminfo: memFree=1785352/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=17880 CPUtime=12.64
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4284 0 8 0 1262 2 0 0 25 0 1 0 13662611 18309120 3758 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 4470 3758 306 324 0 3539 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 17880

[startup+25.5016 s]
/proc/loadavg: 1.01 1.03 1.01 2/65 15011
/proc/meminfo: memFree=1782728/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=20944 CPUtime=25.44
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 2541 3 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 5236 4515 308 324 0 4305 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20944

[startup+51.1012 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 15011
/proc/meminfo: memFree=1782728/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=20944 CPUtime=51.03
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 5099 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540874 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 5236 4515 308 324 0 4305 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 20944

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15011
/proc/meminfo: memFree=1782664/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=20944 CPUtime=102.18
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 10214 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 5236 4515 308 324 0 4305 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 20944

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15011
/proc/meminfo: memFree=1782664/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=20944 CPUtime=162.14
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 16210 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540957 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 5236 4515 308 324 0 4305 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 20944

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15011
/proc/meminfo: memFree=1783752/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=20004 CPUtime=222.11
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5782 0 8 0 22203 8 0 0 25 0 1 0 13662611 20484096 4287 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 5001 4287 312 324 0 4070 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 20004

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1778760/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=24504 CPUtime=282.05
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 6908 0 8 0 28195 10 0 0 25 0 1 0 13662611 25092096 5413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 6126 5413 312 324 0 5195 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 24504

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1774664/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=28552 CPUtime=342
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 7929 0 8 0 34188 12 0 0 25 0 1 0 13662611 29237248 6434 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 7138 6434 312 324 0 6207 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 28552

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1767752/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=35548 CPUtime=401.96
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 9679 0 8 0 40182 14 0 0 25 0 1 0 13662611 36401152 8184 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 8887 8184 312 324 0 7956 0
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (KiB) 35548

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1765960/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=37392 CPUtime=461.92
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 10124 0 8 0 46177 15 0 0 25 0 1 0 13662611 38289408 8629 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 9348 8629 312 324 0 8417 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 37392

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1764168/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=39244 CPUtime=521.87
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 10581 0 8 0 52171 16 0 0 25 0 1 0 13662611 40185856 9086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 9811 9086 312 324 0 8880 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 39244

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1762248/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=40964 CPUtime=581.85
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 11043 0 8 0 58168 17 0 0 25 0 1 0 13662611 41947136 9548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 10241 9548 312 324 0 9310 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 40964

[startup+642.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 15013
/proc/meminfo: memFree=1760648/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=42680 CPUtime=641.81
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 11449 0 8 0 64164 17 0 0 25 0 1 0 13662611 43704320 9954 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 10670 9954 312 324 0 9739 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 42680


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1751240/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=52044 CPUtime=821.69
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 13801 0 8 0 82148 21 0 0 25 0 1 0 13662611 53293056 12306 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5160405 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 13011 12306 312 324 0 12080 0
Current children cumulated CPU time (s) 821.69
Current children cumulated vsize (KiB) 52044

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1746120/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=57040 CPUtime=881.66
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 15058 0 8 0 88143 23 0 0 25 0 1 0 13662611 58408960 13563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 14260 13563 312 324 0 13329 0
Current children cumulated CPU time (s) 881.66
Current children cumulated vsize (KiB) 57040

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1743880/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=59420 CPUtime=941.63
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 15626 0 8 0 94138 25 0 0 25 0 1 0 13662611 60846080 14131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 14855 14131 312 324 0 13924 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 59420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1742024/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=61140 CPUtime=1001.58
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16073 0 8 0 100132 26 0 0 25 0 1 0 13662611 62607360 14578 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 15285 14578 312 324 0 14354 0
Current children cumulated CPU time (s) 1001.58
Current children cumulated vsize (KiB) 61140

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1740360/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=62864 CPUtime=1061.55
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16504 0 8 0 106128 27 0 0 25 0 1 0 13662611 64372736 15009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 15716 15009 312 324 0 14785 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 62864

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 15013
/proc/meminfo: memFree=1738632/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=64584 CPUtime=1121.52
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16926 0 8 0 112124 28 0 0 25 0 1 0 13662611 66134016 15431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 16146 15431 312 324 0 15215 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 64584

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 15013
/proc/meminfo: memFree=1737032/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=66172 CPUtime=1181.48
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 17330 0 8 0 118120 28 0 0 25 0 1 0 13662611 67760128 15835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 16543 15835 312 324 0 15612 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 66172

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1734792/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=68156 CPUtime=1241.45
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 17830 0 8 0 124116 29 0 0 25 0 1 0 13662611 69791744 16335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 17039 16335 312 324 0 16108 0
Current children cumulated CPU time (s) 1241.45
Current children cumulated vsize (KiB) 68156

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1695368/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=107544 CPUtime=1301.41
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 27681 0 8 0 130102 39 0 0 25 0 1 0 13662611 110125056 26186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 26886 26186 312 324 0 25955 0
Current children cumulated CPU time (s) 1301.41
Current children cumulated vsize (KiB) 107544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1693448/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=109524 CPUtime=1361.37
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28158 0 8 0 136097 40 0 0 25 0 1 0 13662611 112152576 26663 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 27381 26663 312 324 0 26450 0
Current children cumulated CPU time (s) 1361.37
Current children cumulated vsize (KiB) 109524

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1691912/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=110956 CPUtime=1421.34
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28540 0 8 0 142094 40 0 0 25 0 1 0 13662611 113618944 27045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 27739 27045 312 324 0 26808 0
Current children cumulated CPU time (s) 1421.34
Current children cumulated vsize (KiB) 110956

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1690440/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=112512 CPUtime=1481.3
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28920 0 8 0 148089 41 0 0 25 0 1 0 13662611 115212288 27425 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 28128 27425 312 324 0 27197 0
Current children cumulated CPU time (s) 1481.3
Current children cumulated vsize (KiB) 112512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1688904/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=114048 CPUtime=1541.26
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 29298 0 8 0 154085 41 0 0 25 0 1 0 13662611 116785152 27803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 28512 27803 312 324 0 27581 0
Current children cumulated CPU time (s) 1541.26
Current children cumulated vsize (KiB) 114048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1687368/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=115592 CPUtime=1601.23
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 29678 0 8 0 160081 42 0 0 25 0 1 0 13662611 118366208 28183 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 28898 28183 312 324 0 27967 0
Current children cumulated CPU time (s) 1601.23
Current children cumulated vsize (KiB) 115592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1685832/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=117016 CPUtime=1661.21
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30055 0 8 0 166078 43 0 0 25 0 1 0 13662611 119824384 28560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 29254 28560 312 324 0 28323 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 117016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1684296/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=118568 CPUtime=1721.16
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30431 0 8 0 172073 43 0 0 25 0 1 0 13662611 121413632 28936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 29642 28936 312 324 0 28711 0
Current children cumulated CPU time (s) 1721.16
Current children cumulated vsize (KiB) 118568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15013
/proc/meminfo: memFree=1682632/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=120112 CPUtime=1781.13
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30808 0 8 0 178069 44 0 0 25 0 1 0 13662611 122994688 29313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 30028 29313 312 324 0 29097 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 120112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15013
/proc/meminfo: memFree=1682184/2055920 swapFree=4192036/4192956
[pid=15010] ppid=15008 vsize=0 CPUtime=1800.02
/proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194308 30929 0 8 0 179958 44 0 0 25 0 1 0 13662611 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1801.22
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.463929
CPU usage (%): 99.9351
Max. virtual memory (cumulated for all children) (KiB): 120624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.463929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30929
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 6595

runsolver used 1.56376 second user time and 4.99724 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Apr 14 22:02:50 UTC 2007

IDJOB= 348592
IDBENCH= 1696
IDSOLVER= 163
FILE ID= node45/348592-1176588170

PBS_JOBID= 4556924

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f2e3e708ab88850fd5a3cdf379c0e388

RANDOM SEED= 278094180

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1800664 kB
Buffers:          4152 kB
Cached:         146264 kB
SwapCached:          0 kB
Active:          24556 kB
Inactive:       141272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800664 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:            6260 kB
Writeback:           0 kB
Mapped:          25308 kB
Slab:            75452 kB
Committed_AS:    94500 kB
PageTables:       1400 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= 66559 MiB

End job on node45 on Sat Apr 14 22:32:53 UTC 2007