Trace number 2703688

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (exit code) 534.06 534.202

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos15.opb
MD5SUMd360a4da18a1223a5a3c77027ac256df
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2593180922877200009284
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20742332700051198
Optimality of the best value was proved NO
Number of variables17600
Total number of constraints632
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 constraints632
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 10400
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 77389326876814400021856
Number of bits of the sum of numbers in the objective function 77
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 77389326876814400021856
Number of bits of the biggest sum of numbers77
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703688-1278557652.opb>
0.09/0.17	c [src/scip/reader_opb.c:3100] Warning: there might be <720> coefficients or weight out of range!
0.09/0.17	c original problem has 17600 variables (17600 bin, 0 int, 0 impl, 0 cont) and 632 constraints
0.09/0.17	c problem read
0.09/0.17	c presolving settings loaded
0.29/0.34	c presolving:
0.29/0.39	c (round 1) 2324 del vars, 0 del conss, 2320 chg bounds, 80 chg sides, 80 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.42	c (round 2) 2778 del vars, 0 del conss, 2774 chg bounds, 80 chg sides, 157 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.47	c (round 3) 2778 del vars, 0 del conss, 2774 chg bounds, 80 chg sides, 157 chg coeffs, 312 upgd conss, 0 impls, 0 clqs
0.49/0.56	c (round 4) 2778 del vars, 0 del conss, 2774 chg bounds, 115 chg sides, 4866 chg coeffs, 392 upgd conss, 8000 impls, 0 clqs
1.19/1.24	c (round 5) 2828 del vars, 0 del conss, 2774 chg bounds, 115 chg sides, 4866 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
1.19/1.27	c (round 6) 2838 del vars, 0 del conss, 2784 chg bounds, 145 chg sides, 4896 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
1.19/1.29	c (round 7) 2838 del vars, 0 del conss, 2784 chg bounds, 189 chg sides, 4940 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
1.39/1.47	c (round 8) 2912 del vars, 0 del conss, 2784 chg bounds, 189 chg sides, 4940 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
1.49/1.50	c (round 9) 2912 del vars, 0 del conss, 2784 chg bounds, 245 chg sides, 4996 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
2.10/2.12	c    (2.0s) probing: 449/14822 (3.0%) - 140 fixings, 0 aggregations, 220 implications, 0 bound changes
2.10/2.12	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.10/2.12	c (round 10) 2928 del vars, 0 del conss, 2784 chg bounds, 245 chg sides, 4996 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
2.10/2.14	c (round 11) 2928 del vars, 0 del conss, 2784 chg bounds, 265 chg sides, 5016 chg coeffs, 392 upgd conss, 10360 impls, 0 clqs
2.10/2.18	c    (2.0s) probing: 459/14822 (3.1%) - 140 fixings, 0 aggregations, 220 implications, 0 bound changes
2.10/2.18	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.10/2.19	c presolving (12 rounds):
2.10/2.19	c  2928 deleted vars, 0 deleted constraints, 2784 tightened bounds, 0 added holes, 265 changed sides, 5016 changed coefficients
2.10/2.19	c  10360 implications, 0 cliques
2.10/2.19	c presolved problem has 14672 variables (14672 bin, 0 int, 0 impl, 0 cont) and 632 constraints
2.10/2.19	c     392 constraints of type <knapsack>
2.10/2.19	c     240 constraints of type <linear>
2.10/2.19	c transformed objective value is always integral (scale: 1)
2.10/2.19	c Presolving Time: 1.94
2.10/2.19	c - non default parameters ----------------------------------------------------------------------
2.10/2.19	c # SCIP version 1.2.1.3
2.10/2.19	c 
2.10/2.19	c # frequency for displaying node information lines
2.10/2.19	c # [type: int, range: [-1,2147483647], default: 100]
2.10/2.19	c display/freq = 10000
2.10/2.19	c 
2.10/2.19	c # maximal time in seconds to run
2.10/2.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.10/2.19	c limits/time = 1789.84
2.10/2.19	c 
2.10/2.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.10/2.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.10/2.19	c limits/memory = 1620
2.10/2.19	c 
2.10/2.19	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.10/2.19	c # [type: int, range: [1,2], default: 1]
2.10/2.19	c timing/clocktype = 2
2.10/2.19	c 
2.10/2.19	c # should presolving try to simplify inequalities
2.10/2.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.10/2.19	c constraints/linear/simplifyinequalities = TRUE
2.10/2.19	c 
2.10/2.19	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.10/2.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.10/2.19	c constraints/indicator/addCouplingCons = TRUE
2.10/2.19	c 
2.10/2.19	c # should presolving try to simplify knapsacks
2.10/2.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.10/2.19	c constraints/knapsack/simplifyinequalities = TRUE
2.10/2.19	c 
2.10/2.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.10/2.19	c # [type: int, range: [-1,2147483647], default: -1]
2.10/2.19	c separating/rapidlearning/freq = 0
2.10/2.19	c 
2.10/2.19	c -----------------------------------------------------------------------------------------------
2.10/2.19	c start solving
2.10/2.20	c 
2.29/2.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.29/2.36	c   2.2s|     1 |     2 |  1310 |     - |  50M|   0 |   - |  14k| 632 |  14k| 632 |   0 |   0 |   0 | 4.784128e+14 |      --      |    Inf 
533.95/534.19	c [src/scip/lpi_spx.cpp:2685] ERROR: SCIPlpiGetPrimalRay() not supported by SoPlex
533.95/534.19	c [src/scip/lp.c:12617] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/lp.c:11417] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/solve.c:801] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/solve.c:1912] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/solve.c:2591] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/solve.c:3206] ERROR: Error <-6> in function call
533.95/534.19	c [src/scip/scip.c:6312] ERROR: Error <-6> in function call
533.95/534.19	c [src/cmain.c:674] ERROR: Error <-6> in function call
533.95/534.19	c [src/cmain.c:849] ERROR: Error <-6> in function call
533.95/534.19	c [src/cmain.c:925] ERROR: Error <-6> in function call
533.95/534.19	c SCIP Error (-6): c error in LP solverc 
533.95/534.19	c Time complete: 534.04.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703688-1278557652/watcher-2703688-1278557652 -o /tmp/evaluation-result-2703688-1278557652/solver-2703688-1278557652 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703688-1278557652.opb -t 1800 -m 1800 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.99 0.97 3/106 28871
/proc/meminfo: memFree=1842848/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=7904 CPUtime=0
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 1040 0 0 0 0 0 0 0 19 0 1 0 23975814 8093696 951 1992294400 4194304 8395647 140735455615504 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28871/statm: 1976 960 365 1026 0 946 0

