Trace number 2704978

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) 1657.56 1657.97

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_9.std.opb
MD5SUMb0c7829ae2c1e7f3e474b84d63238c03
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176329
Number of constraints which are clauses175129
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 constraint90
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-2704978-1278582207.opb>
2.89/2.94	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176329 constraints
2.89/2.94	c problem read
2.89/2.94	c presolving settings loaded
3.89/3.95	c presolving:
15.59/15.62	c (round 1) 3449 del vars, 9729 del conss, 2459 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12022042 impls, 0 clqs
21.79/21.80	c (round 2) 7749 del vars, 26366 del conss, 6513 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12040298 impls, 0 clqs
23.79/23.87	c (round 3) 9287 del vars, 33150 del conss, 7451 chg bounds, 27 chg sides, 23 chg coeffs, 0 upgd conss, 12048030 impls, 0 clqs
25.39/25.44	c (round 4) 10310 del vars, 36791 del conss, 8218 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12055383 impls, 0 clqs
26.49/26.57	c (round 5) 11054 del vars, 39474 del conss, 8752 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12059081 impls, 0 clqs
26.99/27.07	c (round 6) 11400 del vars, 40936 del conss, 8965 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12060841 impls, 0 clqs
27.40/27.44	c (round 7) 11560 del vars, 41544 del conss, 9063 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062062 impls, 0 clqs
27.59/27.66	c (round 8) 11630 del vars, 41898 del conss, 9105 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062554 impls, 0 clqs
27.79/27.84	c (round 9) 11672 del vars, 42089 del conss, 9135 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062798 impls, 0 clqs
27.99/28.01	c (round 10) 11708 del vars, 42237 del conss, 9162 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062970 impls, 0 clqs
28.09/28.15	c (round 11) 11722 del vars, 42310 del conss, 9171 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063014 impls, 0 clqs
28.19/28.28	c (round 12) 11726 del vars, 42334 del conss, 9173 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063044 impls, 0 clqs
28.39/28.40	c (round 13) 11730 del vars, 42350 del conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063054 impls, 0 clqs
29.49/29.54	c (round 14) 11730 del vars, 42354 del conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
1357.85/1358.22	c    (1355.3s) probing: 1000/43052 (2.3%) - 3 fixings, 1 aggregations, 8955179 implications, 0 bound changes
1656.60/1657.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1656.60/1657.06	c    (1654.1s) probing: 1278/43052 (3.0%) - 3 fixings, 1 aggregations, 10376308 implications, 0 bound changes
1656.60/1657.06	c    (1654.1s) probing aborted: solving stopped
1656.60/1657.07	c presolving (15 rounds):
1656.60/1657.07	c  11734 deleted vars, 42354 deleted constraints, 9175 tightened bounds, 0 added holes, 42 changed sides, 153 changed coefficients
1656.60/1657.07	c  47935680 implications, 0 cliques
1656.60/1657.07	c presolved problem has 43048 variables (43048 bin, 0 int, 0 impl, 0 cont) and 133982 constraints
1656.60/1657.07	c    1178 constraints of type <knapsack>
1656.60/1657.07	c  111493 constraints of type <setppc>
1656.60/1657.07	c   21311 constraints of type <logicor>
1656.60/1657.07	c transformed objective value is always integral (scale: 1)
1656.60/1657.07	c Presolving Time: 1653.47
1656.60/1657.07	c - non default parameters ----------------------------------------------------------------------
1656.60/1657.07	c # SCIP version 1.2.1.3
1656.60/1657.07	c 
1656.60/1657.07	c # frequency for displaying node information lines
1656.60/1657.07	c # [type: int, range: [-1,2147483647], default: 100]
1656.60/1657.07	c display/freq = 10000
1656.60/1657.07	c 
1656.60/1657.07	c # maximal time in seconds to run
1656.60/1657.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1656.60/1657.07	c limits/time = 1787.07
1656.60/1657.07	c 
1656.60/1657.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1656.60/1657.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1656.60/1657.07	c limits/memory = 1620
1656.60/1657.07	c 
1656.60/1657.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
1656.60/1657.07	c # [type: int, range: [1,2], default: 1]
1656.60/1657.07	c timing/clocktype = 2
1656.60/1657.07	c 
1656.60/1657.07	c # should presolving try to simplify inequalities
1656.60/1657.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1656.60/1657.07	c constraints/linear/simplifyinequalities = TRUE
1656.60/1657.07	c 
1656.60/1657.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1656.60/1657.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1656.60/1657.07	c constraints/indicator/addCouplingCons = TRUE
1656.60/1657.07	c 
1656.60/1657.07	c # should presolving try to simplify knapsacks
1656.60/1657.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1656.60/1657.07	c constraints/knapsack/simplifyinequalities = TRUE
1656.60/1657.07	c 
1656.60/1657.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1656.60/1657.07	c # [type: int, range: [-1,2147483647], default: -1]
1656.60/1657.07	c separating/rapidlearning/freq = 0
1656.60/1657.07	c 
1656.60/1657.07	c -----------------------------------------------------------------------------------------------
1656.60/1657.07	c start solving
1656.70/1657.19	c 
1656.70/1657.19	c (node 0) switching to memory saving mode (mem: 1353.2M/1620.0M)
1657.38/1657.80	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
1657.38/1657.80	c [src/scip/lp.c:3540] ERROR: Insufficient memory for new chunk
1657.38/1657.80	c [src/scip/lp.c:3540] ERROR: No memory in function call
1657.38/1657.80	c [src/scip/scip.c:12056] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/cons_setppc.c:1401] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/cons_setppc.c:1424] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/cmain.c:674] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/cmain.c:849] ERROR: Error <-1> in function call
1657.38/1657.80	c [src/cmain.c:925] ERROR: Error <-1> in function call
1657.38/1657.80	c SCIP Error (-1): c insufficient memory errorc 
1657.38/1657.80	c Time complete: 1657.38.

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-2704978-1278582207/watcher-2704978-1278582207 -o /tmp/evaluation-result-2704978-1278582207/solver-2704978-1278582207 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704978-1278582207.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.04 1.03 1.00 3/106 31203
/proc/meminfo: memFree=1833100/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=7904 CPUtime=0
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 1078 0 0 0 0 0 0 0 20 0 1 0 26427426 8093696 989 1992294400 4194304 8395647 140735872956640 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 1976 999 365 1026 0 946 0

