Trace number 433178

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.23 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos6.opb
MD5SUM2a04555106a68acba17fb5820db41df1
Bench CategoryOPT-BIGINT (optimisation, big 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 variables21720
Total number of constraints1036
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)755
Number of constraints which are nor clauses,nor cardinality constraints233
Minimum length of a constraint6
Maximum length of a constraint840
Number of terms in the objective function 6690
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 239444426529
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 239444426529
Number of bits of the biggest sum of numbers38
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/433178-1177955999/instance-433178-1177955999.opb
0.00/0.00	c File size is 3098619 bytes.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.89/0.99	c Highest Coefficient sum: 2.39444e+11
0.89/0.99	c Parsing was ok!!
0.89/0.99	c Total parsing time: 0.995 s
0.99/1.01	c Var: 21720 Constr: 1259 48/755/456 Lit: 381780 Watch. Lit: 47421
0.99/1.01	c Obj. Vars: 6690 (30.8011 % of total variables)
13.28/13.39	c Pre-processing Time: 13.384 s
1800.05/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.80	c        0  21720     1171   355720  303   166710  843749      0      0 13.38
1800.05/1800.80	c      100  21720     1271   369888  291   278458  928124    100      6 14.52
1800.05/1800.80	c      254  21720     1425   487054  341   259481  500000    254     16 15.32
1800.05/1800.80	c      479  21720     1650   661026  400   253597  550001    479     30 15.56
1800.05/1800.80	c      817  21720     1988   923288  464   250405  605002    817     51 15.94
1800.05/1800.80	c     1326  21720     2497  1327934  531   247474  665503   1326     80 16.51
1800.05/1800.80	c     2091  21720     3262  1941731  595   248736  732054   2091    118 17.59
1800.05/1800.80	c     3246  21720     4417  2855561  646   251010  805260   3246    163 19.87
1800.05/1800.80	c     4970  21720     6141  4216448  686   254114  885787   4970    170 29.07
1800.05/1800.80	c     7554  21720     8725  6227071  713   256323  974366   7554    217 34.80
1800.05/1800.80	c    11435  21720    12606  9237765  732   263559  500000  11435    247 46.23
1800.05/1800.80	c    17258  21720    18429 13891265  753   275094  550001  17258    239 72.15
1800.05/1800.80	c    25996  21720    27167 20091043  739   291831  605002  25996    158 163.78
1800.05/1800.80	c    39109  21720    40280 30398378  754   317632  665503  39109    138 283.31
1800.05/1800.80	c    58779  21720    59950 45896968  765   356970  732054  58779    114 514.97
1800.05/1800.80	c    88290  21720    89461 69509747  776   415681  805260  88290     85 1026.67
1800.05/1800.80	c Caught signal: 15
1800.05/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.80	c   15   114915  21979   260725   116086 90816501 114915     63 1800.05
1800.05/1800.80	s UNKNOWN
1800.05/1800.80	c Total time: 1800.05 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/node13/watcher-433178-1177955999 -o ROOT/results/node13/solver-433178-1177955999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.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.77 0.94 0.93 3/77 11794
/proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=14764 CPUtime=0
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243517735 15118336 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 3691 332 279 324 0 2004 0

[startup+0.0383281 s]
/proc/loadavg: 0.77 0.94 0.93 3/77 11794
/proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=15408 CPUtime=0.03
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 549 0 0 0 3 0 0 0 18 0 1 0 243517735 15777792 519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 3852 520 307 324 0 2165 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15408

[startup+0.102341 s]
/proc/loadavg: 0.77 0.94 0.93 3/77 11794
/proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=16144 CPUtime=0.09
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 243517735 16531456 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 4036 732 349 324 0 2349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16144

[startup+0.301383 s]
/proc/loadavg: 0.77 0.94 0.93 3/77 11794
/proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=8964 CPUtime=0.29
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 243517735 9179136 1051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 2241 1051 488 324 0 554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8964

[startup+0.701469 s]
/proc/loadavg: 0.77 0.94 0.93 3/77 11794
/proc/meminfo: memFree=1840784/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=11468 CPUtime=0.69
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 2026 0 0 0 69 0 0 0 22 0 1 0 243517735 11743232 1996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12200511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 2867 1996 804 324 0 1180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11468

[startup+1.50164 s]
/proc/loadavg: 0.77 0.94 0.93 2/78 11795
/proc/meminfo: memFree=1834120/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=16232 CPUtime=1.49
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 4170 0 0 0 148 1 0 0 25 0 1 0 243517735 16621568 3343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 4058 3343 303 324 0 3128 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16232

