Trace number 2704982

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? (MO) 1268.84 1269.55

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j902_10.std.opb
MD5SUM33b0cf0db8f9548b442c42f26a6f8900
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark6.69498
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176060
Number of constraints which are clauses174860
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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-2704982-1278582813.opb>
2.49/2.50	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176060 constraints
2.49/2.50	c problem read
2.49/2.51	c presolving settings loaded
3.39/3.40	c presolving:
14.39/14.47	c (round 1) 3400 del vars, 9870 del conss, 2313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12116186 impls, 0 clqs
21.48/21.50	c (round 2) 8302 del vars, 27140 del conss, 6918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12137230 impls, 0 clqs
23.09/23.13	c (round 3) 9827 del vars, 34452 del conss, 7665 chg bounds, 76 chg sides, 53 chg coeffs, 0 upgd conss, 12147872 impls, 0 clqs
24.28/24.36	c (round 4) 10406 del vars, 36805 del conss, 8088 chg bounds, 90 chg sides, 77 chg coeffs, 0 upgd conss, 12151170 impls, 0 clqs
24.88/24.90	c (round 5) 10831 del vars, 38535 del conss, 8319 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12153583 impls, 0 clqs
25.19/25.22	c (round 6) 10941 del vars, 39066 del conss, 8391 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154479 impls, 0 clqs
25.38/25.42	c (round 7) 11007 del vars, 39387 del conss, 8427 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154801 impls, 0 clqs
25.48/25.55	c (round 8) 11017 del vars, 39467 del conss, 8432 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154905 impls, 0 clqs
25.58/25.68	c (round 9) 11023 del vars, 39499 del conss, 8435 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154927 impls, 0 clqs
26.58/26.68	c (round 10) 11023 del vars, 39505 del conss, 8435 chg bounds, 92 chg sides, 79 chg coeffs, 136555 upgd conss, 12154927 impls, 0 clqs
27.39/27.41	c (round 11) 11023 del vars, 39506 del conss, 8435 chg bounds, 108 chg sides, 240 chg coeffs, 136555 upgd conss, 12155937 impls, 256 clqs
27.88/27.96	c (round 12) 11023 del vars, 39506 del conss, 8435 chg bounds, 124 chg sides, 279 chg coeffs, 136555 upgd conss, 12155937 impls, 302 clqs
1267.86/1268.31	c pressed CTRL-C 1 times (5 times for forcing termination)
1267.96/1268.45	c    (1265.9s) probing: 903/43759 (2.1%) - 0 fixings, 0 aggregations, 8408925 implications, 0 bound changes
1267.96/1268.45	c    (1265.9s) probing aborted: solving stopped
1267.96/1268.45	c presolving (13 rounds):
1267.96/1268.45	c  11023 deleted vars, 39506 deleted constraints, 8435 tightened bounds, 0 added holes, 124 changed sides, 279 changed coefficients
1267.96/1268.45	c  45793555 implications, 302 cliques
1267.96/1268.45	c presolved problem has 43759 variables (43759 bin, 0 int, 0 impl, 0 cont) and 136573 constraints
1267.96/1268.45	c    1113 constraints of type <knapsack>
1267.96/1268.45	c  113823 constraints of type <setppc>
1267.96/1268.45	c   21637 constraints of type <logicor>
1267.96/1268.45	c transformed objective value is always integral (scale: 1)
1267.96/1268.45	c Presolving Time: 1265.39
1267.96/1268.45	c - non default parameters ----------------------------------------------------------------------
1267.96/1268.45	c # SCIP version 1.2.1.3
1267.96/1268.45	c 
1267.96/1268.45	c # frequency for displaying node information lines
1267.96/1268.45	c # [type: int, range: [-1,2147483647], default: 100]
1267.96/1268.45	c display/freq = 10000
1267.96/1268.45	c 
1267.96/1268.45	c # maximal time in seconds to run
1267.96/1268.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1267.96/1268.45	c limits/time = 1787.5
1267.96/1268.45	c 
1267.96/1268.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1267.96/1268.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1267.96/1268.45	c limits/memory = 1620
1267.96/1268.45	c 
1267.96/1268.45	c # default clock type (1: CPU user seconds, 2: wall clock time)
1267.96/1268.45	c # [type: int, range: [1,2], default: 1]
1267.96/1268.45	c timing/clocktype = 2
1267.96/1268.45	c 
1267.96/1268.45	c # should presolving try to simplify inequalities
1267.96/1268.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1267.96/1268.45	c constraints/linear/simplifyinequalities = TRUE
1267.96/1268.45	c 
1267.96/1268.45	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1267.96/1268.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1267.96/1268.45	c constraints/indicator/addCouplingCons = TRUE
1267.96/1268.45	c 
1267.96/1268.45	c # should presolving try to simplify knapsacks
1267.96/1268.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1267.96/1268.45	c constraints/knapsack/simplifyinequalities = TRUE
1267.96/1268.45	c 
1267.96/1268.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1267.96/1268.45	c # [type: int, range: [-1,2147483647], default: -1]
1267.96/1268.45	c separating/rapidlearning/freq = 0
1267.96/1268.45	c 
1267.96/1268.45	c -----------------------------------------------------------------------------------------------
1267.96/1268.45	c start solving
1268.05/1268.57	c 
1268.05/1268.57	c (node 0) switching to memory saving mode (mem: 1303.7M/1620.0M)
1268.60/1269.38	c [src/scip/sepastore.c:59] ERROR: Insufficient memory for reallocation of 900784 bytes
1268.60/1269.38	c [src/scip/sepastore.c:59] ERROR: No memory in function call
1268.60/1269.38	c [src/scip/sepastore.c:258] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/sepastore.c:375] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/scip.c:13571] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/cons_setppc.c:1432] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/cmain.c:674] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/cmain.c:849] ERROR: Error <-1> in function call
1268.60/1269.38	c [src/cmain.c:925] ERROR: Error <-1> in function call
1268.60/1269.38	c SCIP Error (-1): c insufficient memory errorc 
1268.60/1269.38	c Time complete: 1268.66.

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-2704982-1278582813/watcher-2704982-1278582813 -o /tmp/evaluation-result-2704982-1278582813/solver-2704982-1278582813 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704982-1278582813.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: 1.00 1.00 1.00 3/105 30171
/proc/meminfo: memFree=1826516/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=7904 CPUtime=0
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 1119 0 0 0 0 0 0 0 25 0 1 0 26489812 8093696 1031 1992294400 4194304 8395647 140737287169296 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 1976 1040 365 1026 0 946 0

