Trace number 432682

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.03 1800.63

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-seba.opb
MD5SUMf70781d9e1b73a3f03aa1ef3a5aa83c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.45017
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23376
Total number of constraints1029
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 constraints1029
Minimum length of a constraint10
Maximum length of a constraint496
Number of terms in the objective function 7565
Biggest coefficient in the objective function 29038
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 531731
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531731
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/432682-1177947599/instance-432682-1177947599.opb
0.00/0.00	c File size is 1271282 bytes.
0.19/0.26	c Highest Coefficient sum: 531731
0.19/0.26	c Parsing was ok!!
0.19/0.26	c Total parsing time: 0.256 s
0.19/0.27	c Var: 23376 Constr: 1536 56/0/1480 Lit: 245988 Watch. Lit: 58816
0.19/0.27	c Obj. Vars: 7565 (32.3623 % of total variables)
2.79/2.86	c Pre-processing Time: 2.864 s
2.79/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.87	c        0  16993     1337   238622  178   193593  476705      0      0 2.86
2.79/2.87	c Switching off LPR mode.
1800.01/1800.60	c      100  16993     1437   243102  169   193751  524376    100      9 11.06
1800.01/1800.60	c      253  16993     1590   267264  168   194018  576814    253     19 13.05
1800.01/1800.60	c      478  16993     1815   281402  155   194439  634496    478     25 18.52
1800.01/1800.60	c      816  16993     2153   298991  138   195115  697946    816     24 33.22
1800.01/1800.60	c     1324  16992     2661   329760  123   196105  767741   1324     24 53.77
1800.01/1800.60	c     2087  16992     3424   375562  109   197630  844516   2087     21 98.71
1800.01/1800.60	c     3233  16992     4570   444345   97   199910  928968   3233     16 192.18
1800.01/1800.60	c     4962  16992     6299   621716   98   203377  500000   4962     19 251.31
1800.01/1800.60	c     7553  16992     8890   881307   99   208557  550001   7553     22 335.31
1800.01/1800.60	c    11435  16992    12772  1266118   99   216323  605002  11435     24 468.08
1800.01/1800.60	c    17265  16992    18602  1793092   96   227983  665503  17265     23 740.50
1800.01/1800.60	c    26002  16992    27339  2298323   84   245457  732054  26002     23 1095.22
1800.01/1800.60	c    39128  16992    40465  2903490   71   271709  805260  39128     23 1655.76
1800.01/1800.60	c Caught signal: 15
1800.01/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.60	c   13    41356  16406   227504    42693  2977019  41356     22 1800.02
1800.01/1800.60	s UNKNOWN
1800.01/1800.60	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/node21/watcher-432682-1177947599 -o ROOT/results/node21/solver-432682-1177947599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432682-1177947599/instance-432682-1177947599.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.92 0.97 0.91 3/77 13698
/proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=12980 CPUtime=0
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242677232 13291520 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 3245 332 279 324 0 2004 0