[startup+3.10198 s]
/proc/loadavg: 0.77 0.94 0.93 2/78 11795
/proc/meminfo: memFree=1822600/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=21928 CPUtime=3.09
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 306 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 5482 4757 305 324 0 4552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21928

[startup+6.30166 s]
/proc/loadavg: 0.79 0.94 0.93 3/78 11795
/proc/meminfo: memFree=1822472/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=21928 CPUtime=6.29
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 626 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 5482 4757 305 324 0 4552 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21928

[startup+12.702 s]
/proc/loadavg: 0.81 0.94 0.93 2/78 11795
/proc/meminfo: memFree=1822536/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=21928 CPUtime=12.68
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 5797 0 0 0 1265 3 0 0 25 0 1 0 243517735 22454272 4757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 5482 4757 305 324 0 4552 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21928

[startup+25.5028 s]
/proc/loadavg: 0.85 0.94 0.93 2/78 11795
/proc/meminfo: memFree=1782536/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=62524 CPUtime=25.48
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 17368 0 0 0 2540 8 0 0 25 0 1 0 243517735 64024576 14952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 15631 14952 309 324 0 14701 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62524

[startup+51.1012 s]
/proc/loadavg: 0.90 0.95 0.93 2/78 11795
/proc/meminfo: memFree=1699720/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=146404 CPUtime=51.07
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 38347 0 0 0 5088 19 0 0 25 0 1 0 243517735 149917696 35931 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 36601 35931 309 324 0 35671 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 146404

[startup+102.305 s]
/proc/loadavg: 0.96 0.95 0.93 2/84 11965
/proc/meminfo: memFree=1601536/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=241304 CPUtime=102.18
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 62075 0 0 0 10187 31 0 0 25 0 1 0 243517735 247095296 59659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 60326 59659 309 324 0 59396 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 241304

[startup+162.302 s]
/proc/loadavg: 0.98 0.96 0.93 2/78 11993
/proc/meminfo: memFree=1574152/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=270092 CPUtime=162.14
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 69251 0 0 0 16178 36 0 0 25 0 1 0 243517735 276574208 66835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 67523 66835 309 324 0 66593 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 270092

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.93 2/78 11993
/proc/meminfo: memFree=1495752/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=347888 CPUtime=222.11
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 88720 0 0 0 22165 46 0 0 25 0 1 0 243517735 356237312 86304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 86972 86304 309 324 0 86042 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 347888

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1442760/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=401508 CPUtime=282.09
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 102109 0 0 0 28153 56 0 0 25 0 1 0 243517735 411144192 99693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 100377 99693 309 324 0 99447 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 401508

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1375560/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=467816 CPUtime=342.07
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 118704 0 0 0 34138 69 0 0 25 0 1 0 243517735 479043584 116288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 116954 116288 309 324 0 116024 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 467816

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1352584/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=491032 CPUtime=402.05
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 124480 0 0 0 40133 72 0 0 25 0 1 0 243517735 502816768 122064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 122758 122064 309 324 0 121828 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 491032

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1298056/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=545032 CPUtime=462.02
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 137990 0 0 0 46123 79 0 0 25 0 1 0 243517735 558112768 135574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 136258 135574 309 324 0 135328 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 545032

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1235912/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=607700 CPUtime=522.01
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 153671 0 0 0 52111 90 0 0 25 0 1 0 243517735 622284800 151255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 151925 151255 309 324 0 150995 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 607700

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1178312/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=664928 CPUtime=581.98
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 167972 0 0 0 58099 99 0 0 25 0 1 0 243517735 680886272 165556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 166232 165556 309 324 0 165302 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 664928

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1135688/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=706984 CPUtime=641.96
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 178470 0 0 0 64092 104 0 0 25 0 1 0 243517735 723951616 176054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 176746 176054 309 324 0 175816 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 706984


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=1013896/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=828192 CPUtime=881.87
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 208792 0 0 0 88063 124 0 0 25 0 1 0 243517735 848068608 206376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 207048 206376 309 324 0 206118 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 828192

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=982280/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=860080 CPUtime=941.85
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 216768 0 0 0 94055 130 0 0 25 0 1 0 243517735 880721920 214352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 215020 214352 309 324 0 214090 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 860080

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=950280/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=891608 CPUtime=1001.83
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 224644 0 0 0 100047 136 0 0 25 0 1 0 243517735 913006592 222228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 222902 222228 309 324 0 221972 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 891608

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=925512/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=916460 CPUtime=1061.81
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 230843 0 0 0 106042 139 0 0 25 0 1 0 243517735 938455040 228427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 229115 228427 309 324 0 228185 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 916460

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=903496/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=938156 CPUtime=1121.79
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 236270 0 0 0 112036 143 0 0 25 0 1 0 243517735 960671744 233854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 234539 233854 309 324 0 233609 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 938156

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=880520/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=961080 CPUtime=1181.76
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 241992 0 0 0 118029 147 0 0 25 0 1 0 243517735 984145920 239576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 240270 239576 309 324 0 239340 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 961080

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=863048/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=978360 CPUtime=1241.74
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 246315 0 0 0 124024 150 0 0 25 0 1 0 243517735 1001840640 243899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 244590 243899 309 324 0 243660 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 978360

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=822344/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1018704 CPUtime=1301.73
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 256404 0 0 0 130015 158 0 0 25 0 1 0 243517735 1043152896 253988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 254676 253988 309 324 0 253746 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1018704

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=803080/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1038136 CPUtime=1361.69
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 261257 0 0 0 136008 161 0 0 25 0 1 0 243517735 1063051264 258841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 259534 258841 309 324 0 258604 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1038136

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=780424/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1060368 CPUtime=1421.68
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 266843 0 0 0 142002 166 0 0 25 0 1 0 243517735 1085816832 264427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 265092 264427 309 324 0 264162 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1060368

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=765640/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1075324 CPUtime=1481.65
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 270581 0 0 0 147997 168 0 0 25 0 1 0 243517735 1101131776 268165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 268831 268165 309 324 0 267901 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1075324

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=753864/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1086920 CPUtime=1541.63
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 273457 0 0 0 153993 170 0 0 25 0 1 0 243517735 1113006080 271041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 271730 271041 309 324 0 270800 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 1086920

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 11993
/proc/meminfo: memFree=734088/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1106580 CPUtime=1601.6
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 278370 0 0 0 159988 172 0 0 25 0 1 0 243517735 1133137920 275954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 276645 275954 309 324 0 275715 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1106580

