Trace number 2687472

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (MO) 702.879 703.588

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j907_10.std.opb
MD5SUM33727ee9f1864687071eb1ade137ce3c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark6.21306
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 constraints175921
Number of constraints which are clauses174721
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 constraint52
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2687472-1278453817.opb>
3.09/3.15	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 175921 constraints
3.09/3.15	c problem read
3.09/3.15	c presolving settings loaded
4.09/4.12	c presolving:
14.78/14.86	c (round 1) 3549 del vars, 10629 del conss, 2353 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12133128 impls, 0 clqs
21.90/21.98	c (round 2) 9731 del vars, 30988 del conss, 8217 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12160929 impls, 0 clqs
23.99/24.00	c (round 3) 11490 del vars, 40661 del conss, 9074 chg bounds, 54 chg sides, 58 chg coeffs, 0 upgd conss, 12169846 impls, 0 clqs
25.09/25.15	c (round 4) 12179 del vars, 43357 del conss, 9502 chg bounds, 68 chg sides, 91 chg coeffs, 0 upgd conss, 12175876 impls, 0 clqs
25.98/26.05	c (round 5) 12590 del vars, 45025 del conss, 9793 chg bounds, 68 chg sides, 94 chg coeffs, 0 upgd conss, 12178550 impls, 0 clqs
26.69/26.79	c (round 6) 12924 del vars, 46290 del conss, 10031 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12181258 impls, 0 clqs
27.08/27.10	c (round 7) 13089 del vars, 47015 del conss, 10086 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12182704 impls, 0 clqs
27.28/27.37	c (round 8) 13133 del vars, 47266 del conss, 10111 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12183382 impls, 0 clqs
27.58/27.61	c (round 9) 13169 del vars, 47412 del conss, 10129 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12183942 impls, 0 clqs
27.79/27.83	c (round 10) 13193 del vars, 47528 del conss, 10144 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12184189 impls, 0 clqs
27.99/28.03	c (round 11) 13211 del vars, 47600 del conss, 10153 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12184299 impls, 0 clqs
28.18/28.23	c (round 12) 13217 del vars, 47640 del conss, 10156 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12184343 impls, 0 clqs
28.38/28.43	c (round 13) 13219 del vars, 47653 del conss, 10157 chg bounds, 69 chg sides, 98 chg coeffs, 0 upgd conss, 12184359 impls, 0 clqs
29.69/29.79	c (round 14) 13219 del vars, 47656 del conss, 10157 chg bounds, 69 chg sides, 98 chg coeffs, 128265 upgd conss, 12184359 impls, 0 clqs
30.80/30.81	c (round 15) 13219 del vars, 47660 del conss, 10157 chg bounds, 138 chg sides, 349 chg coeffs, 128265 upgd conss, 12184359 impls, 0 clqs
31.38/31.47	c (round 16) 13219 del vars, 47669 del conss, 10157 chg bounds, 144 chg sides, 361 chg coeffs, 128265 upgd conss, 12184359 impls, 0 clqs
581.55/581.73	c    (574.9s) probing: 1000/41563 (2.4%) - 0 fixings, 0 aggregations, 8018429 implications, 0 bound changes
701.83/702.00	c pressed CTRL-C 1 times (5 times for forcing termination)
701.83/702.06	c    (694.6s) probing: 1534/41563 (3.7%) - 0 fixings, 0 aggregations, 10300428 implications, 0 bound changes
701.83/702.06	c    (694.6s) probing aborted: solving stopped
701.83/702.07	c presolving (17 rounds):
701.83/702.07	c  13219 deleted vars, 47669 deleted constraints, 10157 tightened bounds, 0 added holes, 144 changed sides, 361 changed coefficients
701.83/702.07	c  50221173 implications, 0 cliques
701.83/702.07	c presolved problem has 41563 variables (41563 bin, 0 int, 0 impl, 0 cont) and 128295 constraints
701.83/702.07	c    1099 constraints of type <knapsack>
701.83/702.07	c      38 constraints of type <setppc>
701.83/702.07	c  127158 constraints of type <logicor>
701.83/702.07	c transformed objective value is always integral (scale: 1)
701.83/702.07	c Presolving Time: 694.08
701.83/702.07	c - non default parameters ----------------------------------------------------------------------
701.83/702.07	c # SCIP version 1.2.1.2
701.83/702.07	c 
701.83/702.07	c # frequency for displaying node information lines
701.83/702.07	c # [type: int, range: [-1,2147483647], default: 100]
701.83/702.07	c display/freq = 10000
701.83/702.07	c 
701.83/702.07	c # maximal time in seconds to run
701.83/702.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
701.83/702.07	c limits/time = 1796.85
701.83/702.07	c 
701.83/702.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
701.83/702.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
701.83/702.07	c limits/memory = 1620
701.83/702.07	c 
701.83/702.07	c # should presolving try to simplify inequalities
701.83/702.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
701.83/702.07	c constraints/linear/simplifyinequalities = TRUE
701.83/702.07	c 
701.83/702.07	c # should presolving try to simplify knapsacks
701.83/702.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
701.83/702.07	c constraints/knapsack/simplifyinequalities = TRUE
701.83/702.07	c 
701.83/702.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
701.83/702.07	c # [type: int, range: [-1,2147483647], default: -1]
701.83/702.07	c separating/rapidlearning/freq = 0
701.83/702.07	c 
701.83/702.07	c -----------------------------------------------------------------------------------------------
701.83/702.07	c start solving
702.02/702.20	c 
702.02/702.20	c (node 0) switching to memory saving mode (mem: 1400.5M/1620.0M)
702.69/703.41	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
702.69/703.41	c [src/scip/lp.c:3515] ERROR: Insufficient memory for new chunk
702.69/703.41	c [src/scip/lp.c:3515] ERROR: No memory in function call
702.69/703.41	c [src/scip/scip.c:11695] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/cons_logicor.c:859] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/cons_logicor.c:882] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/cons_logicor.c:1702] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:719] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:761] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:798] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:1863] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:2577] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/solve.c:3189] ERROR: Error <-1> in function call
702.69/703.41	c [src/scip/scip.c:6167] ERROR: Error <-1> in function call
702.69/703.41	c [src/cmain.c:657] ERROR: Error <-1> in function call
702.69/703.41	c [src/cmain.c:832] ERROR: Error <-1> in function call
702.69/703.41	c [src/cmain.c:908] ERROR: Error <-1> in function call
702.69/703.41	c SCIP Error (-1): c insufficient memory errorc 
702.69/703.41	c Time complete: 702.69.

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-2687472-1278453817/watcher-2687472-1278453817 -o /tmp/evaluation-result-2687472-1278453817/solver-2687472-1278453817 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687472-1278453817.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.26 1.06 1.05 3/107 24064
/proc/meminfo: memFree=1821824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=7724 CPUtime=0
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 13593529 7909376 930 1992294400 4194304 8223781 140733355686816 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 1931 941 348 984 0 944 0

