Trace number 2704919

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) 1149.71 1150

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12013_5.std.opb
MD5SUM5495138de3d55ac13cf4e73f1acf7a00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.18
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 constraints234296
Number of constraints which are clauses233096
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 constraint95
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-2704919-1278581936.opb>
3.69/3.73	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234296 constraints
3.69/3.73	c problem read
3.69/3.73	c presolving settings loaded
4.99/5.03	c presolving:
20.68/20.75	c (round 1) 4401 del vars, 13292 del conss, 2967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16153960 impls, 0 clqs
31.89/31.95	c (round 2) 11561 del vars, 36582 del conss, 9812 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16185724 impls, 0 clqs
35.58/35.61	c (round 3) 14138 del vars, 48236 del conss, 11247 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 16200531 impls, 0 clqs
37.58/37.68	c (round 4) 15217 del vars, 52455 del conss, 11913 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16207806 impls, 0 clqs
38.69/38.72	c (round 5) 15691 del vars, 54605 del conss, 12192 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16210865 impls, 0 clqs
39.09/39.18	c (round 6) 15877 del vars, 55472 del conss, 12279 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16212299 impls, 0 clqs
39.39/39.45	c (round 7) 15953 del vars, 55840 del conss, 12309 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213041 impls, 0 clqs
39.59/39.66	c (round 8) 15977 del vars, 55968 del conss, 12321 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213249 impls, 0 clqs
39.79/39.84	c (round 9) 15985 del vars, 56020 del conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213317 impls, 0 clqs
41.28/41.34	c (round 10) 15985 del vars, 56032 del conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
43.68/43.76	c (round 11) 15985 del vars, 56035 del conss, 12325 chg bounds, 114 chg sides, 280 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
1148.69/1149.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1148.69/1149.03	c    (1145.3s) probing: 432/56857 (0.8%) - 0 fixings, 0 aggregations, 7039502 implications, 0 bound changes
1148.69/1149.03	c    (1145.3s) probing aborted: solving stopped
1148.69/1149.04	c presolving (12 rounds):
1148.69/1149.04	c  15985 deleted vars, 56046 deleted constraints, 12325 tightened bounds, 0 added holes, 119 changed sides, 302 changed coefficients
1148.69/1149.04	c  44498783 implications, 0 cliques
1148.69/1149.04	c presolved problem has 56857 variables (56857 bin, 0 int, 0 impl, 0 cont) and 178292 constraints
1148.69/1149.04	c    1123 constraints of type <knapsack>
1148.69/1149.04	c  149065 constraints of type <setppc>
1148.69/1149.04	c   28104 constraints of type <logicor>
1148.69/1149.04	c transformed objective value is always integral (scale: 1)
1148.69/1149.04	c Presolving Time: 1144.47
1148.69/1149.04	c - non default parameters ----------------------------------------------------------------------
1148.69/1149.04	c # SCIP version 1.2.1.3
1148.69/1149.04	c 
1148.69/1149.04	c # frequency for displaying node information lines
1148.69/1149.04	c # [type: int, range: [-1,2147483647], default: 100]
1148.69/1149.04	c display/freq = 10000
1148.69/1149.04	c 
1148.69/1149.04	c # maximal time in seconds to run
1148.69/1149.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1148.69/1149.04	c limits/time = 1786.27
1148.69/1149.04	c 
1148.69/1149.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1148.69/1149.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1148.69/1149.04	c limits/memory = 1620
1148.69/1149.04	c 
1148.69/1149.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
1148.69/1149.04	c # [type: int, range: [1,2], default: 1]
1148.69/1149.04	c timing/clocktype = 2
1148.69/1149.04	c 
1148.69/1149.04	c # should presolving try to simplify inequalities
1148.69/1149.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1148.69/1149.04	c constraints/linear/simplifyinequalities = TRUE
1148.69/1149.04	c 
1148.69/1149.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1148.69/1149.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1148.69/1149.04	c constraints/indicator/addCouplingCons = TRUE
1148.69/1149.04	c 
1148.69/1149.04	c # should presolving try to simplify knapsacks
1148.69/1149.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1148.69/1149.04	c constraints/knapsack/simplifyinequalities = TRUE
1148.69/1149.04	c 
1148.69/1149.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1148.69/1149.04	c # [type: int, range: [-1,2147483647], default: -1]
1148.69/1149.04	c separating/rapidlearning/freq = 0
1148.69/1149.04	c 
1148.69/1149.04	c -----------------------------------------------------------------------------------------------
1148.69/1149.04	c start solving
1148.89/1149.21	c 
1148.89/1149.21	c (node 0) switching to memory saving mode (mem: 1314.0M/1620.0M)
1149.51/1149.82	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
1149.51/1149.82	c [src/scip/lp.c:3540] ERROR: Insufficient memory for new chunk
1149.51/1149.82	c [src/scip/lp.c:3540] ERROR: No memory in function call
1149.51/1149.82	c [src/scip/scip.c:12056] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/cons_setppc.c:1401] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/cons_setppc.c:1424] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/cmain.c:674] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/cmain.c:849] ERROR: Error <-1> in function call
1149.51/1149.82	c [src/cmain.c:925] ERROR: Error <-1> in function call
1149.51/1149.82	c SCIP Error (-1): c insufficient memory errorc 
1149.51/1149.82	c Time complete: 1149.51.

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-2704919-1278581936/watcher-2704919-1278581936 -o /tmp/evaluation-result-2704919-1278581936/solver-2704919-1278581936 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704919-1278581936.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/106 27956
/proc/meminfo: memFree=1606092/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=7904 CPUtime=0
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 1138 0 0 0 0 0 0 0 20 0 1 0 26407202 8093696 1049 1992294400 4194304 8395647 140737270183872 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 1976 1057 365 1026 0 946 0