[startup+1662.3 s]
/proc/loadavg: 1.05 0.99 0.93 2/78 11993
/proc/meminfo: memFree=710088/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1130548 CPUtime=1661.58
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 284365 0 0 0 165981 177 0 0 25 0 1 0 243517735 1157681152 281949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 282637 281949 309 324 0 281707 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 1130548

[startup+1722.3 s]
/proc/loadavg: 1.02 0.99 0.93 2/78 11993
/proc/meminfo: memFree=690248/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1150544 CPUtime=1721.56
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 289379 0 0 0 171976 180 0 0 25 0 1 0 243517735 1178157056 286963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 287636 286963 309 324 0 286706 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 1150544

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 11993
/proc/meminfo: memFree=667848/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1172636 CPUtime=1781.54
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 294905 0 0 0 177970 184 0 0 25 0 1 0 243517735 1200779264 292489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 293159 292489 309 324 0 292229 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 1172636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 11993
/proc/meminfo: memFree=660616/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=1179528 CPUtime=1800.05
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194304 296623 0 0 0 179819 186 0 0 25 0 1 0 243517735 1207836672 294207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 294882 294207 309 324 0 293952 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1179528

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 11993
/proc/meminfo: memFree=660616/2055920 swapFree=4159412/4192956
[pid=11794] ppid=11792 vsize=0 CPUtime=1800.14
/proc/11794/stat : 11794 (bsolo3.0.17) R 11792 11794 11731 0 -1 4194308 296627 0 0 0 179819 195 0 0 25 0 1 0 243517735 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/11794/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.99
CPU time (s): 1800.23
CPU user time (s): 1798.19
CPU system time (s): 2.04269
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 1179528

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

runsolver used 1.40779 second user time and 3.89341 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Apr 30 17:59:59 UTC 2007

IDJOB= 433178
IDBENCH= 2331
IDSOLVER= 199
FILE ID= node13/433178-1177955999

PBS_JOBID= 4727729

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-433178-1177955999 -o ROOT/results/node13/solver-433178-1177955999 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433178-1177955999/instance-433178-1177955999.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2a04555106a68acba17fb5820db41df1

RANDOM SEED= 296937304

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1841256 kB
Buffers:         10792 kB
Cached:         122808 kB
SwapCached:      12736 kB
Active:          53196 kB
Inactive:       103420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841256 kB
SwapTotal:     4192956 kB
SwapFree:      4159412 kB
Dirty:            9808 kB
Writeback:           0 kB
Mapped:          29956 kB
Slab:            43464 kB
Committed_AS:  6962832 kB
PageTables:       1872 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 node13 on Mon Apr 30 18:30:02 UTC 2007