[startup+0.026989 s]
/proc/loadavg: 0.94 0.99 0.97 3/106 28871
/proc/meminfo: memFree=1842848/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=12916 CPUtime=0.02
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 2511 0 0 0 2 0 0 0 21 0 1 0 23975814 13225984 2421 1992294400 4194304 8395647 140735455615504 18446744073709551615 6765709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28871/statm: 3229 2421 387 1026 0 2199 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12916

[startup+0.100996 s]
/proc/loadavg: 0.94 0.99 0.97 3/106 28871
/proc/meminfo: memFree=1842848/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=21908 CPUtime=0.09
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 4799 0 0 0 8 1 0 0 21 0 1 0 23975814 22433792 4704 1992294400 4194304 8395647 140735455615504 18446744073709551615 4327576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28871/statm: 5477 4704 394 1026 0 4447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21908

[startup+0.301012 s]
/proc/loadavg: 0.94 0.99 0.97 3/106 28871
/proc/meminfo: memFree=1842848/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=44588 CPUtime=0.29
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 10763 0 0 0 26 3 0 0 21 0 1 0 23975814 45658112 10314 1992294400 4194304 8395647 140735455615504 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 11147 10314 432 1026 0 10117 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44588

[startup+0.701047 s]
/proc/loadavg: 0.94 0.99 0.97 3/106 28871
/proc/meminfo: memFree=1842848/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=63048 CPUtime=0.69
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 15202 0 0 0 65 4 0 0 22 0 1 0 23975814 64561152 14691 1992294400 4194304 8395647 140735455615504 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 15762 14691 510 1026 0 14732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63048