[startup+0.0905959 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 31203
/proc/meminfo: memFree=1833100/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=17280 CPUtime=0.08
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 3598 0 0 0 7 1 0 0 20 0 1 0 26427426 17694720 3509 1992294400 4194304 8395647 140735872956640 18446744073709551615 7276781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 4320 3509 393 1026 0 3290 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17280

[startup+0.101595 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 31203
/proc/meminfo: memFree=1833100/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=18380 CPUtime=0.09
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 3873 0 0 0 8 1 0 0 20 0 1 0 26427426 18821120 3784 1992294400 4194304 8395647 140735872956640 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 4595 3784 393 1026 0 3565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18380

[startup+0.301608 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 31203
/proc/meminfo: memFree=1833100/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=32752 CPUtime=0.29
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 7460 0 0 0 27 2 0 0 20 0 1 0 26427426 33538048 7371 1992294400 4194304 8395647 140735872956640 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 8188 7371 393 1026 0 7158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32752

[startup+0.701635 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 31203
/proc/meminfo: memFree=1833100/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=46748 CPUtime=0.69
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 10990 0 0 0 65 4 0 0 20 0 1 0 26427426 47869952 10901 1992294400 4194304 8395647 140735872956640 18446744073709551615 5755145 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 11687 10901 393 1026 0 10657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46748

[startup+1.50169 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 31204
/proc/meminfo: memFree=1784112/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=67756 CPUtime=1.49
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 16190 0 0 0 143 6 0 0 22 0 1 0 26427426 69382144 16101 1992294400 4194304 8395647 140735872956640 18446744073709551615 5754828 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31203/statm: 16939 16101 393 1026 0 15909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67756

[startup+3.10179 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 31204
/proc/meminfo: memFree=1749392/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=170688 CPUtime=3.09
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 42147 0 0 0 292 17 0 0 25 0 1 0 26427426 174784512 41704 1992294400 4194304 8395647 140735872956640 18446744073709551615 4424082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 42672 41704 412 1026 0 41642 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170688

[startup+6.30101 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 31204
/proc/meminfo: memFree=1491720/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=391668 CPUtime=6.29
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 96502 0 0 0 592 37 0 0 25 0 1 0 26427426 401068032 96059 1992294400 4194304 8395647 140735872956640 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 97917 96059 469 1026 0 96887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 391668

[startup+12.7004 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 31204
/proc/meminfo: memFree=1255624/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=607736 CPUtime=12.69
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 148414 0 0 0 1215 54 0 0 25 0 1 0 26427426 622321664 147971 1992294400 4194304 8395647 140735872956640 18446744073709551615 4700793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 151934 147971 475 1026 0 150904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 607736

[startup+25.5013 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 31204
/proc/meminfo: memFree=1199824/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=650484 CPUtime=25.49
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 158751 0 0 0 2491 58 0 0 25 0 1 0 26427426 666095616 158308 1992294400 4194304 8395647 140735872956640 18446744073709551615 5049178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 162621 158308 475 1026 0 161591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 650484

[startup+51.101 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 31205
/proc/meminfo: memFree=1094672/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=759412 CPUtime=51.05
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 188617 0 0 0 5035 70 0 0 25 0 1 0 26427426 777637888 184675 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 189853 184675 518 1026 0 188823 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 759412

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31206
/proc/meminfo: memFree=1067888/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=786976 CPUtime=102.24
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 195291 0 0 0 10152 72 0 0 25 0 1 0 26427426 805863424 191349 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 196744 191349 518 1026 0 195714 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 786976

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31208
/proc/meminfo: memFree=991132/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=867288 CPUtime=162.23
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 214605 0 0 0 16144 79 0 0 25 0 1 0 26427426 888102912 210663 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 216822 210663 518 1026 0 215792 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 867288

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31210
/proc/meminfo: memFree=931364/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=925848 CPUtime=222.21
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 229355 0 0 0 22137 84 0 0 25 0 1 0 26427426 948068352 225413 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 231462 225413 518 1026 0 230432 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 925848

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31212
/proc/meminfo: memFree=871596/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=989080 CPUtime=282.2
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 244258 0 0 0 28130 90 0 0 25 0 1 0 26427426 1012817920 240316 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 247270 240316 518 1026 0 246240 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 989080

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31212
/proc/meminfo: memFree=782936/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1078444 CPUtime=342.19
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 266365 0 0 0 34119 100 0 0 25 0 1 0 26427426 1104326656 262423 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 269611 262423 518 1026 0 268581 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1078444

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=741024/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1119304 CPUtime=402.18
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 276826 0 0 0 40115 103 0 0 25 0 1 0 26427426 1146167296 272884 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 279826 272884 518 1026 0 278796 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1119304

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31216
/proc/meminfo: memFree=688820/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1171228 CPUtime=462.16
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 289817 0 0 0 46109 107 0 0 25 0 1 0 26427426 1199337472 285875 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 292807 285875 518 1026 0 291777 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1171228

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31218
/proc/meminfo: memFree=587760/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1271812 CPUtime=522.15
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 315290 0 0 0 52098 117 0 0 25 0 1 0 26427426 1302335488 311348 1992294400 4194304 8395647 140735872956640 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 317953 311348 518 1026 0 316923 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1271812

[startup+582.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31220
/proc/meminfo: memFree=526628/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1333408 CPUtime=582.13
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 330507 0 0 0 58091 122 0 0 25 0 1 0 26427426 1365409792 326565 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 333352 326565 518 1026 0 332322 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1333408

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31220
/proc/meminfo: memFree=485460/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1373212 CPUtime=642.13
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 340534 0 0 0 64087 126 0 0 25 0 1 0 26427426 1406169088 336592 1992294400 4194304 8395647 140735872956640 18446744073709551615 4247624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 343303 336592 518 1026 0 342273 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1373212

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31226
/proc/meminfo: memFree=383284/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1475700 CPUtime=822.08
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 365998 0 0 0 82073 135 0 0 25 0 1 0 26427426 1511116800 362056 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 368925 362056 518 1026 0 367895 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1475700

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31228
/proc/meminfo: memFree=331700/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1528480 CPUtime=882.07
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 378915 0 0 0 88067 140 0 0 25 0 1 0 26427426 1565163520 374973 1992294400 4194304 8395647 140735872956640 18446744073709551615 4728220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 382120 374973 518 1026 0 381090 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1528480

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31228
/proc/meminfo: memFree=305784/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1553808 CPUtime=942.05
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 385343 0 0 0 94063 142 0 0 25 0 1 0 26427426 1591099392 381401 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 388452 381401 518 1026 0 387422 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1553808

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31230
/proc/meminfo: memFree=271312/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1586200 CPUtime=1002.04
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 393891 0 0 0 100058 146 0 0 25 0 1 0 26427426 1624268800 389949 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 396550 389949 518 1026 0 395520 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1586200

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31241
/proc/meminfo: memFree=210584/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1647572 CPUtime=1062.02
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 408694 0 0 0 106048 154 0 0 25 0 1 0 26427426 1687113728 404752 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 411893 404752 518 1026 0 410863 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1647572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31243
/proc/meminfo: memFree=184172/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1673904 CPUtime=1122.01
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 415208 0 0 0 112044 157 0 0 25 0 1 0 26427426 1714077696 411266 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 418476 411266 518 1026 0 417446 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1673904

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31245
/proc/meminfo: memFree=158628/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1700164 CPUtime=1181.99
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 421939 0 0 0 118040 159 0 0 25 0 1 0 26427426 1740967936 417997 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 425041 417997 518 1026 0 424011 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1700164

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31245
/proc/meminfo: memFree=140276/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1717308 CPUtime=1241.98
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 426177 0 0 0 124036 162 0 0 25 0 1 0 26427426 1758523392 422235 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 429327 422235 518 1026 0 428297 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1717308

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31247
/proc/meminfo: memFree=126512/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1733448 CPUtime=1301.97
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 429632 0 0 0 130034 163 0 0 25 0 1 0 26427426 1775050752 425690 1992294400 4194304 8395647 140735872956640 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 433362 425690 518 1026 0 432332 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1733448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31249
/proc/meminfo: memFree=109400/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1749572 CPUtime=1361.95
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 433898 0 0 0 136030 165 0 0 25 0 1 0 26427426 1791561728 429956 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 437393 429956 523 1026 0 436363 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1749572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31251
/proc/meminfo: memFree=79516/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1778832 CPUtime=1421.95
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 441357 0 0 0 142026 169 0 0 25 0 1 0 26427426 1821523968 437415 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 444708 437415 523 1026 0 443678 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1778832

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31253
/proc/meminfo: memFree=63396/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1794864 CPUtime=1481.93
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 445411 0 0 0 148022 171 0 0 25 0 1 0 26427426 1837940736 441469 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 448716 441469 523 1026 0 447686 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1794864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31253
/proc/meminfo: memFree=45168/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1816084 CPUtime=1541.91
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 449951 0 0 0 154018 173 0 0 25 0 1 0 26427426 1859670016 446009 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 454021 446009 523 1026 0 452991 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1816084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31255
/proc/meminfo: memFree=31528/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1827268 CPUtime=1601.9
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 453375 0 0 0 160016 174 0 0 25 0 1 0 26427426 1871122432 449433 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 456817 449433 523 1026 0 455787 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1827268



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1657 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31257
/proc/meminfo: memFree=15284/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1843428 CPUtime=1656.6
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 457409 0 0 0 165483 177 0 0 25 0 1 0 26427426 1887670272 453467 1992294400 4194304 8395647 140735872956640 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31203/statm: 460857 453467 523 1026 0 459827 0
Current children cumulated CPU time (s) 1656.6
Current children cumulated vsize (KiB) 1843428

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

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

[startup+1657.4 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31257
/proc/meminfo: memFree=15284/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1857632 CPUtime=1656.99
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 461056 0 0 0 165520 179 0 0 25 0 1 0 26427426 1902215168 457105 1992294400 4194304 8395647 140735872956640 18446744073709551615 4719881 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31203/statm: 464408 457105 540 1026 0 463378 0
Current children cumulated CPU time (s) 1656.99
Current children cumulated vsize (KiB) 1857632

[startup+1657.8 s]
/proc/loadavg: 1.06 1.02 1.00 3/108 31258
/proc/meminfo: memFree=9648/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=1893684 CPUtime=1657.38
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202496 470385 0 0 0 165555 183 0 0 25 0 1 0 26427426 1939132416 466040 1992294400 4194304 8395647 140735872956640 18446744073709551615 6141819 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31203/statm: 473421 466040 540 1026 0 472391 0
Current children cumulated CPU time (s) 1657.38
Current children cumulated vsize (KiB) 1893684

[startup+1657.9 s]
/proc/loadavg: 1.06 1.02 1.00 3/108 31258
/proc/meminfo: memFree=9648/2059040 swapFree=4135212/4192956
[pid=31203] ppid=31201 vsize=0 CPUtime=1657.48
/proc/31203/stat : 31203 (pbscip.linux.x8) R 31201 31203 30096 0 -1 4202500 470408 0 0 0 165555 193 0 0 25 0 1 0 26427426 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/31203/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1657.48
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1657.97
CPU time (s): 1657.56
CPU user time (s): 1655.56
CPU system time (s): 2.00269
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1893684

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

runsolver used 2.67659 second user time and 7.9078 second system time

The end

Launcher Data 

Begin job on node052 at 2010-07-08 11:43:28
IDJOB=2704978
IDBENCH=77699
IDSOLVER=1213
FILE ID=node052/2704978-1278582207
PBS_JOBID= 11240074
Free space on /tmp= 62520 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/j90opt/normalized-j9013_9.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-2704978-1278582207/watcher-2704978-1278582207 -o /tmp/evaluation-result-2704978-1278582207/solver-2704978-1278582207 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704978-1278582207.opb -t 1800 -m 1800

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

MD5SUM BENCH= b0c7829ae2c1e7f3e474b84d63238c03
RANDOM SEED=1074231254

node052.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833636 kB
Buffers:          4460 kB
Cached:         130152 kB
SwapCached:      11636 kB
Active:          64308 kB
Inactive:        84580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833636 kB
SwapTotal:     4192956 kB
SwapFree:      4135212 kB
Dirty:           16304 kB
Writeback:           0 kB
AnonPages:       12196 kB
Mapped:           8552 kB
Slab:            54680 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182096 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 node052 at 2010-07-08 12:11:07