[startup+0.0224839 s]
/proc/loadavg: 1.26 1.06 1.05 3/107 24064
/proc/meminfo: memFree=1821824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=10128 CPUtime=0.01
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 1848 0 0 0 1 0 0 0 20 0 1 0 13593529 10371072 1768 1992294400 4194304 8223781 140733355686816 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 2532 1768 365 984 0 1545 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10128

[startup+0.10049 s]
/proc/loadavg: 1.26 1.06 1.05 3/107 24064
/proc/meminfo: memFree=1821824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=16044 CPUtime=0.09
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 3301 0 0 0 8 1 0 0 20 0 1 0 13593529 16429056 3221 1992294400 4194304 8223781 140733355686816 18446744073709551615 7247575 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 4011 3221 365 984 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044

[startup+0.300505 s]
/proc/loadavg: 1.26 1.06 1.05 3/107 24064
/proc/meminfo: memFree=1821824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=28064 CPUtime=0.29
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 6344 0 0 0 27 2 0 0 20 0 1 0 13593529 28737536 6255 1992294400 4194304 8223781 140733355686816 18446744073709551615 7253480 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 7016 6255 365 984 0 6029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28064

[startup+0.700537 s]
/proc/loadavg: 1.26 1.06 1.05 3/107 24064
/proc/meminfo: memFree=1821824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=43344 CPUtime=0.69
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 10118 0 0 0 65 4 0 0 20 0 1 0 13593529 44384256 10029 1992294400 4194304 8223781 140733355686816 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 10836 10029 365 984 0 9849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43344

[startup+1.5006 s]
/proc/loadavg: 1.26 1.06 1.05 2/108 24065
/proc/meminfo: memFree=1777300/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=59940 CPUtime=1.49
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 14268 0 0 0 143 6 0 0 22 0 1 0 13593529 61378560 14179 1992294400 4194304 8223781 140733355686816 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 14985 14179 365 984 0 13998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59940

