Trace number 432652

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

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-ship08s.opb
MD5SUM86f5ae05f91cc0663afe4f54ca2c84e2
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 variables71610
Total number of constraints704
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 constraints704
Minimum length of a constraint30
Maximum length of a constraint1830
Number of terms in the objective function 71610
Biggest coefficient in the objective function 2031
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 584663
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 584663
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/432652-1177947271/instance-432652-1177947271.opb
0.00/0.00	c File size is 2961239 bytes.
0.59/0.62	c Highest Coefficient sum: 584663
0.59/0.62	c Parsing was ok!!
0.59/0.62	c Total parsing time: 0.621 s
0.59/0.65	c Var: 71610 Constr: 1336 563/0/773 Lit: 349830 Watch. Lit: 81642
0.59/0.65	c Obj. Vars: 71610 (100 % of total variables)
37.08/37.15	c Pre-processing Time: 37.136 s
37.08/37.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.08/37.15	c        0  32208      910   312090  342   110611  548576      0      0 37.14
37.08/37.15	c Switching off LPR mode.
1800.01/1800.61	c      100  32208     1010   315127  312   212337  603434    100      2 38.99
1800.01/1800.61	c      250  32208     1160   321401  277   212715  663778    250      5 44.64
1800.01/1800.61	c      475  32208     1385   328684  237   213072  730156    475      7 64.92
1800.01/1800.61	c      813  32208     1723   345284  200   213978  803172    813     11 71.91
1800.01/1800.61	c     1321  32208     2231   362811  162   214815  883490   1321     17 74.94
1800.01/1800.61	c     2085  32208     2995   389583  130   216406  971840   2085     26 77.40
1800.01/1800.61	c     3231  32208     4141   459440  110   218628  500000   3231     37 86.41
1800.01/1800.61	c     4952  32208     5862   520923   88   222099  550001   4952     53 92.47
1800.01/1800.61	c     7536  32208     8446   697370   82   226988  605002   7536     66 113.88
1800.01/1800.61	c    11415  32208    12325   960334   77   234713  665503  11415     85 133.12
1800.01/1800.61	c    17237  32208    18147  1236497   68   246381  732054  17237    107 160.53
1800.01/1800.61	c    25975  32208    26885  1598757   59   263868  805260  25975    135 191.74
1800.01/1800.61	c    39085  32208    39995  2368805   59   288753  885787  39085    124 313.94
1800.01/1800.61	c    58756  32208    59666  3100978   51   328024  974366  58756    145 402.74
1800.01/1800.61	c    88266  32208    89176  4190529   46   386729  500000  88266    167 528.14
1800.01/1800.61	c   132536  32208   133446  5845758   43   474938  550001 132536    124 1060.32
1800.01/1800.61	c Caught signal: 15
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   16   197703 116686  1836844   198613  8371386 197703    109 1800.02
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	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/node27/watcher-432652-1177947271 -o ROOT/results/node27/solver-432652-1177947271 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432652-1177947271/instance-432652-1177947271.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.94 3/65 23829
/proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=14628 CPUtime=0
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 207423010 14979072 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 3657 333 279 324 0 2004 0

