Trace number 2686965

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (MO) 1084.86 1085.58

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1206_4.std.opb
MD5SUMdc2381243433b8fdb488c977baa91e3c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark158
Best CPU time to get the best result obtained on this benchmark1800.21
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 constraints234497
Number of constraints which are clauses233297
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 constraint64
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2686965-1278445162.opb>
4.40/4.44	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234497 constraints
4.40/4.44	c problem read
4.40/4.44	c presolving settings loaded
5.69/5.70	c presolving:
19.79/19.81	c (round 1) 5203 del vars, 16516 del conss, 3641 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15821316 impls, 0 clqs
29.69/29.71	c (round 2) 11991 del vars, 40942 del conss, 10295 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15848161 impls, 0 clqs
33.28/33.35	c (round 3) 14320 del vars, 51556 del conss, 11564 chg bounds, 43 chg sides, 36 chg coeffs, 0 upgd conss, 15857689 impls, 0 clqs
35.09/35.17	c (round 4) 15200 del vars, 55124 del conss, 12087 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15863433 impls, 0 clqs
36.19/36.21	c (round 5) 15686 del vars, 57037 del conss, 12334 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15867599 impls, 0 clqs
36.88/36.97	c (round 6) 15923 del vars, 58044 del conss, 12472 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15870225 impls, 0 clqs
37.39/37.47	c (round 7) 16054 del vars, 58611 del conss, 12544 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15871842 impls, 0 clqs
37.77/37.87	c (round 8) 16128 del vars, 58932 del conss, 12590 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873020 impls, 0 clqs
38.17/38.22	c (round 9) 16178 del vars, 59151 del conss, 12621 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873757 impls, 0 clqs
38.48/38.56	c (round 10) 16224 del vars, 59339 del conss, 12648 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874440 impls, 0 clqs
38.77/38.85	c (round 11) 16250 del vars, 59466 del conss, 12669 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874538 impls, 0 clqs
39.07/39.13	c (round 12) 16260 del vars, 59518 del conss, 12674 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874632 impls, 0 clqs
39.37/39.40	c (round 13) 16270 del vars, 59561 del conss, 12681 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874677 impls, 0 clqs
832.38/832.61	c (round 14) 16322 del vars, 59577 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312719 impls, 0 clqs
833.48/833.73	c (round 15) 16330 del vars, 60961 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312961 impls, 0 clqs
835.46/835.75	c (round 16) 16330 del vars, 60969 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 173528 upgd conss, 41312961 impls, 0 clqs
838.16/838.41	c (round 17) 16330 del vars, 60982 del conss, 12682 chg bounds, 79 chg sides, 292 chg coeffs, 173528 upgd conss, 41313229 impls, 1210 clqs
840.37/840.63	c (round 18) 16330 del vars, 60988 del conss, 12682 chg bounds, 116 chg sides, 426 chg coeffs, 173528 upgd conss, 41313229 impls, 1387 clqs
1083.32/1083.60	c pressed CTRL-C 1 times (5 times for forcing termination)
1083.81/1084.12	c    (1075.5s) probing: 585/56570 (1.0%) - 48 fixings, 4 aggregations, 8567820 implications, 0 bound changes
1083.81/1084.12	c    (1075.5s) probing aborted: solving stopped
1083.81/1084.14	c presolving (19 rounds):
1083.81/1084.14	c  16332 deleted vars, 60989 deleted constraints, 12682 tightened bounds, 0 added holes, 116 changed sides, 426 changed coefficients
1083.81/1084.14	c  45598631 implications, 1387 cliques
1083.81/1084.14	c presolved problem has 56510 variables (56510 bin, 0 int, 0 impl, 0 cont) and 173552 constraints
1083.81/1084.14	c    1156 constraints of type <knapsack>
1083.81/1084.14	c      38 constraints of type <setppc>
1083.81/1084.14	c  172358 constraints of type <logicor>
1083.81/1084.14	c transformed objective value is always integral (scale: 1)
1083.81/1084.14	c Presolving Time: 1074.92
1083.81/1084.14	c - non default parameters ----------------------------------------------------------------------
1083.81/1084.14	c # SCIP version 1.2.1.2
1083.81/1084.14	c 
1083.81/1084.14	c # frequency for displaying node information lines
1083.81/1084.14	c # [type: int, range: [-1,2147483647], default: 100]
1083.81/1084.14	c display/freq = 10000
1083.81/1084.14	c 
1083.81/1084.14	c # maximal time in seconds to run
1083.81/1084.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1083.81/1084.14	c limits/time = 1795.56
1083.81/1084.14	c 
1083.81/1084.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1083.81/1084.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1083.81/1084.14	c limits/memory = 1620
1083.81/1084.14	c 
1083.81/1084.14	c # should presolving try to simplify inequalities
1083.81/1084.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1083.81/1084.14	c constraints/linear/simplifyinequalities = TRUE
1083.81/1084.14	c 
1083.81/1084.14	c # should presolving try to simplify knapsacks
1083.81/1084.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1083.81/1084.14	c constraints/knapsack/simplifyinequalities = TRUE
1083.81/1084.14	c 
1083.81/1084.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1083.81/1084.14	c # [type: int, range: [-1,2147483647], default: -1]
1083.81/1084.14	c separating/rapidlearning/freq = 0
1083.81/1084.14	c 
1083.81/1084.14	c -----------------------------------------------------------------------------------------------
1083.81/1084.14	c start solving
1084.00/1084.32	c 
1084.00/1084.32	c (node 0) switching to memory saving mode (mem: 1315.8M/1620.0M)
1084.55/1085.39	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
1084.55/1085.39	c [src/scip/lp.c:3515] ERROR: Insufficient memory for new chunk
1084.55/1085.39	c [src/scip/lp.c:3515] ERROR: No memory in function call
1084.55/1085.39	c [src/scip/scip.c:11695] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/cons_logicor.c:859] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/cons_logicor.c:882] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/cons_logicor.c:1702] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:719] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:761] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:798] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:1863] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:2577] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/solve.c:3189] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/scip/scip.c:6167] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/cmain.c:657] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/cmain.c:832] ERROR: Error <-1> in function call
1084.55/1085.39	c [src/cmain.c:908] ERROR: Error <-1> in function call
1084.55/1085.39	c SCIP Error (-1): c insufficient memory errorc 
1084.55/1085.39	c Time complete: 1084.68.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21652
/proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=6692 CPUtime=0
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 12724045 6852608 732 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 1673 740 338 984 0 686 0