[startup+3.10073 s]
/proc/loadavg: 1.26 1.06 1.05 2/108 24065
/proc/meminfo: memFree=1747044/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=110332 CPUtime=3.09
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 26845 0 0 0 298 11 0 0 25 0 1 0 13593529 112979968 26756 1992294400 4194304 8223781 140733355686816 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24064/statm: 27583 26756 365 984 0 26596 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110332

[startup+6.30098 s]
/proc/loadavg: 1.24 1.06 1.04 2/108 24065
/proc/meminfo: memFree=1487884/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=390076 CPUtime=6.29
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 95989 0 0 0 591 38 0 0 25 0 1 0 13593529 399437824 95479 1992294400 4194304 8223781 140733355686816 18446744073709551615 5953970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 97519 95479 441 984 0 96532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 390076

[startup+12.7015 s]
/proc/loadavg: 1.22 1.06 1.04 2/108 24065
/proc/meminfo: memFree=1231824/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=625812 CPUtime=12.69
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 152754 0 0 0 1203 66 0 0 25 0 1 0 13593529 640831488 152244 1992294400 4194304 8223781 140733355686816 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 156453 152244 445 984 0 155466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 625812

[startup+25.5005 s]
/proc/loadavg: 1.17 1.06 1.04 2/108 24066
/proc/meminfo: memFree=1188424/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=650652 CPUtime=25.48
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 159705 0 0 0 2450 98 0 0 25 0 1 0 13593529 666267648 158167 1992294400 4194304 8223781 140733355686816 18446744073709551615 5966499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 162663 158167 445 984 0 161676 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 650652

[startup+51.1016 s]
/proc/loadavg: 1.11 1.05 1.04 2/108 24066
/proc/meminfo: memFree=1118364/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=726500 CPUtime=51.08
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 201469 0 0 0 4910 198 0 0 25 0 1 0 13593529 743936000 176037 1992294400 4194304 8223781 140733355686816 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 181625 176037 483 984 0 180638 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 726500

[startup+102.309 s]
/proc/loadavg: 1.05 1.04 1.04 2/108 24068
/proc/meminfo: memFree=1056860/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=788884 CPUtime=102.28
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 216617 0 0 0 10022 206 0 0 25 0 1 0 13593529 807817216 191185 1992294400 4194304 8223781 140733355686816 18446744073709551615 5968581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 197221 191185 483 984 0 196234 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 788884

[startup+162.301 s]
/proc/loadavg: 1.02 1.03 1.03 2/108 24069
/proc/meminfo: memFree=955180/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=893392 CPUtime=162.26
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 241965 0 0 0 16009 217 0 0 25 0 1 0 13593529 914833408 216533 1992294400 4194304 8223781 140733355686816 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 223348 216533 483 984 0 222361 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 893392

[startup+222.3 s]
/proc/loadavg: 1.00 1.02 1.02 2/108 24071
/proc/meminfo: memFree=867512/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=984340 CPUtime=222.23
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 264540 0 0 0 21994 229 0 0 25 0 1 0 13593529 1007964160 238819 1992294400 4194304 8223781 140733355686816 18446744073709551615 5902678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 246085 238819 483 984 0 245098 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 984340

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/108 24072
/proc/meminfo: memFree=723424/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1132144 CPUtime=282.22
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 300978 0 0 0 27975 247 0 0 25 0 1 0 13593529 1159315456 274745 1992294400 4194304 8223781 140733355686816 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 283036 274745 483 984 0 282049 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1132144

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.01 2/108 24074
/proc/meminfo: memFree=608228/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1245516 CPUtime=342.21
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 329750 0 0 0 33953 268 0 0 25 0 1 0 13593529 1275408384 303517 1992294400 4194304 8223781 140733355686816 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 311379 303517 483 984 0 310392 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1245516

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.01 2/108 24076
/proc/meminfo: memFree=502332/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1352272 CPUtime=402.2
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 356255 0 0 0 39924 296 0 0 25 0 1 0 13593529 1384726528 329510 1992294400 4194304 8223781 140733355686816 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 338068 329510 483 984 0 337081 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1352272

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24077
/proc/meminfo: memFree=371016/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1483340 CPUtime=462.19
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 388981 0 0 0 45896 323 0 0 25 0 1 0 13593529 1518940160 362236 1992294400 4194304 8223781 140733355686816 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 370835 362236 483 984 0 369848 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1483340

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24079
/proc/meminfo: memFree=257928/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1599604 CPUtime=522.17
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 417774 0 0 0 51872 345 0 0 25 0 1 0 13593529 1637994496 391029 1992294400 4194304 8223781 140733355686816 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 399901 391029 483 984 0 398914 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1599604

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24080
/proc/meminfo: memFree=166788/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1687960 CPUtime=582.16
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 439950 0 0 0 57848 368 0 0 25 0 1 0 13593529 1728471040 413205 1992294400 4194304 8223781 140733355686816 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 421990 413205 488 984 0 421003 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1687960

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24082
/proc/meminfo: memFree=96604/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1759824 CPUtime=642.14
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 457446 0 0 0 63818 396 0 0 25 0 1 0 13593529 1802059776 430701 1992294400 4194304 8223781 140733355686816 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 439956 430701 488 984 0 438969 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1759824



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+702 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24084
/proc/meminfo: memFree=13772/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1843636 CPUtime=701.83
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 478099 0 0 0 69755 428 0 0 25 0 1 0 13593529 1887883264 451354 1992294400 4194304 8223781 140733355686816 18446744073709551615 4224183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 460909 451354 488 984 0 459922 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 1843636

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

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24084
/proc/meminfo: memFree=13772/2059040 swapFree=4170092/4192956
[pid=24064] ppid=24062 vsize=1851892 CPUtime=702.14
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 481159 0 0 0 69783 431 0 0 25 0 1 0 13593529 1896337408 453428 1992294400 4194304 8223781 140733355686816 18446744073709551615 6012789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24064/statm: 462973 453429 497 984 0 461986 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 1851892

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