[startup+1.50112 s]
/proc/loadavg: 0.94 0.99 0.97 2/107 28872
/proc/meminfo: memFree=1785552/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=65364 CPUtime=1.49
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 15788 0 0 0 145 4 0 0 25 0 1 0 23975814 66932736 15270 1992294400 4194304 8395647 140735455615504 18446744073709551615 5598803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 16341 15270 503 1026 0 15311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65364

[startup+3.10125 s]
/proc/loadavg: 0.94 0.99 0.97 2/107 28872
/proc/meminfo: memFree=1783320/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78108 CPUtime=3.09
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 18723 0 0 0 302 7 0 0 25 0 1 0 23975814 79982592 18141 1992294400 4194304 8395647 140735455615504 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19527 18141 584 1026 0 18497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78108

[startup+6.30053 s]
/proc/loadavg: 0.94 0.99 0.97 2/107 28872
/proc/meminfo: memFree=1771664/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78108 CPUtime=6.29
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 18723 0 0 0 612 17 0 0 25 0 1 0 23975814 79982592 18141 1992294400 4194304 8395647 140735455615504 18446744073709551615 6119753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19527 18141 584 1026 0 18497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78108

[startup+12.7011 s]
/proc/loadavg: 0.95 0.99 0.97 2/107 28872
/proc/meminfo: memFree=1771788/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78108 CPUtime=12.69
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 18723 0 0 0 1231 38 0 0 25 0 1 0 23975814 79982592 18141 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19527 18141 584 1026 0 18497 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78108

[startup+25.5012 s]
/proc/loadavg: 0.96 0.99 0.97 2/107 28872
/proc/meminfo: memFree=1771788/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78108 CPUtime=25.48
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 18741 0 0 0 2474 74 0 0 25 0 1 0 23975814 79982592 18159 1992294400 4194304 8395647 140735455615504 18446744073709551615 6497182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19527 18159 584 1026 0 18497 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78108

[startup+51.1014 s]
/proc/loadavg: 0.97 0.99 0.97 2/107 28873
/proc/meminfo: memFree=1771788/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78108 CPUtime=51.08
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 18764 0 0 0 4953 155 0 0 25 0 1 0 23975814 79982592 18182 1992294400 4194304 8395647 140735455615504 18446744073709551615 6622034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19527 18182 584 1026 0 18497 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78108