[startup+0.0778089 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 13698
/proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=6680 CPUtime=0.06
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 841 0 0 0 6 0 0 0 18 0 1 0 242677232 6840320 811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 1670 811 372 324 0 429 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6680

[startup+0.101811 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 13698
/proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=7232 CPUtime=0.09
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 985 0 0 0 9 0 0 0 18 0 1 0 242677232 7405568 955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 1808 955 400 324 0 567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7232

[startup+0.301833 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 13698
/proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=14888 CPUtime=0.29
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3412 0 0 0 28 1 0 0 19 0 1 0 242677232 15245312 3031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 3722 3032 304 324 0 2792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14888

[startup+0.701876 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 13698
/proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=15732 CPUtime=0.69
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3590 0 0 0 68 1 0 0 22 0 1 0 242677232 16109568 3209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 3933 3209 304 324 0 3003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15732

[startup+1.50196 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1868152/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=15732 CPUtime=1.49
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3613 0 0 0 148 1 0 0 25 0 1 0 242677232 16109568 3232 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 3933 3232 304 324 0 3003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15732

[startup+3.10114 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1867192/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=16400 CPUtime=3.09
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4463 0 0 0 305 4 0 0 25 0 1 0 242677232 16793600 3404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4100 3404 310 324 0 3170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16400

[startup+6.30149 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1866936/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=16532 CPUtime=6.29
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4513 0 0 0 625 4 0 0 25 0 1 0 242677232 16928768 3454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4133 3454 310 324 0 3203 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16532

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1866808/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=16796 CPUtime=12.69
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4569 0 0 0 1265 4 0 0 25 0 1 0 242677232 17199104 3510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4199 3510 310 324 0 3269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16796

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1866744/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=16800 CPUtime=25.48
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4583 0 0 0 2544 4 0 0 25 0 1 0 242677232 17203200 3524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4200 3524 310 324 0 3270 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16800

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 13699
/proc/meminfo: memFree=1866104/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=17592 CPUtime=51.06
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4758 0 0 0 5102 4 0 0 25 0 1 0 242677232 18014208 3699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4398 3699 310 324 0 3468 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 17592

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1865464/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=18124 CPUtime=102.25
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4906 0 0 0 10221 4 0 0 25 0 1 0 242677232 18558976 3847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4531 3847 310 324 0 3601 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 18124

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1864504/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=19052 CPUtime=162.23
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 5142 0 0 0 16218 5 0 0 25 0 1 0 242677232 19509248 4083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4763 4083 310 324 0 3833 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 19052

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1863608/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=19976 CPUtime=222.21
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 5359 0 0 0 22216 5 0 0 25 0 1 0 242677232 20455424 4300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 4994 4300 310 324 0 4064 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 19976

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1860792/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=22756 CPUtime=282.2
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 6048 0 0 0 28214 6 0 0 25 0 1 0 242677232 23302144 4989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 5689 4989 310 324 0 4759 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22756

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1857976/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=25400 CPUtime=342.18
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 6730 0 0 0 34211 7 0 0 25 0 1 0 242677232 26009600 5671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 6350 5671 310 324 0 5420 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 25400

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1855992/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=27388 CPUtime=402.17
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 7223 0 0 0 40209 8 0 0 25 0 1 0 242677232 28045312 6164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 6847 6164 310 324 0 5917 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27388

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1853240/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=30300 CPUtime=462.16
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 7933 0 0 0 46207 9 0 0 25 0 1 0 242677232 31027200 6874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 7575 6874 310 324 0 6645 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 30300

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1850808/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=32548 CPUtime=522.14
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 8509 0 0 0 52204 10 0 0 25 0 1 0 242677232 33329152 7450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 8137 7450 310 324 0 7207 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 32548

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1849016/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=34404 CPUtime=582.12
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 8975 0 0 0 58201 11 0 0 25 0 1 0 242677232 35229696 7916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 8601 7916 310 324 0 7671 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 34404

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1847736/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=35588 CPUtime=642.11
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 9280 0 0 0 64199 12 0 0 25 0 1 0 242677232 36442112 8221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 8897 8221 310 324 0 7967 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 35588


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1842488/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=40888 CPUtime=822.06
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 10588 0 0 0 82192 14 0 0 25 0 1 0 242677232 41869312 9529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 10222 9529 310 324 0 9292 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 40888

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1841080/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=42216 CPUtime=882.05
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 10921 0 0 0 88190 15 0 0 25 0 1 0 242677232 43229184 9862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 10554 9862 310 324 0 9624 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 42216

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1840120/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=43140 CPUtime=942.02
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11147 0 0 0 94187 15 0 0 25 0 1 0 242677232 44175360 10088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 10785 10088 310 324 0 9855 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 43140

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1839352/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=43936 CPUtime=1002.01
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11351 0 0 0 100185 16 0 0 25 0 1 0 242677232 44990464 10292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 10984 10292 310 324 0 10054 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 43936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1838520/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=44732 CPUtime=1062
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11550 0 0 0 106183 17 0 0 25 0 1 0 242677232 45805568 10491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 11183 10491 310 324 0 10253 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 44732

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1837496/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=45792 CPUtime=1121.98
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11816 0 0 0 112181 17 0 0 25 0 1 0 242677232 46891008 10757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 11448 10757 310 324 0 10518 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 45792

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1836536/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=46716 CPUtime=1181.97
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12038 0 0 0 118179 18 0 0 25 0 1 0 242677232 47837184 10979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 11679 10979 310 324 0 10749 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 46716

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13701
/proc/meminfo: memFree=1835768/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=47504 CPUtime=1241.95
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12239 0 0 0 124176 19 0 0 25 0 1 0 242677232 48644096 11180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 11876 11180 310 324 0 10946 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 47504

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 13871
/proc/meminfo: memFree=1833160/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=48432 CPUtime=1301.85
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12463 0 0 0 130164 21 0 0 25 0 1 0 242677232 49594368 11404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 12108 11404 310 324 0 11178 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 48432

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1832888/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=49760 CPUtime=1361.82
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12792 0 0 0 136161 21 0 0 25 0 1 0 242677232 50954240 11733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 12440 11733 310 324 0 11510 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 49760

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1831672/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=50956 CPUtime=1421.8
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13114 0 0 0 142158 22 0 0 25 0 1 0 242677232 52178944 12055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 12739 12055 310 324 0 11809 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 50956

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 13899
/proc/meminfo: memFree=1830456/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=52148 CPUtime=1481.78
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13404 0 0 0 148155 23 0 0 25 0 1 0 242677232 53399552 12345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13037 12345 310 324 0 12107 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 52148

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1829560/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=53080 CPUtime=1541.77
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13638 0 0 0 154153 24 0 0 25 0 1 0 242677232 54353920 12579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13270 12579 310 324 0 12340 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 53080

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1828920/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=53876 CPUtime=1601.76
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13822 0 0 0 160151 25 0 0 25 0 1 0 242677232 55169024 12763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13469 12763 310 324 0 12539 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 53876

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1827832/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=54804 CPUtime=1661.74
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14081 0 0 0 166149 25 0 0 25 0 1 0 242677232 56119296 13022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13701 13022 310 324 0 12771 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 54804

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1827320/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=55336 CPUtime=1721.72
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14200 0 0 0 172147 25 0 0 25 0 1 0 242677232 56664064 13141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13834 13141 310 324 0 12904 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 55336

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1826744/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=55868 CPUtime=1781.71
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14339 0 0 0 178145 26 0 0 25 0 1 0 242677232 57208832 13280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 13967 13280 310 324 0 13037 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 55868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 13899
/proc/meminfo: memFree=1826616/2055920 swapFree=4156288/4192956
[pid=13698] ppid=13696 vsize=56000 CPUtime=1800.01
/proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14378 0 0 0 179975 26 0 0 25 0 1 0 242677232 57344000 13319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13698/statm: 14000 13319 310 324 0 13070 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56000

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.63
CPU time (s): 1800.03
CPU user time (s): 1799.75
CPU system time (s): 0.277957
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 56000

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

runsolver used 1.36379 second user time and 3.9434 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Apr 30 15:39:59 UTC 2007

IDJOB= 432682
IDBENCH= 1681
IDSOLVER= 199
FILE ID= node21/432682-1177947599

PBS_JOBID= 4727650

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f70781d9e1b73a3f03aa1ef3a5aa83c9

RANDOM SEED= 62601780

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1880280 kB
Buffers:         28868 kB
Cached:          57928 kB
SwapCached:      15000 kB
Active:          53224 kB
Inactive:        56484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880280 kB
SwapTotal:     4192956 kB
SwapFree:      4156288 kB
Dirty:            7916 kB
Writeback:           0 kB
Mapped:          29816 kB
Slab:            51424 kB
Committed_AS:  1987884 kB
PageTables:       1784 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= 66557 MiB

End job on node21 on Mon Apr 30 16:10:02 UTC 2007