Trace number 2704927

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) 939.635 940.074

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12021_8.std.opb
MD5SUM33a0c5076a13a0bc08e55dbdcaafa3d4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark8.84266
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 constraints245119
Number of constraints which are clauses243919
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 constraint37
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-2704927-1278581926.opb>
3.79/3.80	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints
3.79/3.80	c problem read
3.79/3.80	c presolving settings loaded
4.99/5.04	c presolving:
21.19/21.22	c (round 1) 6854 del vars, 20781 del conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs
33.78/33.88	c (round 2) 14849 del vars, 53140 del conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs
37.98/38.05	c (round 3) 17795 del vars, 66903 del conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs
40.78/40.80	c (round 4) 19319 del vars, 72661 del conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs
42.79/42.85	c (round 5) 20634 del vars, 77571 del conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs
44.18/44.26	c (round 6) 21481 del vars, 80847 del conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs
45.18/45.20	c (round 7) 22071 del vars, 83150 del conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs
45.78/45.86	c (round 8) 22469 del vars, 84751 del conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs
46.28/46.32	c (round 9) 22743 del vars, 85862 del conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs
46.58/46.63	c (round 10) 22932 del vars, 86610 del conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs
47.08/47.16	c (round 11) 23069 del vars, 87168 del conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs
47.38/47.44	c (round 12) 23173 del vars, 87614 del conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs
47.98/48.04	c (round 13) 23245 del vars, 87888 del conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs
48.08/48.18	c (round 14) 23325 del vars, 88226 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
48.28/48.32	c (round 15) 23325 del vars, 88252 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
49.49/49.55	c (round 16) 23325 del vars, 88252 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs
50.38/50.48	c (round 17) 23325 del vars, 88252 del conss, 18370 chg bounds, 153 chg sides, 292 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs
51.08/51.14	c (round 18) 23325 del vars, 88265 del conss, 18370 chg bounds, 196 chg sides, 404 chg coeffs, 156867 upgd conss, 16807226 impls, 3536 clqs
51.58/51.63	c (round 19) 23325 del vars, 88272 del conss, 18370 chg bounds, 205 chg sides, 428 chg coeffs, 156867 upgd conss, 16807226 impls, 3539 clqs
938.66/938.91	c pressed CTRL-C 1 times (5 times for forcing termination)
938.66/938.96	c    (935.2s) probing: 558/49517 (1.1%) - 1 fixings, 1 aggregations, 7206406 implications, 0 bound changes
938.66/938.96	c    (935.2s) probing aborted: solving stopped
938.66/938.98	c presolving (20 rounds):
938.66/938.98	c  23327 deleted vars, 88272 deleted constraints, 18370 tightened bounds, 0 added holes, 205 changed sides, 428 changed coefficients
938.66/938.98	c  48233252 implications, 3508 cliques
938.66/938.98	c presolved problem has 49515 variables (49515 bin, 0 int, 0 impl, 0 cont) and 156912 constraints
938.66/938.98	c    1089 constraints of type <knapsack>
938.66/938.98	c  131412 constraints of type <setppc>
938.66/938.98	c   24411 constraints of type <logicor>
938.66/938.98	c transformed objective value is always integral (scale: 1)
938.66/938.98	c Presolving Time: 934.39
938.66/938.98	c - non default parameters ----------------------------------------------------------------------
938.66/938.98	c # SCIP version 1.2.1.3
938.66/938.98	c 
938.66/938.98	c # frequency for displaying node information lines
938.66/938.98	c # [type: int, range: [-1,2147483647], default: 100]
938.66/938.98	c display/freq = 10000
938.66/938.98	c 
938.66/938.98	c # maximal time in seconds to run
938.66/938.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
938.66/938.98	c limits/time = 1786.2
938.66/938.98	c 
938.66/938.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
938.66/938.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
938.66/938.98	c limits/memory = 1620
938.66/938.98	c 
938.66/938.98	c # default clock type (1: CPU user seconds, 2: wall clock time)
938.66/938.98	c # [type: int, range: [1,2], default: 1]
938.66/938.98	c timing/clocktype = 2
938.66/938.98	c 
938.66/938.98	c # should presolving try to simplify inequalities
938.66/938.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
938.66/938.98	c constraints/linear/simplifyinequalities = TRUE
938.66/938.98	c 
938.66/938.98	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
938.66/938.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
938.66/938.98	c constraints/indicator/addCouplingCons = TRUE
938.66/938.98	c 
938.66/938.98	c # should presolving try to simplify knapsacks
938.66/938.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
938.66/938.98	c constraints/knapsack/simplifyinequalities = TRUE
938.66/938.98	c 
938.66/938.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
938.66/938.98	c # [type: int, range: [-1,2147483647], default: -1]
938.66/938.98	c separating/rapidlearning/freq = 0
938.66/938.98	c 
938.66/938.98	c -----------------------------------------------------------------------------------------------
938.66/938.98	c start solving
938.84/939.12	c 
938.84/939.12	c (node 0) switching to memory saving mode (mem: 1340.2M/1620.0M)
939.37/939.90	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
939.37/939.90	c [src/scip/lp.c:3540] ERROR: Insufficient memory for new chunk
939.37/939.90	c [src/scip/lp.c:3540] ERROR: No memory in function call
939.37/939.90	c [src/scip/scip.c:12056] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/cons_setppc.c:1401] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/cons_setppc.c:1424] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
939.37/939.90	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
939.37/939.90	c [src/cmain.c:674] ERROR: Error <-1> in function call
939.37/939.90	c [src/cmain.c:849] ERROR: Error <-1> in function call
939.37/939.90	c [src/cmain.c:925] ERROR: Error <-1> in function call
939.37/939.90	c SCIP Error (-1): c insufficient memory errorc 
939.37/939.90	c Time complete: 939.46.

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-2704927-1278581926/watcher-2704927-1278581926 -o /tmp/evaluation-result-2704927-1278581926/solver-2704927-1278581926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704927-1278581926.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.95 3/106 4406
/proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=7904 CPUtime=0
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 1743733 8093696 979 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 1976 987 365 1026 0 946 0