[startup+0.0593479 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21652
/proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=12788 CPUtime=0.04
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 2492 0 0 0 4 0 0 0 20 0 1 0 12724045 13094912 2412 1992294400 4194304 8223781 140735149488080 18446744073709551615 4907252 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 3318 2422 365 984 0 2331 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12788

[startup+0.101267 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21652
/proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=16048 CPUtime=0.09
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 3300 0 0 0 8 1 0 0 21 0 1 0 12724045 16433152 3220 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 4012 3220 365 984 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16048

[startup+0.301286 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21652
/proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=28068 CPUtime=0.29
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 6343 0 0 0 27 2 0 0 21 0 1 0 12724045 28741632 6254 1992294400 4194304 8223781 140735149488080 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 7017 6254 365 984 0 6030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28068

[startup+0.701326 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21652
/proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=48644 CPUtime=0.69
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 11456 0 0 0 65 4 0 0 22 0 1 0 12724045 49811456 11367 1992294400 4194304 8223781 140735149488080 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 12161 11367 365 984 0 11174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48644

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21653
/proc/meminfo: memFree=1754612/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=64976 CPUtime=1.49
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 15551 0 0 0 144 5 0 0 25 0 1 0 12724045 66535424 15462 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 16244 15462 365 984 0 15257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64976

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21653
/proc/meminfo: memFree=1733284/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=105140 CPUtime=3.09
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 25567 0 0 0 300 9 0 0 25 0 1 0 12724045 107663360 25478 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21652/statm: 26285 25478 365 984 0 25298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105140

[startup+6.30088 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21654
/proc/meminfo: memFree=1471520/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=386516 CPUtime=6.29
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 94648 0 0 0 593 36 0 0 25 0 1 0 12724045 395792384 94170 1992294400 4194304 8223781 140735149488080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 96629 94170 437 984 0 95642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386516

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21654
/proc/meminfo: memFree=1167968/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=677788 CPUtime=12.69
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 167093 0 0 0 1199 70 0 0 25 0 1 0 12724045 694054912 166615 1992294400 4194304 8223781 140735149488080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 169447 166615 441 984 0 168460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 677788

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21655
/proc/meminfo: memFree=987300/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=837648 CPUtime=25.48
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 204985 0 0 0 2445 103 0 0 25 0 1 0 12724045 857751552 204250 1992294400 4194304 8223781 140735149488080 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 209412 204250 445 984 0 208425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 837648

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21655
/proc/meminfo: memFree=949604/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=877504 CPUtime=51.06
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 217977 0 0 0 4888 218 0 0 25 0 1 0 12724045 898564096 213801 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 219376 213801 460 984 0 218389 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 877504

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21657
/proc/meminfo: memFree=915628/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=913344 CPUtime=102.26
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 226429 0 0 0 10003 223 0 0 25 0 1 0 12724045 935264256 222253 1992294400 4194304 8223781 140735149488080 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 228336 222253 460 984 0 227349 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 913344

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21658
/proc/meminfo: memFree=875948/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=955120 CPUtime=162.24
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 236602 0 0 0 15997 227 0 0 25 0 1 0 12724045 978042880 232426 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 238780 232427 460 984 0 237793 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 955120

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21659
/proc/meminfo: memFree=809856/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1019124 CPUtime=222.22
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 252800 0 0 0 21988 234 0 0 25 0 1 0 12724045 1043582976 248624 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 254781 248624 460 984 0 253794 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1019124

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21661
/proc/meminfo: memFree=744508/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1084588 CPUtime=282.21
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 269088 0 0 0 27980 241 0 0 25 0 1 0 12724045 1110618112 264912 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 271147 264912 460 984 0 270160 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1084588

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21663
/proc/meminfo: memFree=683128/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1147016 CPUtime=342.19
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 284414 0 0 0 33972 247 0 0 25 0 1 0 12724045 1174544384 280238 1992294400 4194304 8223781 140735149488080 18446744073709551615 4688937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 286754 280238 460 984 0 285767 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1147016

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21665
/proc/meminfo: memFree=641092/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1189472 CPUtime=402.18
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 295283 0 0 0 39966 252 0 0 25 0 1 0 12724045 1218019328 291107 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 297368 291107 460 984 0 296381 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1189472

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21666
/proc/meminfo: memFree=558880/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1274128 CPUtime=462.16
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 315645 0 0 0 45956 260 0 0 25 0 1 0 12724045 1304707072 311213 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 318532 311213 460 984 0 317545 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1274128

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21667
/proc/meminfo: memFree=478404/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1355956 CPUtime=522.15
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 335698 0 0 0 51947 268 0 0 25 0 1 0 12724045 1388498944 331266 1992294400 4194304 8223781 140735149488080 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 338989 331266 460 984 0 338002 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1355956

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21669
/proc/meminfo: memFree=422976/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1411368 CPUtime=582.14
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 349524 0 0 0 57940 274 0 0 25 0 1 0 12724045 1445240832 345092 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 352842 345092 460 984 0 351855 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1411368

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21671
/proc/meminfo: memFree=375732/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1459356 CPUtime=642.12
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 361557 0 0 0 63932 280 0 0 25 0 1 0 12724045 1494380544 356869 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 364839 356869 460 984 0 363852 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1459356

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21673
/proc/meminfo: memFree=323776/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1514088 CPUtime=702.1
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 375088 0 0 0 69923 287 0 0 25 0 1 0 12724045 1550426112 370400 1992294400 4194304 8223781 140735149488080 18446744073709551615 7073987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 378522 370400 460 984 0 377535 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1514088

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21674
/proc/meminfo: memFree=246648/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1589852 CPUtime=762.09
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 394490 0 0 0 75912 297 0 0 25 0 1 0 12724045 1628008448 389290 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 397463 389290 460 984 0 396476 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1589852

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21675
/proc/meminfo: memFree=216764/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1618528 CPUtime=822.07
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 401784 0 0 0 81906 301 0 0 25 0 1 0 12724045 1657372672 396584 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 404632 396584 460 984 0 403645 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1618528

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21677
/proc/meminfo: memFree=152656/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1686272 CPUtime=882.06
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 443221 0 0 0 87824 382 0 0 25 0 1 0 12724045 1726742528 412703 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 421568 412703 478 984 0 420581 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1686272

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21679
/proc/meminfo: memFree=116572/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1724704 CPUtime=942.04
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 452234 0 0 0 93819 385 0 0 25 0 1 0 12724045 1766096896 421716 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 431176 421716 478 984 0 430189 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1724704

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21681
/proc/meminfo: memFree=87060/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1754156 CPUtime=1002.03
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 459322 0 0 0 99814 389 0 0 25 0 1 0 12724045 1796255744 428804 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 438539 428804 479 984 0 437552 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1754156

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21682
/proc/meminfo: memFree=32376/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1811764 CPUtime=1062.01
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 473410 0 0 0 105806 395 0 0 25 0 1 0 12724045 1855246336 442892 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 452941 442892 479 984 0 451954 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1811764



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1083.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21683
/proc/meminfo: memFree=9740/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1844012 CPUtime=1083.32
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 480525 0 0 0 107932 400 0 0 25 0 1 0 12724045 1888268288 450007 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 461003 450007 479 984 0 460016 0
Current children cumulated CPU time (s) 1083.32
Current children cumulated vsize (KiB) 1844012

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

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

[startup+1084.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21684
/proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1866572 CPUtime=1084.32
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 488094 0 0 0 108028 404 0 0 25 0 1 0 12724045 1911369728 455556 1992294400 4194304 8223781 140735149488080 18446744073709551615 6208080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21652/statm: 466643 455556 510 984 0 465656 0
Current children cumulated CPU time (s) 1084.32
Current children cumulated vsize (KiB) 1866572

[startup+1085.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21684
/proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=1887072 CPUtime=1084.55
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4204544 493705 0 0 0 108045 410 0 0 23 0 1 0 12724045 1932361728 460560 1992294400 4194304 8223781 140735149488080 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 34
/proc/21652/statm: 471768 460560 510 984 0 470781 0
Current children cumulated CPU time (s) 1084.55
Current children cumulated vsize (KiB) 1887072

[startup+1085.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21684
/proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956
[pid=21652] ppid=21650 vsize=0 CPUtime=1084.79
/proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202500 495790 0 0 0 108052 427 0 0 18 0 1 0 12724045 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 41
/proc/21652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1084.79
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1085.58
CPU time (s): 1084.86
CPU user time (s): 1080.52
CPU system time (s): 4.33734
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 1887072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1080.52
system time used= 4.33734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495790
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= 15
involuntary context switches= 3717

runsolver used 1.81372 second user time and 5.15022 second system time

The end

Launcher Data 

Begin job on node036 at 2010-07-06 21:39:22
IDJOB=2686965
IDBENCH=77212
IDSOLVER=1169
FILE ID=node036/2686965-1278445162
PBS_JOBID= 11233474
Free space on /tmp= 62496 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.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-2686965-1278445162/watcher-2686965-1278445162 -o /tmp/evaluation-result-2686965-1278445162/solver-2686965-1278445162 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686965-1278445162.opb -t 1800 -m 1800

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

MD5SUM BENCH= dc2381243433b8fdb488c977baa91e3c
RANDOM SEED=82031451

node036.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.244
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.48
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.244
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1805864 kB
Buffers:         18800 kB
Cached:         104072 kB
SwapCached:          0 kB
Active:          38548 kB
Inactive:       144776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805864 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11728 kB
Writeback:           0 kB
AnonPages:       60576 kB
Mapped:          14392 kB
Slab:            47896 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179080 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= 62492 MiB
End job on node036 at 2010-07-06 21:57:28