Trace number 2704954

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) 1087.75 1088.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1209_3.std.opb
MD5SUM1c629e857267ecd100f6323de081d52b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87
Best CPU time to get the best result obtained on this benchmark13.399
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 constraints234284
Number of constraints which are clauses233084
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 constraint72
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-2704954-1278582059.opb>
3.39/3.41	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234284 constraints
3.39/3.41	c problem read
3.39/3.41	c presolving settings loaded
4.59/4.64	c presolving:
19.49/19.51	c (round 1) 4241 del vars, 13107 del conss, 2837 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16116580 impls, 0 clqs
30.88/30.90	c (round 2) 11259 del vars, 36952 del conss, 9511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148865 impls, 0 clqs
34.28/34.39	c (round 3) 13579 del vars, 48084 del conss, 10815 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 16161729 impls, 0 clqs
36.19/36.30	c (round 4) 14618 del vars, 52115 del conss, 11453 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16168041 impls, 0 clqs
37.29/37.38	c (round 5) 15210 del vars, 54407 del conss, 11799 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16172729 impls, 0 clqs
38.08/38.11	c (round 6) 15551 del vars, 55719 del conss, 12008 chg bounds, 41 chg sides, 47 chg coeffs, 0 upgd conss, 16175276 impls, 0 clqs
38.49/38.56	c (round 7) 15706 del vars, 56418 del conss, 12118 chg bounds, 58 chg sides, 61 chg coeffs, 0 upgd conss, 16175953 impls, 0 clqs
38.68/38.78	c (round 8) 15769 del vars, 56728 del conss, 12151 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176149 impls, 0 clqs
38.88/38.96	c (round 9) 15779 del vars, 56805 del conss, 12156 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176325 impls, 0 clqs
39.08/39.13	c (round 10) 15789 del vars, 56845 del conss, 12161 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176513 impls, 0 clqs
39.28/39.30	c (round 11) 15795 del vars, 56873 del conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176561 impls, 0 clqs
40.59/40.68	c (round 12) 15795 del vars, 56879 del conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
42.18/42.20	c (round 13) 15795 del vars, 56879 del conss, 12164 chg bounds, 91 chg sides, 230 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
1086.82/1087.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1086.82/1087.13	c    (1083.7s) probing: 506/57047 (0.9%) - 0 fixings, 0 aggregations, 7087058 implications, 0 bound changes
1086.82/1087.13	c    (1083.7s) probing aborted: solving stopped
1086.82/1087.14	c presolving (14 rounds):
1086.82/1087.14	c  15795 deleted vars, 56885 deleted constraints, 12164 tightened bounds, 0 added holes, 102 changed sides, 254 changed coefficients
1086.82/1087.14	c  45093087 implications, 0 cliques
1086.82/1087.14	c presolved problem has 57047 variables (57047 bin, 0 int, 0 impl, 0 cont) and 177421 constraints
1086.82/1087.14	c    1151 constraints of type <knapsack>
1086.82/1087.14	c  148069 constraints of type <setppc>
1086.82/1087.14	c   28201 constraints of type <logicor>
1086.82/1087.14	c transformed objective value is always integral (scale: 1)
1086.82/1087.14	c Presolving Time: 1082.95
1086.82/1087.14	c - non default parameters ----------------------------------------------------------------------
1086.82/1087.14	c # SCIP version 1.2.1.3
1086.82/1087.14	c 
1086.82/1087.14	c # frequency for displaying node information lines
1086.82/1087.14	c # [type: int, range: [-1,2147483647], default: 100]
1086.82/1087.14	c display/freq = 10000
1086.82/1087.14	c 
1086.82/1087.14	c # maximal time in seconds to run
1086.82/1087.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1086.82/1087.14	c limits/time = 1786.59
1086.82/1087.14	c 
1086.82/1087.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1086.82/1087.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1086.82/1087.14	c limits/memory = 1620
1086.82/1087.14	c 
1086.82/1087.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
1086.82/1087.14	c # [type: int, range: [1,2], default: 1]
1086.82/1087.14	c timing/clocktype = 2
1086.82/1087.14	c 
1086.82/1087.14	c # should presolving try to simplify inequalities
1086.82/1087.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1086.82/1087.14	c constraints/linear/simplifyinequalities = TRUE
1086.82/1087.14	c 
1086.82/1087.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1086.82/1087.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1086.82/1087.14	c constraints/indicator/addCouplingCons = TRUE
1086.82/1087.14	c 
1086.82/1087.14	c # should presolving try to simplify knapsacks
1086.82/1087.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1086.82/1087.14	c constraints/knapsack/simplifyinequalities = TRUE
1086.82/1087.14	c 
1086.82/1087.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1086.82/1087.14	c # [type: int, range: [-1,2147483647], default: -1]
1086.82/1087.14	c separating/rapidlearning/freq = 0
1086.82/1087.14	c 
1086.82/1087.14	c -----------------------------------------------------------------------------------------------
1086.82/1087.14	c start solving
1087.01/1087.30	c 
1087.01/1087.30	c (node 0) switching to memory saving mode (mem: 1328.6M/1620.0M)
1087.52/1088.16	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
1087.52/1088.16	c [src/scip/lp.c:3540] ERROR: Insufficient memory for new chunk
1087.52/1088.16	c [src/scip/lp.c:3540] ERROR: No memory in function call
1087.52/1088.16	c [src/scip/scip.c:12056] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/cons_setppc.c:1401] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/cons_setppc.c:1424] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/cmain.c:674] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/cmain.c:849] ERROR: Error <-1> in function call
1087.52/1088.16	c [src/cmain.c:925] ERROR: Error <-1> in function call
1087.52/1088.16	c SCIP Error (-1): c insufficient memory errorc 
1087.52/1088.16	c Time complete: 1087.57.

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-2704954-1278582059/watcher-2704954-1278582059 -o /tmp/evaluation-result-2704954-1278582059/solver-2704954-1278582059 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704954-1278582059.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31943
/proc/meminfo: memFree=1781372/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=7904 CPUtime=0
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 1132 0 0 0 0 0 0 0 24 0 1 0 26414464 8093696 1043 1992294400 4194304 8395647 140736765544592 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 1976 1052 365 1026 0 946 0

