Trace number 432703

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17? (TO) 1800.1 1800.68

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-pilot4.opb
MD5SUM65e439e03cbe6c14c849336d6093c9a6
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 variables26494
Total number of constraints657
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 constraints657
Minimum length of a constraint10
Maximum length of a constraint1427
Number of terms in the objective function 120
Biggest coefficient in the objective function 65537
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524404
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525515
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/432703-1177948071/instance-432703-1177948071.opb
0.00/0.00	c File size is 1376611 bytes.
0.19/0.26	c Highest Coefficient sum: 525515
0.19/0.26	c Parsing was ok!!
0.19/0.26	c Total parsing time: 0.263 s
0.19/0.28	c Var: 26494 Constr: 944 11/0/933 Lit: 197708 Watch. Lit: 42540
0.19/0.28	c Obj. Vars: 120 (0.452933 % of total variables)
10.09/10.19	c Pre-processing Time: 10.191 s
10.09/10.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.19	c        0  22734      911   193431  212    91322  386562      0      0 10.19
10.09/10.19	c Switching off LPR mode.
1800.03/1800.60	c      100  22734     1011   206343  204   102819  425219    100      9 10.28
1800.03/1800.60	c      250  22734     1161   226856  195   106676  467741    250     24 10.37
1800.03/1800.60	c      476  22734     1387   250631  180   112894  514516    476     45 10.49
1800.03/1800.60	c      815  22734     1726   267129  154   113533  565968    815     76 10.60
1800.03/1800.60	c     1323  22734     2234   294005  131   115442  622565   1323    122 10.80
1800.03/1800.60	c     2086  22734     2997   364915  121   124895  684822   2086    185 11.27
1800.03/1800.60	c     3242  22734     4153   473087  113   127699  753305   3242    275 11.78
1800.03/1800.60	c     4964  22734     5875   606141  103   149196  828636   4964    385 12.86
1800.03/1800.60	c     7549  22734     8460   711421   84   163315  911500   7549    528 14.27
1800.03/1800.60	c    11430  22734    12341   915300   74   171212  500000  11430    634 18.01
1800.03/1800.60	c    17253  22734    18164  1226541   67   188408  550001  17253    719 23.99
1800.03/1800.60	c    25990  22734    26901  1790334   66   206920  605002  25990    674 38.53
1800.03/1800.60	c    39100  22734    40011  2365293   59   233891  665503  39100    590 66.19
1800.03/1800.60	c    58771  22734    59682  3507926   58   273122  732054  58771    551 106.65
1800.03/1800.60	c    88282  22734    89193  4948193   55   332165  805260  88282    504 174.97
1800.03/1800.60	c   132553  22734   133464  7129686   53   436598  885787 132553    522 253.71
1800.03/1800.60	c   198964  22734   199875 10455065   52   570903  974366 198964    398 499.67
1800.03/1800.60	c   298584  22734   299495 15933825   53   774438  500000 298584    432 690.62
1800.03/1800.60	c   448019  22734   448930 22762824   50  1072843  550001 448019    310 1443.70
1800.03/1800.60	c Caught signal: 15
1800.03/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.60	c   19   487153 145367  1073309   488064 24682408 487153    270 1800.04
1800.03/1800.60	s UNKNOWN
1800.03/1800.60	c Total time: 1800.04 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/node60/watcher-432703-1177948071 -o ROOT/results/node60/solver-432703-1177948071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.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.98 0.92 3/64 31950
/proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=20896 CPUtime=0
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242717082 21397504 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3271 331 279 324 0 2004 0