[startup+0.089904 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 23829
/proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=17740 CPUtime=0.08
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 1301 0 0 0 8 0 0 0 18 0 1 0 207423010 18165760 1152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 4435 1152 383 324 0 2782 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17740

[startup+0.101904 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 23829
/proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=18416 CPUtime=0.09
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 1488 0 0 0 9 0 0 0 18 0 1 0 207423010 18857984 1339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 4604 1346 398 324 0 2951 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18416

[startup+0.301923 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 23829
/proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=14668 CPUtime=0.28
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 2828 0 0 0 28 0 0 0 19 0 1 0 207423010 15020032 2630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 3667 2630 627 324 0 2014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14668

[startup+0.701964 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 23829
/proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=21928 CPUtime=0.68
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 5622 0 0 0 67 1 0 0 22 0 1 0 207423010 22454272 4701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 5482 4701 304 324 0 4552 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21928

[startup+1.50104 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1761760/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24836 CPUtime=1.48
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 142 6 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6209 5431 306 324 0 5279 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24836

[startup+3.10121 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1758496/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24836 CPUtime=3.09
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 302 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6209 5431 306 324 0 5279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24836

[startup+6.30153 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1758560/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24836 CPUtime=6.29
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 622 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6209 5431 306 324 0 5279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24836

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1758624/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24836 CPUtime=12.68
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 1261 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6209 5431 306 324 0 5279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24836

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1758624/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24836 CPUtime=25.48
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 2540 8 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6209 5431 306 324 0 5279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24836

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1758880/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=24772 CPUtime=51.07
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7326 0 0 0 5099 8 0 0 25 0 1 0 207423010 25366528 5425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 6193 5425 310 324 0 5263 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24772

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1754784/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=28916 CPUtime=102.27
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 8371 0 0 0 10218 9 0 0 25 0 1 0 207423010 29609984 6470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 7229 6470 310 324 0 6299 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28916

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1745440/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=38252 CPUtime=162.24
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 10703 0 0 0 16214 10 0 0 25 0 1 0 207423010 39170048 8802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 9563 8802 310 324 0 8633 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38252

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1737120/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=46396 CPUtime=222.23
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 12745 0 0 0 22211 12 0 0 25 0 1 0 207423010 47509504 10844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 11599 10844 310 324 0 10669 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46396

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1731552/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=51972 CPUtime=282.21
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 14135 0 0 0 28208 13 0 0 25 0 1 0 207423010 53219328 12234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 12993 12234 310 324 0 12063 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 51972

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1724192/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=59340 CPUtime=342.2
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 15972 0 0 0 34205 15 0 0 25 0 1 0 207423010 60764160 14071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 14835 14071 310 324 0 13905 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59340

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1717152/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=66332 CPUtime=402.17
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 17737 0 0 0 40201 16 0 0 25 0 1 0 207423010 67923968 15836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 16583 15836 310 324 0 15653 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 66332

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1709024/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=74464 CPUtime=462.16
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 19744 0 0 0 46197 19 0 0 25 0 1 0 207423010 76251136 17843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 18616 17843 310 324 0 17686 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 74464

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1700640/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=82848 CPUtime=522.14
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 21855 0 0 0 52193 21 0 0 25 0 1 0 207423010 84836352 19954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 20712 19954 310 324 0 19782 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 82848

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1697824/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=85564 CPUtime=582.13
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 22536 0 0 0 58191 22 0 0 25 0 1 0 207423010 87617536 20635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 21391 20635 310 324 0 20461 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 85564

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1694624/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=88784 CPUtime=642.11
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 23328 0 0 0 64188 23 0 0 25 0 1 0 207423010 90914816 21427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 22196 21427 310 324 0 21266 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 88784


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1685408/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=97940 CPUtime=822.06
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 25644 0 0 0 82179 27 0 0 25 0 1 0 207423010 100290560 23743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 24485 23743 310 324 0 23555 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 97940

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1682400/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=101032 CPUtime=882.04
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 26399 0 0 0 88177 27 0 0 25 0 1 0 207423010 103456768 24498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 25258 24498 310 324 0 24328 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 101032

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1679456/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=103996 CPUtime=942.03
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 27145 0 0 0 94174 29 0 0 25 0 1 0 207423010 106491904 25244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 25999 25244 310 324 0 25069 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 103996

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1676512/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=106828 CPUtime=1002.01
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 27865 0 0 0 100171 30 0 0 25 0 1 0 207423010 109391872 25964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 26707 25964 310 324 0 25777 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 106828

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1673504/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=109928 CPUtime=1062
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 28623 0 0 0 106168 32 0 0 25 0 1 0 207423010 112566272 26722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 27482 26722 310 324 0 26552 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 109928

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1672160/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=111220 CPUtime=1121.97
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 28952 0 0 0 112165 32 0 0 25 0 1 0 207423010 113889280 27051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 27805 27051 310 324 0 26875 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 111220

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1669088/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=114312 CPUtime=1181.96
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 29720 0 0 0 118163 33 0 0 25 0 1 0 207423010 117055488 27819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 28578 27819 310 324 0 27648 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 114312

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1666016/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=117276 CPUtime=1241.94
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 30470 0 0 0 124160 34 0 0 25 0 1 0 207423010 120090624 28569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 29319 28569 310 324 0 28389 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 117276

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1663072/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=120244 CPUtime=1301.93
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 31198 0 0 0 130158 35 0 0 25 0 1 0 207423010 123129856 29297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 30061 29297 310 324 0 29131 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 120244

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1660128/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=123208 CPUtime=1361.91
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 31935 0 0 0 136155 36 0 0 25 0 1 0 207423010 126164992 30034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 30802 30034 310 324 0 29872 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 123208

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1657248/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=126044 CPUtime=1421.9
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 32662 0 0 0 142153 37 0 0 25 0 1 0 207423010 129069056 30761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 31511 30761 310 324 0 30581 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 126044

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1654304/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=129004 CPUtime=1481.88
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 33396 0 0 0 148150 38 0 0 25 0 1 0 207423010 132100096 31495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 32251 31495 310 324 0 31321 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 129004

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 23830
/proc/meminfo: memFree=1651424/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=131844 CPUtime=1541.86
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 34106 0 0 0 154147 39 0 0 25 0 1 0 207423010 135008256 32205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 32961 32205 310 324 0 32031 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 131844

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/72 23904
/proc/meminfo: memFree=1647336/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=134680 CPUtime=1601.82
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 34822 0 0 0 160142 40 0 0 25 0 1 0 207423010 137912320 32921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 33670 32921 310 324 0 32740 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 134680

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 24028
/proc/meminfo: memFree=1645536/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=137516 CPUtime=1661.74
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 35520 0 0 0 166134 40 0 0 25 0 1 0 207423010 140816384 33619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 34379 33619 310 324 0 33449 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 137516

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 24028
/proc/meminfo: memFree=1642912/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=140224 CPUtime=1721.72
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 36185 0 0 0 172131 41 0 0 25 0 1 0 207423010 143589376 34284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 35056 34284 310 324 0 34126 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 140224

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 24028
/proc/meminfo: memFree=1636384/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=146672 CPUtime=1781.7
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 37819 0 0 0 178128 42 0 0 25 0 1 0 207423010 150192128 35918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 36668 35918 310 324 0 35738 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 146672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 24028
/proc/meminfo: memFree=1633888/2055920 swapFree=4182924/4192956
[pid=23829] ppid=23827 vsize=149120 CPUtime=1800.01
/proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 38426 0 0 0 179958 43 0 0 25 0 1 0 207423010 152698880 36525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23829/statm: 37280 36525 310 324 0 36350 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149120

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.64
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45793
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 149120

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

runsolver used 1.45478 second user time and 3.52046 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 30 15:34:31 UTC 2007

IDJOB= 432652
IDBENCH= 1651
IDSOLVER= 199
FILE ID= node27/432652-1177947271

PBS_JOBID= 4727636

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  86f5ae05f91cc0663afe4f54ca2c84e2

RANDOM SEED= 715354908

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1779968 kB
Buffers:         31556 kB
Cached:         166200 kB
SwapCached:       4068 kB
Active:          63724 kB
Inactive:       143884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779968 kB
SwapTotal:     4192956 kB
SwapFree:      4182924 kB
Dirty:            9476 kB
Writeback:           0 kB
Mapped:          15732 kB
Slab:            54376 kB
Committed_AS:  2310708 kB
PageTables:       1412 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= 66555 MiB

End job on node27 on Mon Apr 30 16:04:34 UTC 2007