[startup+0.0166091 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 30171
/proc/meminfo: memFree=1826516/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=10936 CPUtime=0.01
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 2025 0 0 0 1 0 0 0 25 0 1 0 26489812 11198464 1937 1992294400 4194304 8395647 140737287169296 18446744073709551615 4327614 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 2734 1937 393 1026 0 1704 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10936

[startup+0.101624 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 30171
/proc/meminfo: memFree=1826516/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=18380 CPUtime=0.09
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 3898 0 0 0 9 0 0 0 25 0 1 0 26489812 18821120 3810 1992294400 4194304 8395647 140737287169296 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 4595 3810 393 1026 0 3565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18380

[startup+0.300663 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 30171
/proc/meminfo: memFree=1826516/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=32752 CPUtime=0.29
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 7466 0 0 0 27 2 0 0 25 0 1 0 26489812 33538048 7378 1992294400 4194304 8395647 140737287169296 18446744073709551615 7382066 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 8188 7378 393 1026 0 7158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32752

[startup+0.700739 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 30171
/proc/meminfo: memFree=1826516/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=48040 CPUtime=0.69
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 11302 0 0 0 65 4 0 0 25 0 1 0 26489812 49192960 11214 1992294400 4194304 8395647 140737287169296 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 12010 11214 393 1026 0 10980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48040

[startup+1.50089 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30172
/proc/meminfo: memFree=1775420/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=73128 CPUtime=1.49
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 17575 0 0 0 143 6 0 0 25 0 1 0 26489812 74883072 17487 1992294400 4194304 8395647 140737287169296 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30171/statm: 18282 17487 393 1026 0 17252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73128

[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30172
/proc/meminfo: memFree=1735368/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=257392 CPUtime=3.09
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 63725 0 0 0 288 21 0 0 25 0 1 0 26489812 263569408 63283 1992294400 4194304 8395647 140737287169296 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 64348 63283 430 1026 0 63318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257392

[startup+6.30081 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30172
/proc/meminfo: memFree=1456740/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=416540 CPUtime=6.29
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 102635 0 0 0 594 35 0 0 25 0 1 0 26489812 426536960 102193 1992294400 4194304 8395647 140737287169296 18446744073709551615 4684134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 104135 102193 469 1026 0 103105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 416540

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30172
/proc/meminfo: memFree=1228704/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=628528 CPUtime=12.68
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 153608 0 0 0 1217 51 0 0 25 0 1 0 26489812 643612672 153166 1992294400 4194304 8395647 140737287169296 18446744073709551615 6349002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 157132 153166 475 1026 0 156102 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 628528

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30174
/proc/meminfo: memFree=1192992/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=651132 CPUtime=25.48
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 158860 0 0 0 2495 53 0 0 25 0 1 0 26489812 666759168 158418 1992294400 4194304 8395647 140737287169296 18446744073709551615 5598858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 162783 158418 475 1026 0 161753 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 651132

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30174
/proc/meminfo: memFree=1076184/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=772212 CPUtime=51.07
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 191535 0 0 0 5043 64 0 0 25 0 1 0 26489812 790745088 187598 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 193053 187598 517 1026 0 192023 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 772212

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30176
/proc/meminfo: memFree=1047664/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=800936 CPUtime=102.26
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 198652 0 0 0 10160 66 0 0 25 0 1 0 26489812 820158464 194715 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 200234 194715 517 1026 0 199204 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 800936

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30176
/proc/meminfo: memFree=973264/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=877272 CPUtime=162.24
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 217225 0 0 0 16150 74 0 0 25 0 1 0 26489812 898326528 213288 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 219318 213288 517 1026 0 218288 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 877272

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30178
/proc/meminfo: memFree=914364/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=934104 CPUtime=222.21
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 231923 0 0 0 22142 79 0 0 25 0 1 0 26489812 956522496 227986 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 233526 227986 517 1026 0 232496 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 934104

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30180
/proc/meminfo: memFree=860672/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=990540 CPUtime=282.2
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 245566 0 0 0 28136 84 0 0 25 0 1 0 26489812 1014312960 241629 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 247635 241629 517 1026 0 246605 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 990540

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30182
/proc/meminfo: memFree=767176/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1087484 CPUtime=342.17
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 268636 0 0 0 34124 93 0 0 25 0 1 0 26489812 1113583616 264699 1992294400 4194304 8395647 140737287169296 18446744073709551615 4215691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 271871 264699 517 1026 0 270841 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1087484

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30184
/proc/meminfo: memFree=712368/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1142940 CPUtime=402.15
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 282565 0 0 0 40117 98 0 0 25 0 1 0 26489812 1170370560 278628 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 285735 278628 517 1026 0 284705 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1142940

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30193
/proc/meminfo: memFree=660600/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1191680 CPUtime=462.12
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 295054 0 0 0 46110 102 0 0 25 0 1 0 26489812 1220280320 291117 1992294400 4194304 8395647 140737287169296 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 297920 291117 517 1026 0 296890 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1191680

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30195
/proc/meminfo: memFree=574668/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1277940 CPUtime=522.1
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 316519 0 0 0 52100 110 0 0 25 0 1 0 26489812 1308610560 312582 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 319485 312582 517 1026 0 318455 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1277940

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30197
/proc/meminfo: memFree=540568/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1312428 CPUtime=582.08
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 325277 0 0 0 58094 114 0 0 25 0 1 0 26489812 1343926272 321340 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 328107 321340 517 1026 0 327077 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1312428

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30199
/proc/meminfo: memFree=467656/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1387880 CPUtime=642.06
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 343234 0 0 0 64085 121 0 0 25 0 1 0 26489812 1421189120 339297 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 346970 339297 517 1026 0 345940 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 1387880

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30201
/proc/meminfo: memFree=390032/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1466100 CPUtime=702.04
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 362598 0 0 0 70074 130 0 0 25 0 1 0 26489812 1501286400 358661 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 366525 358661 517 1026 0 365495 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 1466100

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30201
/proc/meminfo: memFree=340680/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1514676 CPUtime=762.02
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 374933 0 0 0 76067 135 0 0 25 0 1 0 26489812 1551028224 370996 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 378669 370996 517 1026 0 377639 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 1514676

[startup+822.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 30203
/proc/meminfo: memFree=299264/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1558008 CPUtime=822
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 385338 0 0 0 82060 140 0 0 25 0 1 0 26489812 1595400192 381401 1992294400 4194304 8395647 140737287169296 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 389502 381401 517 1026 0 388472 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 1558008

[startup+882.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 30205
/proc/meminfo: memFree=264916/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1592288 CPUtime=881.98
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 393829 0 0 0 88054 144 0 0 25 0 1 0 26489812 1630502912 389892 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 398072 389892 517 1026 0 397042 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1592288

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30207
/proc/meminfo: memFree=204776/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1649888 CPUtime=941.95
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 408824 0 0 0 94045 150 0 0 25 0 1 0 26489812 1689485312 404887 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 412472 404887 517 1026 0 411442 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1649888

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 30209
/proc/meminfo: memFree=181092/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1675088 CPUtime=1001.94
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 414756 0 0 0 100041 153 0 0 25 0 1 0 26489812 1715290112 410819 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 418772 410819 517 1026 0 417742 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1675088

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 30209
/proc/meminfo: memFree=151580/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1703436 CPUtime=1061.92
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 422118 0 0 0 106035 157 0 0 25 0 1 0 26489812 1744318464 418181 1992294400 4194304 8395647 140737287169296 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 425859 418181 517 1026 0 424829 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1703436

[startup+1122.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/106 30211
/proc/meminfo: memFree=115372/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1738388 CPUtime=1121.89
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 431137 0 0 0 112029 160 0 0 25 0 1 0 26489812 1780109312 427200 1992294400 4194304 8395647 140737287169296 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 434597 427200 517 1026 0 433567 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1738388

[startup+1182.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/106 30213
/proc/meminfo: memFree=83132/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1773812 CPUtime=1181.88
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 440565 0 0 0 118023 165 0 0 25 0 1 0 26489812 1816383488 436628 1992294400 4194304 8395647 140737287169296 18446744073709551615 4743096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 443453 436628 517 1026 0 442423 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1773812

[startup+1242.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/106 30215
/proc/meminfo: memFree=19148/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1834480 CPUtime=1241.86
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 455092 0 0 0 124015 171 0 0 25 0 1 0 26489812 1878507520 451155 1992294400 4194304 8395647 140737287169296 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 458620 451155 517 1026 0 457590 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1834480



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1268.31 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 30215
/proc/meminfo: memFree=10096/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1843552 CPUtime=1267.86
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 457325 0 0 0 126614 172 0 0 25 0 1 0 26489812 1887797248 453388 1992294400 4194304 8395647 140737287169296 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 460888 453388 517 1026 0 459858 0
Current children cumulated CPU time (s) 1267.86
Current children cumulated vsize (KiB) 1843552

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

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

[startup+1268.6 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 30215
/proc/meminfo: memFree=10096/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1846876 CPUtime=1268.15
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202496 458019 0 0 0 126643 172 0 0 25 0 1 0 26489812 1891201024 454082 1992294400 4194304 8395647 140737287169296 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30171/statm: 461719 454082 535 1026 0 460689 0
Current children cumulated CPU time (s) 1268.15
Current children cumulated vsize (KiB) 1846876

[startup+1269 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 30215
/proc/meminfo: memFree=10096/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=1878980 CPUtime=1268.5
/proc/30171/stat : 30171 (pbscip.linux.x8) D 30169 30171 29507 0 -1 4204544 466407 0 0 0 126672 178 0 0 24 0 1 0 26489812 1924075520 462264 1992294400 4194304 8395647 140737287169296 18446744073709551615 7385711 0 0 4096 16384 18446744071562310694 0 0 17 1 0 0 15
/proc/30171/statm: 469745 462264 541 1026 0 468715 0
Current children cumulated CPU time (s) 1268.5
Current children cumulated vsize (KiB) 1878980

[startup+1269.4 s]
/proc/loadavg: 1.08 1.05 1.00 2/106 30215
/proc/meminfo: memFree=10096/2059040 swapFree=4139832/4192956
[pid=30171] ppid=30169 vsize=0 CPUtime=1268.68
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202500 470436 0 0 0 126685 183 0 0 18 0 1 0 26489812 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 25
/proc/30171/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1268.68
Current children cumulated vsize (KiB) 0

[startup+1269.5 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30216
/proc/meminfo: memFree=1391264/2059040 swapFree=4139824/4192956
[pid=30171] ppid=30169 vsize=0 CPUtime=1268.79
/proc/30171/stat : 30171 (pbscip.linux.x8) R 30169 30171 29507 0 -1 4202500 470436 0 0 0 126685 194 0 0 18 0 1 0 26489812 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 25
/proc/30171/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1268.79
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1269.55
CPU time (s): 1268.84
CPU user time (s): 1266.86
CPU system time (s): 1.9817
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 1887464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1266.86
system time used= 1.9817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470436
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= 6
involuntary context switches= 1361

runsolver used 2.23266 second user time and 5.87711 second system time

The end

Launcher Data 

Begin job on node086 at 2010-07-08 11:53:34
IDJOB=2704982
IDBENCH=78088
IDSOLVER=1213
FILE ID=node086/2704982-1278582813
PBS_JOBID= 11240062
Free space on /tmp= 62432 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_10.std.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-2704982-1278582813/watcher-2704982-1278582813 -o /tmp/evaluation-result-2704982-1278582813/solver-2704982-1278582813 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704982-1278582813.opb -t 1800 -m 1800

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

MD5SUM BENCH= 33b0cf0db8f9548b442c42f26a6f8900
RANDOM SEED=1787717261

node086.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.262
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.52
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.262
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	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1827044 kB
Buffers:         32800 kB
Cached:         105604 kB
SwapCached:       6840 kB
Active:          44216 kB
Inactive:       108084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1827044 kB
SwapTotal:     4192956 kB
SwapFree:      4139832 kB
Dirty:           15404 kB
Writeback:           0 kB
AnonPages:       12100 kB
Mapped:          12104 kB
Slab:            57884 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62424 MiB
End job on node086 at 2010-07-08 12:14:44