Trace number 2704924

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) 1093.6 1094.17

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_5.std.opb
MD5SUMfca2bf846c4de68f23f92649fc394136
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234238
Number of constraints which are clauses233038
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 constraint120
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-2704924-1278582107.opb>
3.78/3.80	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234238 constraints
3.78/3.80	c problem read
3.78/3.80	c presolving settings loaded
5.08/5.13	c presolving:
20.68/20.75	c (round 1) 4914 del vars, 14863 del conss, 3365 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16007856 impls, 0 clqs
31.58/31.69	c (round 2) 12278 del vars, 39072 del conss, 10335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16039526 impls, 0 clqs
35.19/35.22	c (round 3) 14566 del vars, 50352 del conss, 11555 chg bounds, 25 chg sides, 49 chg coeffs, 0 upgd conss, 16055512 impls, 0 clqs
37.08/37.12	c (round 4) 15471 del vars, 54200 del conss, 12122 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16060400 impls, 0 clqs
37.58/37.68	c (round 5) 15854 del vars, 55951 del conss, 12284 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16062584 impls, 0 clqs
37.88/37.98	c (round 6) 15928 del vars, 56364 del conss, 12314 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063284 impls, 0 clqs
38.18/38.20	c (round 7) 15956 del vars, 56525 del conss, 12329 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063644 impls, 0 clqs
38.28/38.39	c (round 8) 15968 del vars, 56591 del conss, 12335 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063740 impls, 0 clqs
38.49/38.55	c (round 9) 15970 del vars, 56613 del conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063750 impls, 0 clqs
39.97/40.08	c (round 10) 15970 del vars, 56616 del conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
1092.14/1092.40	c pressed CTRL-C 1 times (5 times for forcing termination)
1092.52/1093.13	c    (1089.3s) probing: 408/56872 (0.7%) - 0 fixings, 0 aggregations, 6860106 implications, 0 bound changes
1092.52/1093.13	c    (1089.3s) probing aborted: solving stopped
1092.52/1093.14	c presolving (11 rounds):
1092.52/1093.14	c  15970 deleted vars, 56616 deleted constraints, 12336 tightened bounds, 0 added holes, 44 changed sides, 182 changed coefficients
1092.52/1093.14	c  44692578 implications, 0 cliques
1092.52/1093.14	c presolved problem has 56872 variables (56872 bin, 0 int, 0 impl, 0 cont) and 177631 constraints
1092.52/1093.14	c    1165 constraints of type <knapsack>
1092.52/1093.14	c  148361 constraints of type <setppc>
1092.52/1093.14	c   28105 constraints of type <logicor>
1092.52/1093.14	c transformed objective value is always integral (scale: 1)
1092.52/1093.14	c Presolving Time: 1088.47
1092.52/1093.14	c - non default parameters ----------------------------------------------------------------------
1092.52/1093.14	c # SCIP version 1.2.1.3
1092.52/1093.14	c 
1092.52/1093.14	c # frequency for displaying node information lines
1092.52/1093.14	c # [type: int, range: [-1,2147483647], default: 100]
1092.52/1093.14	c display/freq = 10000
1092.52/1093.14	c 
1092.52/1093.14	c # maximal time in seconds to run
1092.52/1093.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1092.52/1093.14	c limits/time = 1786.21
1092.52/1093.14	c 
1092.52/1093.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1092.52/1093.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1092.52/1093.14	c limits/memory = 1620
1092.52/1093.14	c 
1092.52/1093.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
1092.52/1093.14	c # [type: int, range: [1,2], default: 1]
1092.52/1093.14	c timing/clocktype = 2
1092.52/1093.14	c 
1092.52/1093.14	c # should presolving try to simplify inequalities
1092.52/1093.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.52/1093.14	c constraints/linear/simplifyinequalities = TRUE
1092.52/1093.14	c 
1092.52/1093.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1092.52/1093.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.52/1093.14	c constraints/indicator/addCouplingCons = TRUE
1092.52/1093.14	c 
1092.52/1093.14	c # should presolving try to simplify knapsacks
1092.52/1093.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.52/1093.14	c constraints/knapsack/simplifyinequalities = TRUE
1092.52/1093.14	c 
1092.52/1093.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1092.52/1093.14	c # [type: int, range: [-1,2147483647], default: -1]
1092.52/1093.14	c separating/rapidlearning/freq = 0
1092.52/1093.14	c 
1092.52/1093.14	c -----------------------------------------------------------------------------------------------
1092.52/1093.14	c start solving
1092.72/1093.30	c 
1092.72/1093.30	c (node 0) switching to memory saving mode (mem: 1327.9M/1620.0M)
1093.32/1093.99	c [src/scip/sepastore.c:59] ERROR: Insufficient memory for reallocation of 900784 bytes
1093.32/1093.99	c [src/scip/sepastore.c:59] ERROR: No memory in function call
1093.32/1093.99	c [src/scip/sepastore.c:258] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/sepastore.c:375] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/scip.c:13571] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/cons_setppc.c:1432] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/cmain.c:674] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/cmain.c:849] ERROR: Error <-1> in function call
1093.32/1094.00	c [src/cmain.c:925] ERROR: Error <-1> in function call
1093.32/1094.00	c SCIP Error (-1): c insufficient memory errorc 
1093.32/1094.00	c Time complete: 1093.42.

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-2704924-1278582107/watcher-2704924-1278582107 -o /tmp/evaluation-result-2704924-1278582107/solver-2704924-1278582107 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704924-1278582107.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 0.98 3/106 30601
/proc/meminfo: memFree=1745704/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=7904 CPUtime=0
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 26417586 8093696 984 1992294400 4194304 8395647 140737318214576 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 1976 992 365 1026 0 946 0