[startup+703.005 s]
/proc/loadavg: 1.00 1.00 1.00 1/109 24085
/proc/meminfo: memFree=7884/2059040 swapFree=4154256/4192956
[pid=24064] ppid=24062 vsize=1874668 CPUtime=702.46
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4204544 487635 0 0 0 69807 439 0 0 18 0 1 0 13593529 1919660032 459043 1992294400 4194304 8223781 140733355686816 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 37
/proc/24064/statm: 468667 459043 508 984 0 467680 0
Current children cumulated CPU time (s) 702.46
Current children cumulated vsize (KiB) 1874668

[startup+703.409 s]
/proc/loadavg: 1.00 1.00 1.00 1/109 24085
/proc/meminfo: memFree=7884/2059040 swapFree=4154256/4192956
[pid=24064] ppid=24062 vsize=1894392 CPUtime=702.69
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202496 493089 0 0 0 69823 446 0 0 18 0 1 0 13593529 1939857408 463942 1992294400 4194304 8223781 140733355686816 18446744073709551615 7073940 0 0 4096 16384 0 0 0 17 1 0 0 54
/proc/24064/statm: 473598 463942 508 984 0 472611 0
Current children cumulated CPU time (s) 702.69
Current children cumulated vsize (KiB) 1894392

[startup+703.501 s]
/proc/loadavg: 1.00 1.00 1.00 1/109 24085
/proc/meminfo: memFree=7884/2059040 swapFree=4154256/4192956
[pid=24064] ppid=24062 vsize=0 CPUtime=702.78
/proc/24064/stat : 24064 (pbscip.linux.x8) R 24062 24064 23366 0 -1 4202500 493105 0 0 0 69823 455 0 0 18 0 1 0 13593529 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 54
/proc/24064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 702.78
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 703.588
CPU time (s): 702.879
CPU user time (s): 698.233
CPU system time (s): 4.64629
CPU usage (%): 99.8992
Max. virtual memory (cumulated for all children) (KiB): 1894392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 698.233
system time used= 4.64629
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493105
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= 26
involuntary context switches= 1590

runsolver used 1.17882 second user time and 3.32649 second system time

The end

Launcher Data 

Begin job on node026 at 2010-07-07 00:03:38
IDJOB=2687472
IDBENCH=77924
IDSOLVER=1169
FILE ID=node026/2687472-1278453817
PBS_JOBID= 11233527
Free space on /tmp= 62464 MiB

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

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

MD5SUM BENCH= 33727ee9f1864687071eb1ade137ce3c
RANDOM SEED=1521802607

node026.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.244
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.48
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.244
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822352 kB
Buffers:          7460 kB
Cached:         116528 kB
SwapCached:        280 kB
Active:          39892 kB
Inactive:       122888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822352 kB
SwapTotal:     4192956 kB
SwapFree:      4170092 kB
Dirty:            9984 kB
Writeback:           0 kB
AnonPages:       38516 kB
Mapped:          14480 kB
Slab:            52008 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180392 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= 62460 MiB
End job on node026 at 2010-07-07 00:15:22