[startup+102.309 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28874
/proc/meminfo: memFree=1770176/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=78612 CPUtime=102.27
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19159 0 0 0 9914 313 0 0 25 0 1 0 23975814 80498688 18577 1992294400 4194304 8395647 140735455615504 18446744073709551615 6574003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19653 18577 584 1026 0 18623 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78612

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28876
/proc/meminfo: memFree=1769556/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=79272 CPUtime=162.25
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19310 0 0 0 15734 491 0 0 25 0 1 0 23975814 81174528 18728 1992294400 4194304 8395647 140735455615504 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19818 18728 590 1026 0 18788 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 79272

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28878
/proc/meminfo: memFree=1769184/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=79560 CPUtime=222.24
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19411 0 0 0 21553 671 0 0 25 0 1 0 23975814 81469440 18829 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19890 18829 591 1026 0 18860 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 79560

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28880
/proc/meminfo: memFree=1769060/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=79748 CPUtime=282.23
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19462 0 0 0 27370 853 0 0 25 0 1 0 23975814 81661952 18880 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19937 18880 591 1026 0 18907 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 79748

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28881
/proc/meminfo: memFree=1768936/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=79900 CPUtime=342.21
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19484 0 0 0 33176 1045 0 0 25 0 1 0 23975814 81817600 18902 1992294400 4194304 8395647 140735455615504 18446744073709551615 6586857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 19975 18902 591 1026 0 18945 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 79900

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28882
/proc/meminfo: memFree=1767696/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=80888 CPUtime=402.2
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 19760 0 0 0 38983 1237 0 0 25 0 1 0 23975814 82829312 19178 1992294400 4194304 8395647 140735455615504 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20222 19178 591 1026 0 19192 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 80888

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28893
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82060 CPUtime=462.17
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20045 0 0 0 44786 1431 0 0 25 0 1 0 23975814 84029440 19463 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20515 19463 591 1026 0 19485 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 82060

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=522.15
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20106 0 0 0 50591 1624 0 0 25 0 1 0 23975814 84320256 19524 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19524 591 1026 0 19556 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 82344

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

[startup+524.709 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=524.56
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20119 0 0 0 50823 1633 0 0 25 0 1 0 23975814 84320256 19537 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19537 591 1026 0 19556 0
Current children cumulated CPU time (s) 524.56
Current children cumulated vsize (KiB) 82344

[startup+531.101 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=530.95
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20120 0 0 0 51443 1652 0 0 25 0 1 0 23975814 84320256 19538 1992294400 4194304 8395647 140735455615504 18446744073709551615 6586747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19538 591 1026 0 19556 0
Current children cumulated CPU time (s) 530.95
Current children cumulated vsize (KiB) 82344

[startup+532.701 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=532.55
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20120 0 0 0 51599 1656 0 0 25 0 1 0 23975814 84320256 19538 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19538 591 1026 0 19556 0
Current children cumulated CPU time (s) 532.55
Current children cumulated vsize (KiB) 82344

[startup+533.509 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=533.36
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20120 0 0 0 51677 1659 0 0 25 0 1 0 23975814 84320256 19538 1992294400 4194304 8395647 140735455615504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19538 591 1026 0 19556 0
Current children cumulated CPU time (s) 533.36
Current children cumulated vsize (KiB) 82344

[startup+533.902 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=533.75
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20120 0 0 0 51715 1660 0 0 25 0 1 0 23975814 84320256 19538 1992294400 4194304 8395647 140735455615504 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19538 591 1026 0 19556 0
Current children cumulated CPU time (s) 533.75
Current children cumulated vsize (KiB) 82344

[startup+534.101 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=82344 CPUtime=533.95
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202496 20120 0 0 0 51734 1661 0 0 25 0 1 0 23975814 84320256 19538 1992294400 4194304 8395647 140735455615504 18446744073709551615 6376378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28871/statm: 20586 19538 591 1026 0 19556 0
Current children cumulated CPU time (s) 533.95
Current children cumulated vsize (KiB) 82344

[startup+534.201 s]
/proc/loadavg: 0.99 0.99 0.97 2/107 28895
/proc/meminfo: memFree=1765960/2059040 swapFree=4139724/4192956
[pid=28871] ppid=28869 vsize=0 CPUtime=534.05
/proc/28871/stat : 28871 (pbscip.linux.x8) R 28869 28871 27178 0 -1 4202500 20123 0 0 0 51743 1662 0 0 25 0 1 0 23975814 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/28871/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 534.05
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 534.202
CPU time (s): 534.06
CPU user time (s): 517.433
CPU system time (s): 16.6265
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 82344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 517.433
system time used= 16.6265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20123
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= 1
involuntary context switches= 2140

runsolver used 0.91686 second user time and 2.49562 second system time

The end

Launcher Data 

Begin job on node031 at 2010-07-08 04:54:12
IDJOB=2703688
IDBENCH=2334
IDSOLVER=1213
FILE ID=node031/2703688-1278557652
PBS_JOBID= 11239507
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703688-1278557652/watcher-2703688-1278557652 -o /tmp/evaluation-result-2703688-1278557652/solver-2703688-1278557652 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703688-1278557652.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d360a4da18a1223a5a3c77027ac256df
RANDOM SEED=1957253415

node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.220
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
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.220
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843376 kB
Buffers:         26420 kB
Cached:          96652 kB
SwapCached:       6288 kB
Active:         101196 kB
Inactive:        35360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843376 kB
SwapTotal:     4192956 kB
SwapFree:      4139724 kB
Dirty:           11220 kB
Writeback:           4 kB
AnonPages:       11560 kB
Mapped:          12056 kB
Slab:            56984 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node031 at 2010-07-08 05:03:06