[startup+0.038565 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 31950
/proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=6112 CPUtime=0.03
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 613 0 0 0 3 0 0 0 18 0 1 0 242717082 6258688 583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 1528 583 325 324 0 261 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6112

[startup+0.102572 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 31950
/proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=6920 CPUtime=0.09
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 242717082 7086080 867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 1730 867 409 324 0 463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6920

[startup+0.301592 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 31950
/proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=12640 CPUtime=0.29
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 2810 0 0 0 29 0 0 0 19 0 1 0 242717082 12943360 2403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3160 2403 304 324 0 2230 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12640

[startup+0.70163 s]
/proc/loadavg: 0.92 0.98 0.92 3/64 31950
/proc/meminfo: memFree=1858456/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=13960 CPUtime=0.69
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3152 0 0 0 67 2 0 0 22 0 1 0 242717082 14295040 2745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3490 2745 304 324 0 2560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13960

[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1848592/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=14224 CPUtime=1.49
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3232 0 0 0 146 3 0 0 25 0 1 0 242717082 14565376 2825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3556 2825 304 324 0 2626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14224

[startup+3.10187 s]
/proc/loadavg: 0.92 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1846096/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=15708 CPUtime=3.09
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3851 0 0 0 306 3 0 0 25 0 1 0 242717082 16084992 3184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3927 3184 306 324 0 2997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15708

[startup+6.30118 s]
/proc/loadavg: 0.93 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1846544/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=15708 CPUtime=6.29
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 3851 0 0 0 626 3 0 0 25 0 1 0 242717082 16084992 3184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 3927 3184 306 324 0 2997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15708

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1844184/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=19900 CPUtime=12.69
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 4916 0 0 0 1264 5 0 0 25 0 1 0 242717082 20377600 4249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 4975 4249 310 324 0 4045 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19900

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1831768/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=30920 CPUtime=25.49
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 7673 0 0 0 2543 6 0 0 25 0 1 0 242717082 31662080 7006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 7730 7006 310 324 0 6800 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30920

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1821080/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=41568 CPUtime=51.07
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 10313 0 0 0 5099 8 0 0 25 0 1 0 242717082 42565632 9646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 10392 9646 310 324 0 9462 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41568

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1800728/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=61708 CPUtime=102.26
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 15353 0 0 0 10213 13 0 0 25 0 1 0 242717082 63188992 14686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 15427 14686 310 324 0 14497 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61708

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1781144/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=81312 CPUtime=162.24
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 20276 0 0 0 16206 18 0 0 25 0 1 0 242717082 83263488 19609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 20328 19609 310 324 0 19398 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 81312

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1755224/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=107012 CPUtime=222.22
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 26696 0 0 0 22199 23 0 0 25 0 1 0 242717082 109580288 26029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 26753 26029 310 324 0 25823 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 107012

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1735320/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=127032 CPUtime=282.21
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 31709 0 0 0 28193 28 0 0 25 0 1 0 242717082 130080768 31042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 31758 31042 310 324 0 30828 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127032

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1720216/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=142020 CPUtime=342.19
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 35425 0 0 0 34187 32 0 0 25 0 1 0 242717082 145428480 34758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 35505 34758 310 324 0 34575 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 142020

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1710104/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=152160 CPUtime=402.18
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 37971 0 0 0 40183 35 0 0 25 0 1 0 242717082 155811840 37304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 38040 37304 310 324 0 37110 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 152160

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1699224/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=162836 CPUtime=462.16
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 40653 0 0 0 46177 39 0 0 25 0 1 0 242717082 166744064 39986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 40709 39986 310 324 0 39779 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 162836

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1683992/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=178276 CPUtime=522.15
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 44506 0 0 0 52173 42 0 0 25 0 1 0 242717082 182554624 43839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 44569 43839 310 324 0 43639 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 178276

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1648344/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=213684 CPUtime=582.14
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 53362 0 0 0 58163 51 0 0 25 0 1 0 242717082 218812416 52695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 53421 52695 310 324 0 52491 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 213684

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 31951
/proc/meminfo: memFree=1630296/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=231568 CPUtime=642.12
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 57830 0 0 0 64158 54 0 0 25 0 1 0 242717082 237125632 57163 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 57892 57163 310 324 0 56962 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 231568


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/71 32115
/proc/meminfo: memFree=1585872/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=274576 CPUtime=821.99
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 68586 0 0 0 82133 66 0 0 25 0 1 0 242717082 281165824 67919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 68644 67919 310 324 0 67714 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 274576

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 32149
/proc/meminfo: memFree=1578008/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=283516 CPUtime=881.95
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 70806 0 0 0 88127 68 0 0 25 0 1 0 242717082 290320384 70139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 70879 70139 310 324 0 69949 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 283516

[startup+942.302 s]
/proc/loadavg: 1.05 1.00 0.93 2/65 32149
/proc/meminfo: memFree=1569816/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=291692 CPUtime=941.93
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 72853 0 0 0 94123 70 0 0 25 0 1 0 242717082 298692608 72186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 72923 72186 310 324 0 71993 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 291692

[startup+1002.3 s]
/proc/loadavg: 1.07 1.01 0.93 2/65 32149
/proc/meminfo: memFree=1560920/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=300524 CPUtime=1001.92
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 75056 0 0 0 100119 73 0 0 25 0 1 0 242717082 307736576 74389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 75131 74389 310 324 0 74201 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 300524

[startup+1062.3 s]
/proc/loadavg: 1.07 1.02 0.94 2/65 32149
/proc/meminfo: memFree=1552728/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=308680 CPUtime=1061.91
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 77113 0 0 0 106115 76 0 0 25 0 1 0 242717082 316088320 76446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 77170 76446 310 324 0 76240 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 308680

[startup+1122.3 s]
/proc/loadavg: 1.10 1.05 0.95 2/65 32149
/proc/meminfo: memFree=1543256/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=318124 CPUtime=1121.89
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 79472 0 0 0 112110 79 0 0 25 0 1 0 242717082 325758976 78805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 79531 78805 310 324 0 78601 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 318124

[startup+1182.3 s]
/proc/loadavg: 1.04 1.04 0.95 2/65 32149
/proc/meminfo: memFree=1534552/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=326936 CPUtime=1181.88
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 81657 0 0 0 118107 81 0 0 25 0 1 0 242717082 334782464 80990 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 81734 80990 310 324 0 80804 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 326936

[startup+1242.3 s]
/proc/loadavg: 1.01 1.03 0.95 2/65 32149
/proc/meminfo: memFree=1527000/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=334312 CPUtime=1241.86
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 83520 0 0 0 124104 82 0 0 25 0 1 0 242717082 342335488 82853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 83578 82853 310 324 0 82648 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 334312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 32149
/proc/meminfo: memFree=1521496/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=339824 CPUtime=1301.85
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 84885 0 0 0 130101 84 0 0 25 0 1 0 242717082 347979776 84218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 84956 84218 310 324 0 84026 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 339824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 32149
/proc/meminfo: memFree=1515800/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=345472 CPUtime=1361.83
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 86319 0 0 0 136097 86 0 0 25 0 1 0 242717082 353763328 85652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 86368 85652 310 324 0 85438 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 345472

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 32149
/proc/meminfo: memFree=1509464/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=351788 CPUtime=1421.82
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 87901 0 0 0 142094 88 0 0 25 0 1 0 242717082 360230912 87234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 87947 87234 310 324 0 87017 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 351788

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1504280/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=357060 CPUtime=1481.8
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 89202 0 0 0 148090 90 0 0 25 0 1 0 242717082 365629440 88535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 89265 88535 310 324 0 88335 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 357060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1498776/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=362412 CPUtime=1541.78
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 90556 0 0 0 154087 91 0 0 25 0 1 0 242717082 371109888 89889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 90603 89889 310 324 0 89673 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 362412

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32149
/proc/meminfo: memFree=1493592/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=367644 CPUtime=1601.77
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 91864 0 0 0 160083 94 0 0 25 0 1 0 242717082 376467456 91197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 91911 91197 310 324 0 90981 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 367644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1488536/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=372732 CPUtime=1661.76
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 93108 0 0 0 166080 96 0 0 25 0 1 0 242717082 381677568 92441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 93183 92441 310 324 0 92253 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 372732

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1483928/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=377276 CPUtime=1721.74
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 94267 0 0 0 172077 97 0 0 25 0 1 0 242717082 386330624 93600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 94319 93600 310 324 0 93389 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 377276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1479640/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=381564 CPUtime=1781.73
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 95319 0 0 0 178074 99 0 0 25 0 1 0 242717082 390721536 94652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 95391 94652 310 324 0 94461 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 381564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 32149
/proc/meminfo: memFree=1478104/2055920 swapFree=4183304/4192956
[pid=31950] ppid=31948 vsize=383004 CPUtime=1800.03
/proc/31950/stat : 31950 (bsolo3.0.17) R 31948 31950 31193 0 -1 4194304 95687 0 0 0 179903 100 0 0 25 0 1 0 242717082 392196096 95020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31950/statm: 95751 95020 310 324 0 94821 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 383004

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.68
CPU time (s): 1800.1
CPU user time (s): 1799.04
CPU system time (s): 1.06284
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 383004

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

runsolver used 1.36479 second user time and 3.61245 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Apr 30 15:47:51 UTC 2007

IDJOB= 432703
IDBENCH= 1702
IDSOLVER= 199
FILE ID= node60/432703-1177948071

PBS_JOBID= 4727538

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-pilot4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-432703-1177948071 -o ROOT/results/node60/solver-432703-1177948071 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432703-1177948071/instance-432703-1177948071.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  65e439e03cbe6c14c849336d6093c9a6

RANDOM SEED= 519061118

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1858864 kB
Buffers:         16156 kB
Cached:         105700 kB
SwapCached:       3672 kB
Active:          25580 kB
Inactive:       106012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858864 kB
SwapTotal:     4192956 kB
SwapFree:      4183304 kB
Dirty:            7932 kB
Writeback:           0 kB
Mapped:          15748 kB
Slab:            51448 kB
Committed_AS:  2705152 kB
PageTables:       1464 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 node60 on Mon Apr 30 16:17:54 UTC 2007