[startup+0.0322421 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 4406
/proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=12092 CPUtime=0.02
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 2321 0 0 0 2 0 0 0 20 0 1 0 1743733 12382208 2232 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 3023 2232 393 1026 0 1993 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12092

[startup+0.101254 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 4406
/proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=18372 CPUtime=0.09
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 3871 0 0 0 8 1 0 0 20 0 1 0 1743733 18812928 3782 1992294400 4194304 8395647 140735809978336 18446744073709551615 6765685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 4593 3782 393 1026 0 3563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18372

[startup+0.300274 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 4406
/proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=32744 CPUtime=0.29
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 7458 0 0 0 27 2 0 0 20 0 1 0 1743733 33529856 7369 1992294400 4194304 8395647 140735809978336 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 8186 7369 393 1026 0 7156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32744

[startup+0.700321 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 4406
/proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=53124 CPUtime=0.69
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 12588 0 0 0 65 4 0 0 20 0 1 0 1743733 54398976 12499 1992294400 4194304 8395647 140735809978336 18446744073709551615 7278805 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 13281 12499 393 1026 0 12251 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53124

[startup+1.50041 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4407
/proc/meminfo: memFree=1682112/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=71892 CPUtime=1.49
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 17257 0 0 0 143 6 0 0 22 0 1 0 1743733 73617408 17168 1992294400 4194304 8395647 140735809978336 18446744073709551615 7370187 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 17973 17168 393 1026 0 16943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71892

[startup+3.1006 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4407
/proc/meminfo: memFree=1655452/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=123120 CPUtime=3.09
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 30025 0 0 0 297 12 0 0 25 0 1 0 1743733 126074880 29936 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4406/statm: 30780 29936 393 1026 0 29750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123120

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4407
/proc/meminfo: memFree=1371864/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=421880 CPUtime=6.29
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 103641 0 0 0 591 38 0 0 25 0 1 0 1743733 432005120 103198 1992294400 4194304 8395647 140735809978336 18446744073709551615 5049837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 105470 103198 463 1026 0 104440 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 421880

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4407
/proc/meminfo: memFree=1092616/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=675372 CPUtime=12.69
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 166597 0 0 0 1209 60 0 0 25 0 1 0 1743733 691580928 166154 1992294400 4194304 8395647 140735809978336 18446744073709551615 4684112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 168843 166154 469 1026 0 167813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 675372

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4408
/proc/meminfo: memFree=900664/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=856544 CPUtime=25.48
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 209613 0 0 0 2475 73 0 0 25 0 1 0 1743733 877101056 209170 1992294400 4194304 8395647 140735809978336 18446744073709551615 6085496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 214136 209170 475 1026 0 213106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 856544

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4408
/proc/meminfo: memFree=841764/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=915392 CPUtime=51.08
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 227854 0 0 0 5028 80 0 0 25 0 1 0 1743733 937361408 223963 1992294400 4194304 8395647 140735809978336 18446744073709551615 5598803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 228848 223963 555 1026 0 227818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915392

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4410
/proc/meminfo: memFree=803820/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=957124 CPUtime=102.27
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 237496 0 0 0 10144 83 0 0 25 0 1 0 1743733 980094976 233575 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 239281 233575 551 1026 0 238251 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 957124

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4411
/proc/meminfo: memFree=766620/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=994980 CPUtime=162.24
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 246745 0 0 0 16138 86 0 0 25 0 1 0 1743733 1018859520 242824 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 248745 242824 551 1026 0 247715 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 994980

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4413
/proc/meminfo: memFree=699288/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1063588 CPUtime=222.23
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 263427 0 0 0 22132 91 0 0 25 0 1 0 1743733 1089114112 259506 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 265897 259506 551 1026 0 264867 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1063588

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4414
/proc/meminfo: memFree=610256/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1165584 CPUtime=282.21
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 289082 0 0 0 28121 100 0 0 25 0 1 0 1743733 1193558016 285161 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 291396 285161 551 1026 0 290366 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1165584

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4416
/proc/meminfo: memFree=511676/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1250992 CPUtime=342.2
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 310208 0 0 0 34112 108 0 0 25 0 1 0 1743733 1281015808 306287 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 312748 306287 551 1026 0 311718 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1250992

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4418
/proc/meminfo: memFree=441492/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1324288 CPUtime=402.18
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 327714 0 0 0 40103 115 0 0 25 0 1 0 1743733 1356070912 323793 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 331072 323793 551 1026 0 330042 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1324288

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4419
/proc/meminfo: memFree=360272/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1406332 CPUtime=462.16
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 348221 0 0 0 46094 122 0 0 25 0 1 0 1743733 1440083968 344300 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 351583 344300 551 1026 0 350553 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1406332

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4421
/proc/meminfo: memFree=298520/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1467352 CPUtime=522.15
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 363455 0 0 0 52087 128 0 0 25 0 1 0 1743733 1502568448 359534 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 366838 359534 551 1026 0 365808 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1467352

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 4422
/proc/meminfo: memFree=244828/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1522296 CPUtime=582.13
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 376894 0 0 0 58081 132 0 0 25 0 1 0 1743733 1558831104 372973 1992294400 4194304 8395647 140735809978336 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 380574 372973 551 1026 0 379544 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1522296

[startup+642.301 s]
/proc/loadavg: 1.06 1.02 0.96 2/107 4427
/proc/meminfo: memFree=186424/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1579784 CPUtime=642.12
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 391161 0 0 0 64073 139 0 0 25 0 1 0 1743733 1617698816 387240 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 394946 387240 551 1026 0 393916 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1579784

[startup+702.301 s]
/proc/loadavg: 1.02 1.01 0.96 2/107 4429
/proc/meminfo: memFree=117232/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1648752 CPUtime=702.1
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 408743 0 0 0 70064 146 0 0 25 0 1 0 1743733 1688322048 404822 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 412188 404822 551 1026 0 411158 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1648752

[startup+762.308 s]
/proc/loadavg: 1.01 1.00 0.96 2/107 4430
/proc/meminfo: memFree=46056/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1720096 CPUtime=762.09
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 426225 0 0 0 76055 154 0 0 25 0 1 0 1743733 1761378304 422304 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 430024 422304 551 1026 0 428994 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1720096

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 4432
/proc/meminfo: memFree=10720/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1760624 CPUtime=822.07
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 436548 0 0 0 82048 159 0 0 25 0 1 0 1743733 1802878976 432627 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 440156 432627 551 1026 0 439126 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1760624

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 4433
/proc/meminfo: memFree=9236/2059040 swapFree=4192956/4192956
[pid=4406] ppid=4404 vsize=1806196 CPUtime=882.05
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 448373 0 0 0 88039 166 0 0 25 0 1 0 1743733 1849544704 444452 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 451549 444452 551 1026 0 450519 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1806196



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+938.906 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 4435
/proc/meminfo: memFree=9240/2059040 swapFree=4182088/4192956
[pid=4406] ppid=4404 vsize=1844172 CPUtime=938.66
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 457201 0 0 0 93695 171 0 0 25 0 1 0 1743733 1888432128 453280 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 461043 453280 551 1026 0 460013 0
Current children cumulated CPU time (s) 938.66
Current children cumulated vsize (KiB) 1844172

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

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

[startup+939.022 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 4435
/proc/meminfo: memFree=9240/2059040 swapFree=4182088/4192956
[pid=4406] ppid=4404 vsize=1845196 CPUtime=938.76
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 457474 0 0 0 93705 171 0 0 25 0 1 0 1743733 1889480704 453553 1992294400 4194304 8395647 140735809978336 18446744073709551615 4215691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4406/statm: 461299 453553 560 1026 0 460269 0
Current children cumulated CPU time (s) 938.76
Current children cumulated vsize (KiB) 1845196

[startup+939.812 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 4436
/proc/meminfo: memFree=7808/2059040 swapFree=4175356/4192956
[pid=4406] ppid=4404 vsize=1884340 CPUtime=939.37
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 467949 0 0 0 93755 182 0 0 25 0 1 0 1743733 1929564160 463725 1992294400 4194304 8395647 140735809978336 18446744073709551615 6152678 0 0 4096 16384 0 0 0 17 1 0 0 18
/proc/4406/statm: 471085 463725 543 1026 0 470055 0
Current children cumulated CPU time (s) 939.37
Current children cumulated vsize (KiB) 1884340

[startup+940.002 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 4436
/proc/meminfo: memFree=7808/2059040 swapFree=4175356/4192956
[pid=4406] ppid=4404 vsize=0 CPUtime=939.56
/proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202500 470307 0 0 0 93763 193 0 0 25 0 1 0 1743733 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 18
/proc/4406/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 939.56
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 940.074
CPU time (s): 939.635
CPU user time (s): 937.631
CPU system time (s): 2.00369
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 1884340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 937.631
system time used= 2.0037
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470307
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= 10
involuntary context switches= 1751

runsolver used 1.57876 second user time and 4.44132 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-08 11:38:46
IDJOB=2704927
IDBENCH=77130
IDSOLVER=1213
FILE ID=node033/2704927-1278581926
PBS_JOBID= 11240091
Free space on /tmp= 62504 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-j12021_8.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-2704927-1278581926/watcher-2704927-1278581926 -o /tmp/evaluation-result-2704927-1278581926/solver-2704927-1278581926 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704927-1278581926.opb -t 1800 -m 1800

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

MD5SUM BENCH= 33a0c5076a13a0bc08e55dbdcaafa3d4
RANDOM SEED=1006859123

node033.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.224
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
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:       1738076 kB
Buffers:         54576 kB
Cached:         158456 kB
SwapCached:          0 kB
Active:         122600 kB
Inactive:       149604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738076 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           17492 kB
Writeback:           0 kB
AnonPages:       59108 kB
Mapped:          14384 kB
Slab:            26964 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179456 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= 62496 MiB
End job on node033 at 2010-07-08 11:54:27