[startup+0.013742 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27956
/proc/meminfo: memFree=1606092/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=10540 CPUtime=0
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 1917 0 0 0 0 0 0 0 20 0 1 0 26407202 10792960 1828 1992294400 4194304 8395647 140737270183872 18446744073709551615 5754816 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 2635 1829 393 1026 0 1605 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10540

[startup+0.10173 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27956
/proc/meminfo: memFree=1606092/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=18376 CPUtime=0.09
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 3872 0 0 0 8 1 0 0 20 0 1 0 26407202 18817024 3783 1992294400 4194304 8395647 140737270183872 18446744073709551615 7276205 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.301751 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27956
/proc/meminfo: memFree=1606092/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=32748 CPUtime=0.29
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 7461 0 0 0 27 2 0 0 20 0 1 0 26407202 33533952 7372 1992294400 4194304 8395647 140737270183872 18446744073709551615 6766217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 8187 7372 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.701793 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27956
/proc/meminfo: memFree=1606092/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=53320 CPUtime=0.69
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 12606 0 0 0 65 4 0 0 20 0 1 0 26407202 54599680 12517 1992294400 4194304 8395647 140737270183872 18446744073709551615 6765799 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 13330 12517 393 1026 0 12300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53320

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27957
/proc/meminfo: memFree=1550780/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=72152 CPUtime=1.49
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 17310 0 0 0 142 7 0 0 22 0 1 0 26407202 73883648 17221 1992294400 4194304 8395647 140737270183872 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 18038 17221 393 1026 0 17008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72152

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27957
/proc/meminfo: memFree=1520648/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=127360 CPUtime=3.09
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 31084 0 0 0 296 13 0 0 25 0 1 0 26407202 130416640 30995 1992294400 4194304 8395647 140737270183872 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27956/statm: 31840 30995 393 1026 0 30810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127360

[startup+6.30138 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27957
/proc/meminfo: memFree=1243756/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=419256 CPUtime=6.29
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 102810 0 0 0 591 38 0 0 25 0 1 0 26407202 429318144 102367 1992294400 4194304 8395647 140737270183872 18446744073709551615 6079715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 104814 102367 463 1026 0 103784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 419256

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27957
/proc/meminfo: memFree=960788/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=681556 CPUtime=12.69
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 168013 0 0 0 1208 61 0 0 25 0 1 0 26407202 697913344 167570 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 170389 167570 469 1026 0 169359 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 681556

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27957
/proc/meminfo: memFree=769952/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=857484 CPUtime=25.48
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 209419 0 0 0 2474 74 0 0 25 0 1 0 26407202 878063616 208976 1992294400 4194304 8395647 140737270183872 18446744073709551615 6085513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 214371 208976 475 1026 0 213341 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 857484

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27959
/proc/meminfo: memFree=676456/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=952480 CPUtime=51.08
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 240122 0 0 0 5022 86 0 0 25 0 1 0 26407202 975339520 232411 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 238120 232411 547 1026 0 237090 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 952480

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27959
/proc/meminfo: memFree=624624/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1008036 CPUtime=102.27
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 253017 0 0 0 10135 92 0 0 25 0 1 0 26407202 1032228864 245306 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 252009 245306 547 1026 0 250979 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1008036

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27961
/proc/meminfo: memFree=582464/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1051440 CPUtime=162.25
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 263704 0 0 0 16129 96 0 0 25 0 1 0 26407202 1076674560 255993 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 262860 255993 547 1026 0 261830 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1051440

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27963
/proc/meminfo: memFree=547124/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1087572 CPUtime=222.24
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 272337 0 0 0 22124 100 0 0 25 0 1 0 26407202 1113673728 264626 1992294400 4194304 8395647 140737270183872 18446744073709551615 4743946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 271893 264626 547 1026 0 270863 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1087572

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27965
/proc/meminfo: memFree=498516/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1135028 CPUtime=282.22
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 284461 0 0 0 28118 104 0 0 25 0 1 0 26407202 1162268672 276750 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 283757 276750 547 1026 0 282727 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1135028

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27967
/proc/meminfo: memFree=426100/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1212600 CPUtime=342.21
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 302657 0 0 0 34109 112 0 0 25 0 1 0 26407202 1241702400 294946 1992294400 4194304 8395647 140737270183872 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 303150 294946 547 1026 0 302120 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1212600

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27967
/proc/meminfo: memFree=377864/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1259848 CPUtime=402.19
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 314829 0 0 0 40102 117 0 0 25 0 1 0 26407202 1290084352 307118 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 314962 307118 547 1026 0 313932 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1259848

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27969
/proc/meminfo: memFree=330868/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1305716 CPUtime=462.17
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 326280 0 0 0 46097 120 0 0 25 0 1 0 26407202 1337053184 318569 1992294400 4194304 8395647 140737270183872 18446744073709551615 4659782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 326429 318569 547 1026 0 325399 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1305716

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27971
/proc/meminfo: memFree=294164/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1343132 CPUtime=522.15
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 335444 0 0 0 52092 123 0 0 25 0 1 0 26407202 1375367168 327733 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 335783 327733 547 1026 0 334753 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1343132

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27973
/proc/meminfo: memFree=249400/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1388012 CPUtime=582.14
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 346582 0 0 0 58086 128 0 0 25 0 1 0 26407202 1421324288 338871 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 347003 338871 547 1026 0 345973 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1388012

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27975
/proc/meminfo: memFree=181572/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1454500 CPUtime=642.13
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 363519 0 0 0 64078 135 0 0 25 0 1 0 26407202 1489408000 355808 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 363625 355808 547 1026 0 362595 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1454500

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27975
/proc/meminfo: memFree=139660/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1497328 CPUtime=702.11
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 373945 0 0 0 70071 140 0 0 25 0 1 0 26407202 1533263872 366234 1992294400 4194304 8395647 140737270183872 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 374332 366234 547 1026 0 373302 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1497328

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27977
/proc/meminfo: memFree=112008/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1524256 CPUtime=762.1
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 380833 0 0 0 76067 143 0 0 25 0 1 0 26407202 1560838144 373122 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 381064 373122 547 1026 0 380034 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1524256

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27979
/proc/meminfo: memFree=36120/2059040 swapFree=4161224/4192956
[pid=27956] ppid=27954 vsize=1602180 CPUtime=822.08
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 399767 0 0 0 82057 151 0 0 25 0 1 0 26407202 1640632320 392056 1992294400 4194304 8395647 140737270183872 18446744073709551615 7385654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 400545 392056 547 1026 0 399515 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1602180

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27981
/proc/meminfo: memFree=10120/2059040 swapFree=4156876/4192956
[pid=27956] ppid=27954 vsize=1629260 CPUtime=882.06
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 406885 0 0 0 88053 153 0 0 25 0 1 0 26407202 1668362240 399174 1992294400 4194304 8395647 140737270183872 18446744073709551615 4737505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 407315 399174 547 1026 0 406285 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1629260

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27983
/proc/meminfo: memFree=10752/2059040 swapFree=4141096/4192956
[pid=27956] ppid=27954 vsize=1669808 CPUtime=942.05
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 417069 0 0 0 94047 158 0 0 25 0 1 0 26407202 1709883392 409358 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 417452 409358 547 1026 0 416422 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1669808

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27983
/proc/meminfo: memFree=9828/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1750924 CPUtime=1002.03
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 437588 0 0 0 100034 169 0 0 25 0 1 0 26407202 1792946176 429877 1992294400 4194304 8395647 140737270183872 18446744073709551615 5210543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 437731 429877 547 1026 0 436701 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1750924

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27985
/proc/meminfo: memFree=9532/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1790664 CPUtime=1062.02
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 447461 0 0 0 106028 174 0 0 25 0 1 0 26407202 1833639936 439750 1992294400 4194304 8395647 140737270183872 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 447666 439750 547 1026 0 446636 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1790664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27987
/proc/meminfo: memFree=10464/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1832292 CPUtime=1122
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 457605 0 0 0 112021 179 0 0 25 0 1 0 26407202 1876267008 449894 1992294400 4194304 8395647 140737270183872 18446744073709551615 4705195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 458073 449894 547 1026 0 457043 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1832292



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1149 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27987
/proc/meminfo: memFree=9228/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1843496 CPUtime=1148.69
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 460706 0 0 0 114689 180 0 0 25 0 1 0 26407202 1887739904 452995 1992294400 4194304 8395647 140737270183872 18446744073709551615 6080125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 460874 452995 547 1026 0 459844 0
Current children cumulated CPU time (s) 1148.69
Current children cumulated vsize (KiB) 1843496

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

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

[startup+1149.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27988
/proc/meminfo: memFree=10448/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1859228 CPUtime=1149.1
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 464893 0 0 0 114728 182 0 0 25 0 1 0 26407202 1903849472 457182 1992294400 4194304 8395647 140737270183872 18446744073709551615 6152776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 464807 457182 578 1026 0 463777 0
Current children cumulated CPU time (s) 1149.1
Current children cumulated vsize (KiB) 1859228

[startup+1149.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27988
/proc/meminfo: memFree=10448/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=1893912 CPUtime=1149.51
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202496 473833 0 0 0 114764 187 0 0 25 0 1 0 26407202 1939365888 465789 1992294400 4194304 8395647 140737270183872 18446744073709551615 4561219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27956/statm: 473478 465789 543 1026 0 472448 0
Current children cumulated CPU time (s) 1149.51
Current children cumulated vsize (KiB) 1893912

[startup+1150 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27988
/proc/meminfo: memFree=10448/2059040 swapFree=4141092/4192956
[pid=27956] ppid=27954 vsize=0 CPUtime=1149.69
/proc/27956/stat : 27956 (pbscip.linux.x8) R 27954 27956 27321 0 -1 4202500 473866 0 0 0 114764 205 0 0 25 0 1 0 26407202 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/27956/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1149.69
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1150
CPU time (s): 1149.71
CPU user time (s): 1147.65
CPU system time (s): 2.05869
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1893912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1147.65
system time used= 2.05869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2381

runsolver used 1.93071 second user time and 5.42117 second system time

The end

Launcher Data 

Begin job on node007 at 2010-07-08 11:38:56
IDJOB=2704919
IDBENCH=77200
IDSOLVER=1213
FILE ID=node007/2704919-1278581936
PBS_JOBID= 11240108
Free space on /tmp= 62524 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-j12013_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-2704919-1278581936/watcher-2704919-1278581936 -o /tmp/evaluation-result-2704919-1278581936/solver-2704919-1278581936 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704919-1278581936.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5495138de3d55ac13cf4e73f1acf7a00
RANDOM SEED=302870165

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1606620 kB
Buffers:         95076 kB
Cached:         238508 kB
SwapCached:       1860 kB
Active:         164744 kB
Inactive:       198768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1606620 kB
SwapTotal:     4192956 kB
SwapFree:      4161224 kB
Dirty:           17900 kB
Writeback:           0 kB
AnonPages:       28136 kB
Mapped:          13052 kB
Slab:            66840 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180932 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= 62512 MiB
End job on node007 at 2010-07-08 11:58:08