[startup+0.016654 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31943
/proc/meminfo: memFree=1781372/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=10932 CPUtime=0
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 2026 0 0 0 0 0 0 0 24 0 1 0 26414464 11194368 1937 1992294400 4194304 8395647 140736765544592 18446744073709551615 5754990 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 2733 1937 393 1026 0 1703 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10932

[startup+0.100662 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31943
/proc/meminfo: memFree=1781372/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=18376 CPUtime=0.09
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 3885 0 0 0 9 0 0 0 24 0 1 0 26414464 18817024 3796 1992294400 4194304 8395647 140736765544592 18446744073709551615 6765573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 4594 3796 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.300681 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31943
/proc/meminfo: memFree=1781372/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=32748 CPUtime=0.29
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 7467 0 0 0 27 2 0 0 25 0 1 0 26414464 33533952 7378 1992294400 4194304 8395647 140736765544592 18446744073709551615 6348977 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 8187 7378 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700721 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 31943
/proc/meminfo: memFree=1781372/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=53392 CPUtime=0.69
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 12645 0 0 0 65 4 0 0 25 0 1 0 26414464 54673408 12556 1992294400 4194304 8395647 140736765544592 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 13348 12556 393 1026 0 12318 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53392

[startup+1.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31944
/proc/meminfo: memFree=1723828/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=75236 CPUtime=1.49
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 18079 0 0 0 143 6 0 0 25 0 1 0 26414464 77041664 17990 1992294400 4194304 8395647 140736765544592 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 18809 17990 393 1026 0 17779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75236

[startup+3.10096 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31944
/proc/meminfo: memFree=1689480/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=136056 CPUtime=3.09
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 33253 0 0 0 297 12 0 0 25 0 1 0 26414464 139321344 33164 1992294400 4194304 8395647 140736765544592 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31943/statm: 34014 33164 393 1026 0 32984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136056

[startup+6.30028 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31944
/proc/meminfo: memFree=1398080/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=442628 CPUtime=6.29
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 108656 0 0 0 590 39 0 0 25 0 1 0 26414464 453251072 108213 1992294400 4194304 8395647 140736765544592 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 110657 108213 463 1026 0 109627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 442628

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31944
/proc/meminfo: memFree=1109284/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=704168 CPUtime=12.68
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 173150 0 0 0 1208 60 0 0 25 0 1 0 26414464 721068032 172707 1992294400 4194304 8395647 140736765544592 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 176042 172707 469 1026 0 175012 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 704168

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31946
/proc/meminfo: memFree=948828/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=853192 CPUtime=25.48
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 208525 0 0 0 2476 72 0 0 25 0 1 0 26414464 873668608 208082 1992294400 4194304 8395647 140736765544592 18446744073709551615 6085526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 213298 208082 475 1026 0 212268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 853192

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31946
/proc/meminfo: memFree=849132/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=955704 CPUtime=51.08
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 240771 0 0 0 5025 83 0 0 25 0 1 0 26414464 978640896 233094 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 238926 233094 581 1026 0 237896 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 955704

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31948
/proc/meminfo: memFree=813420/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=993620 CPUtime=102.28
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 249681 0 0 0 10140 88 0 0 25 0 1 0 26414464 1017466880 242004 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 248405 242004 581 1026 0 247375 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 993620

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31948
/proc/meminfo: memFree=769772/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1039576 CPUtime=162.25
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 260571 0 0 0 16133 92 0 0 25 0 1 0 26414464 1064525824 252894 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 259894 252894 581 1026 0 258864 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1039576

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31950
/proc/meminfo: memFree=729720/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1078524 CPUtime=222.24
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 270664 0 0 0 22127 97 0 0 25 0 1 0 26414464 1104408576 262987 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 269631 262987 581 1026 0 268601 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1078524

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31952
/proc/meminfo: memFree=652592/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1159460 CPUtime=282.22
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 290076 0 0 0 28118 104 0 0 25 0 1 0 26414464 1187287040 282399 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 289865 282399 581 1026 0 288835 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1159460

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31954
/proc/meminfo: memFree=602124/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1209860 CPUtime=342.2
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 302555 0 0 0 34112 108 0 0 25 0 1 0 26414464 1238896640 294878 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 302465 294878 581 1026 0 301435 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1209860

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31956
/proc/meminfo: memFree=562320/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1248240 CPUtime=402.19
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 312327 0 0 0 40107 112 0 0 25 0 1 0 26414464 1278197760 304650 1992294400 4194304 8395647 140736765544592 18446744073709551615 4698201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 312060 304650 581 1026 0 311030 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1248240

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31956
/proc/meminfo: memFree=524996/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1286140 CPUtime=462.18
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 321736 0 0 0 46102 116 0 0 25 0 1 0 26414464 1317007360 314059 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 321535 314059 581 1026 0 320505 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1286140

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31958
/proc/meminfo: memFree=419348/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1390128 CPUtime=522.16
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 348110 0 0 0 52089 127 0 0 25 0 1 0 26414464 1423491072 340433 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 347532 340433 581 1026 0 346502 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1390128

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31960
/proc/meminfo: memFree=361440/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1451220 CPUtime=582.15
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 362794 0 0 0 58081 134 0 0 25 0 1 0 26414464 1486049280 355117 1992294400 4194304 8395647 140736765544592 18446744073709551615 4684134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 362805 355117 581 1026 0 361775 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1451220

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31962
/proc/meminfo: memFree=296092/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1517044 CPUtime=642.14
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 378744 0 0 0 64074 140 0 0 25 0 1 0 26414464 1553453056 371067 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 379261 371067 581 1026 0 378231 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1517044

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31964
/proc/meminfo: memFree=260628/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1553968 CPUtime=702.12
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 387565 0 0 0 70070 142 0 0 25 0 1 0 26414464 1591263232 379888 1992294400 4194304 8395647 140736765544592 18446744073709551615 5211829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 388492 379888 581 1026 0 387462 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 1553968

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31964
/proc/meminfo: memFree=185980/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1627944 CPUtime=762.11
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 406154 0 0 0 76062 149 0 0 25 0 1 0 26414464 1667014656 398477 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 406986 398477 581 1026 0 405956 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1627944

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31966
/proc/meminfo: memFree=144936/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1668648 CPUtime=822.08
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 416425 0 0 0 82055 153 0 0 25 0 1 0 26414464 1708695552 408748 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 417162 408748 581 1026 0 416132 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1668648

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31968
/proc/meminfo: memFree=102776/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1711268 CPUtime=882.07
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 426952 0 0 0 88050 157 0 0 25 0 1 0 26414464 1752338432 419275 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 427817 419275 581 1026 0 426787 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1711268

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31970
/proc/meminfo: memFree=67808/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1744900 CPUtime=942.05
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 435797 0 0 0 94044 161 0 0 25 0 1 0 26414464 1786777600 428120 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 436225 428120 581 1026 0 435195 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1744900

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31972
/proc/meminfo: memFree=38792/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1774296 CPUtime=1002.04
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 442933 0 0 0 100040 164 0 0 25 0 1 0 26414464 1816879104 435256 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 443574 435256 581 1026 0 442544 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1774296

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31972
/proc/meminfo: memFree=9264/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1813860 CPUtime=1062.02
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 452446 0 0 0 106034 168 0 0 25 0 1 0 26414464 1857392640 444769 1992294400 4194304 8395647 140736765544592 18446744073709551615 5210341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 453465 444769 581 1026 0 452435 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1813860



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1087.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31974
/proc/meminfo: memFree=9408/2059040 swapFree=4139444/4192956
[pid=31943] ppid=31941 vsize=1843912 CPUtime=1086.82
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 459960 0 0 0 108510 172 0 0 25 0 1 0 26414464 1888165888 452283 1992294400 4194304 8395647 140736765544592 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31943/statm: 460978 452283 581 1026 0 459948 0
Current children cumulated CPU time (s) 1086.82
Current children cumulated vsize (KiB) 1843912

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

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

[startup+1088.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31975
/proc/meminfo: memFree=9520/2059040 swapFree=4137904/4192956
[pid=31943] ppid=31941 vsize=1887084 CPUtime=1087.52
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202496 471400 0 0 0 108570 182 0 0 23 0 1 0 26414464 1932374016 463404 1992294400 4194304 8395647 140736765544592 18446744073709551615 4561195 0 0 4096 16384 0 0 0 17 1 0 0 30
/proc/31943/statm: 471771 463404 548 1026 0 470741 0
Current children cumulated CPU time (s) 1087.52
Current children cumulated vsize (KiB) 1887084

[startup+1088.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31975
/proc/meminfo: memFree=9520/2059040 swapFree=4137904/4192956
[pid=31943] ppid=31941 vsize=0 CPUtime=1087.71
/proc/31943/stat : 31943 (pbscip.linux.x8) R 31941 31943 30700 0 -1 4202500 473074 0 0 0 108573 198 0 0 18 0 1 0 26414464 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 30
/proc/31943/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1087.71
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1088.33
CPU time (s): 1087.75
CPU user time (s): 1085.73
CPU system time (s): 2.01169
CPU usage (%): 99.9461
Max. virtual memory (cumulated for all children) (KiB): 1887084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1085.73
system time used= 2.01169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473074
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= 13627

runsolver used 1.73873 second user time and 5.21921 second system time

The end

Launcher Data 

Begin job on node084 at 2010-07-08 11:41:00
IDJOB=2704954
IDBENCH=77457
IDSOLVER=1213
FILE ID=node084/2704954-1278582059
PBS_JOBID= 11240064
Free space on /tmp= 62492 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-j1209_3.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-2704954-1278582059/watcher-2704954-1278582059 -o /tmp/evaluation-result-2704954-1278582059/solver-2704954-1278582059 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704954-1278582059.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1c629e857267ecd100f6323de081d52b
RANDOM SEED=1140253486

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1782024 kB
Buffers:         21172 kB
Cached:         168468 kB
SwapCached:       6248 kB
Active:         139356 kB
Inactive:        63996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1782024 kB
SwapTotal:     4192956 kB
SwapFree:      4139444 kB
Dirty:           17496 kB
Writeback:           0 kB
AnonPages:       12176 kB
Mapped:          12016 kB
Slab:            52020 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182004 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= 62480 MiB
End job on node084 at 2010-07-08 11:59:09