[startup+0.0738511 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 30601
/proc/meminfo: memFree=1745704/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=16668 CPUtime=0.07
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 3452 0 0 0 6 1 0 0 20 0 1 0 26417586 17068032 3364 1992294400 4194304 8395647 140737318214576 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 4167 3364 393 1026 0 3137 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16668

[startup+0.100851 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 30601
/proc/meminfo: memFree=1745704/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=18376 CPUtime=0.09
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 3870 0 0 0 8 1 0 0 20 0 1 0 26417586 18817024 3782 1992294400 4194304 8395647 140737318214576 18446744073709551615 5757349 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 4594 3782 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.300869 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 30601
/proc/meminfo: memFree=1745704/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=32748 CPUtime=0.29
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 7459 0 0 0 27 2 0 0 20 0 1 0 26417586 33533952 7371 1992294400 4194304 8395647 140737318214576 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 8187 7371 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700904 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 30601
/proc/meminfo: memFree=1745704/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=53320 CPUtime=0.69
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 12605 0 0 0 65 4 0 0 20 0 1 0 26417586 54599680 12517 1992294400 4194304 8395647 140737318214576 18446744073709551615 4222410 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 13330 12517 393 1026 0 12300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53320

[startup+1.50097 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30602
/proc/meminfo: memFree=1690268/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=72152 CPUtime=1.49
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 17309 0 0 0 143 6 0 0 23 0 1 0 26417586 73883648 17221 1992294400 4194304 8395647 140737318214576 18446744073709551615 5757989 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 18038 17221 393 1026 0 17008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72152

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30602
/proc/meminfo: memFree=1660260/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=127360 CPUtime=3.08
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 31082 0 0 0 297 11 0 0 25 0 1 0 26417586 130416640 30994 1992294400 4194304 8395647 140737318214576 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30601/statm: 31840 30994 393 1026 0 30810 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 127360

[startup+6.30039 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30604
/proc/meminfo: memFree=1385848/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=418568 CPUtime=6.29
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 102640 0 0 0 593 36 0 0 25 0 1 0 26417586 428613632 102198 1992294400 4194304 8395647 140737318214576 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 104642 102198 463 1026 0 103612 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 418568

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30604
/proc/meminfo: memFree=1102632/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=676808 CPUtime=12.68
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 166953 0 0 0 1211 57 0 0 25 0 1 0 26417586 693051392 166511 1992294400 4194304 8395647 140737318214576 18446744073709551615 4684134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 169202 166511 469 1026 0 168172 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 676808

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30604
/proc/meminfo: memFree=914648/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=850740 CPUtime=25.48
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 208182 0 0 0 2475 73 0 0 25 0 1 0 26417586 871157760 207740 1992294400 4194304 8395647 140737318214576 18446744073709551615 6085509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 212685 207740 475 1026 0 211655 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 850740

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30604
/proc/meminfo: memFree=815324/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=953296 CPUtime=51.07
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 240452 0 0 0 5025 82 0 0 25 0 1 0 26417586 976175104 232745 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 238324 232745 551 1026 0 237294 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 953296

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30606
/proc/meminfo: memFree=772668/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=998596 CPUtime=102.27
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 250997 0 0 0 10139 88 0 0 25 0 1 0 26417586 1022562304 243290 1992294400 4194304 8395647 140737318214576 18446744073709551615 6081020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 249649 243290 551 1026 0 248619 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 998596

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30608
/proc/meminfo: memFree=729640/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1045048 CPUtime=162.24
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 261699 0 0 0 16133 91 0 0 25 0 1 0 26417586 1070129152 253992 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 261262 253992 551 1026 0 260232 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1045048

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30608
/proc/meminfo: memFree=705212/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1067936 CPUtime=222.23
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 267830 0 0 0 22129 94 0 0 25 0 1 0 26417586 1093566464 260123 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 266984 260123 551 1026 0 265954 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1067936

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30610
/proc/meminfo: memFree=615932/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1161792 CPUtime=282.22
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 290345 0 0 0 28119 103 0 0 25 0 1 0 26417586 1189675008 282638 1992294400 4194304 8395647 140737318214576 18446744073709551615 4918185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 290448 282638 551 1026 0 289418 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1161792

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30612
/proc/meminfo: memFree=571788/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1202512 CPUtime=342.2
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 301095 0 0 0 34113 107 0 0 25 0 1 0 26417586 1231372288 293388 1992294400 4194304 8395647 140737318214576 18446744073709551615 4228079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 300628 293388 551 1026 0 299598 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1202512

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30614
/proc/meminfo: memFree=536076/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1237828 CPUtime=402.19
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 310025 0 0 0 40109 110 0 0 25 0 1 0 26417586 1267535872 302318 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 309457 302318 551 1026 0 308427 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1237828

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30616
/proc/meminfo: memFree=493420/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1281388 CPUtime=462.17
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 320651 0 0 0 46104 113 0 0 25 0 1 0 26417586 1312141312 312944 1992294400 4194304 8395647 140737318214576 18446744073709551615 4743072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 320347 312944 551 1026 0 319317 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1281388

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30616
/proc/meminfo: memFree=452004/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1323356 CPUtime=522.16
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 331352 0 0 0 52099 117 0 0 25 0 1 0 26417586 1355116544 323645 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 330839 323645 551 1026 0 329809 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1323356

[startup+582.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 30618
/proc/meminfo: memFree=373264/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1404528 CPUtime=582.14
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 350628 0 0 0 58089 125 0 0 25 0 1 0 26417586 1438236672 342921 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 351132 342921 551 1026 0 350102 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1404528

[startup+642.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 30620
/proc/meminfo: memFree=301964/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1476484 CPUtime=642.14
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 368403 0 0 0 64082 132 0 0 25 0 1 0 26417586 1511919616 360696 1992294400 4194304 8395647 140737318214576 18446744073709551615 6078961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 369121 360696 551 1026 0 368091 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1476484

[startup+702.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 30622
/proc/meminfo: memFree=197556/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1578672 CPUtime=702.11
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 394435 0 0 0 70068 143 0 0 25 0 1 0 26417586 1616560128 386728 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 394668 386728 551 1026 0 393638 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1578672

[startup+762.308 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 30624
/proc/meminfo: memFree=169036/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1607072 CPUtime=762.11
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 401527 0 0 0 76066 145 0 0 25 0 1 0 26417586 1645641728 393820 1992294400 4194304 8395647 140737318214576 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 401768 393820 551 1026 0 400738 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1607072

[startup+822.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 30624
/proc/meminfo: memFree=127868/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1648032 CPUtime=822.09
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 411795 0 0 0 82060 149 0 0 25 0 1 0 26417586 1687584768 404088 1992294400 4194304 8395647 140737318214576 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 412008 404088 551 1026 0 410978 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1648032

[startup+882.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 30626
/proc/meminfo: memFree=83972/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1692600 CPUtime=882.07
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 422878 0 0 0 88054 153 0 0 25 0 1 0 26417586 1733222400 415171 1992294400 4194304 8395647 140737318214576 18446744073709551615 5210311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 423150 415171 551 1026 0 422120 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1692600

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30628
/proc/meminfo: memFree=11432/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1764596 CPUtime=942.06
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 440827 0 0 0 94045 161 0 0 25 0 1 0 26417586 1806946304 433120 1992294400 4194304 8395647 140737318214576 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 441149 433120 551 1026 0 440119 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1764596

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30630
/proc/meminfo: memFree=9636/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1790992 CPUtime=1002.04
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 447493 0 0 0 100040 164 0 0 25 0 1 0 26417586 1833975808 439786 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 447748 439786 551 1026 0 446718 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1790992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30632
/proc/meminfo: memFree=10516/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1820408 CPUtime=1062.03
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 454976 0 0 0 106036 167 0 0 25 0 1 0 26417586 1864097792 447269 1992294400 4194304 8395647 140737318214576 18446744073709551615 5211439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 455102 447269 551 1026 0 454072 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1820408



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1092.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30632
/proc/meminfo: memFree=8592/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1845764 CPUtime=1092.14
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 461545 0 0 0 109042 172 0 0 25 0 1 0 26417586 1890062336 453838 1992294400 4194304 8395647 140737318214576 18446744073709551615 7385711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30601/statm: 461441 453844 551 1026 0 460411 0
Current children cumulated CPU time (s) 1092.14
Current children cumulated vsize (KiB) 1845764

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

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

[startup+1092.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30632
/proc/meminfo: memFree=8592/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1846776 CPUtime=1092.22
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 461935 0 0 0 109049 173 0 0 23 0 1 0 26417586 1891098624 454228 1992294400 4194304 8395647 140737318214576 18446744073709551615 6080657 0 0 4096 16384 0 0 0 17 1 0 0 29
/proc/30601/statm: 461694 454228 551 1026 0 460664 0
Current children cumulated CPU time (s) 1092.22
Current children cumulated vsize (KiB) 1846776

[startup+1093.63 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 30633
/proc/meminfo: memFree=8740/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=1863020 CPUtime=1093.05
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202496 466291 0 0 0 109128 177 0 0 25 0 1 0 26417586 1907732480 458544 1992294400 4194304 8395647 140737318214576 18446744073709551615 6153392 0 0 4096 16384 0 0 0 17 1 0 0 29
/proc/30601/statm: 465755 458544 542 1026 0 464725 0
Current children cumulated CPU time (s) 1093.05
Current children cumulated vsize (KiB) 1863020

[startup+1094 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 30633
/proc/meminfo: memFree=8740/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=0 CPUtime=1093.43
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202500 474309 0 0 0 109161 182 0 0 25 0 1 0 26417586 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 29
/proc/30601/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1093.43
Current children cumulated vsize (KiB) 0

[startup+1094.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 30633
/proc/meminfo: memFree=8740/2059040 swapFree=4134900/4192956
[pid=30601] ppid=30599 vsize=0 CPUtime=1093.53
/proc/30601/stat : 30601 (pbscip.linux.x8) R 30599 30601 29811 0 -1 4202500 474309 0 0 0 109161 192 0 0 25 0 1 0 26417586 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 29
/proc/30601/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1093.53
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1094.17
CPU time (s): 1093.6
CPU user time (s): 1091.61
CPU system time (s): 1.9927
CPU usage (%): 99.9479
Max. virtual memory (cumulated for all children) (KiB): 1885284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1091.61
system time used= 1.9927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474309
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= 5
involuntary context switches= 3563

runsolver used 1.77973 second user time and 5.21821 second system time

The end

Launcher Data 

Begin job on node050 at 2010-07-08 11:41:47
IDJOB=2704924
IDBENCH=77546
IDSOLVER=1213
FILE ID=node050/2704924-1278582107
PBS_JOBID= 11240076
Free space on /tmp= 62468 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/j120opt/normalized-j12019_5.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-2704924-1278582107/watcher-2704924-1278582107 -o /tmp/evaluation-result-2704924-1278582107/solver-2704924-1278582107 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704924-1278582107.opb -t 1800 -m 1800

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

MD5SUM BENCH= fca2bf846c4de68f23f92649fc394136
RANDOM SEED=2112850730

node050.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.248
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.49
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.248
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:       1746232 kB
Buffers:         47664 kB
Cached:         167280 kB
SwapCached:      12968 kB
Active:         150648 kB
Inactive:        80184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1746232 kB
SwapTotal:     4192956 kB
SwapFree:      4134900 kB
Dirty:           18256 kB
Writeback:           8 kB
AnonPages:       12816 kB
Mapped:           8432 kB
Slab:            60076 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183212 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 node050 at 2010-07-08 12:00:02