Trace number 2686822

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) 984.199 984.673

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6030_8.std.opb
MD5SUM348a80e2c3663c4864ba7ba28d601705
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark6.02208
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints123576
Number of constraints which are clauses122376
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 constraint60
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-2686822-1278442697.opb>
1.99/2.08	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123576 constraints
1.99/2.08	c problem read
1.99/2.08	c presolving settings loaded
2.69/2.73	c presolving:
9.80/9.85	c (round 1) 2358 del vars, 6613 del conss, 1695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8504294 impls, 0 clqs
13.09/13.14	c (round 2) 5143 del vars, 16995 del conss, 4327 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8518647 impls, 0 clqs
13.99/14.09	c (round 3) 6120 del vars, 21472 del conss, 4829 chg bounds, 30 chg sides, 44 chg coeffs, 0 upgd conss, 8526054 impls, 0 clqs
14.58/14.68	c (round 4) 6534 del vars, 23252 del conss, 5093 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8529055 impls, 0 clqs
14.99/15.06	c (round 5) 6795 del vars, 24267 del conss, 5233 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8530590 impls, 0 clqs
15.29/15.31	c (round 6) 6918 del vars, 24828 del conss, 5288 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8531459 impls, 0 clqs
15.48/15.51	c (round 7) 6975 del vars, 25076 del conss, 5316 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8532044 impls, 0 clqs
15.59/15.68	c (round 8) 7007 del vars, 25222 del conss, 5330 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8532257 impls, 0 clqs
15.79/15.83	c (round 9) 7011 del vars, 25272 del conss, 5331 chg bounds, 38 chg sides, 52 chg coeffs, 0 upgd conss, 8532301 impls, 0 clqs
16.79/16.83	c (round 10) 7011 del vars, 25275 del conss, 5331 chg bounds, 38 chg sides, 52 chg coeffs, 98301 upgd conss, 8532301 impls, 0 clqs
17.89/17.93	c (round 11) 7011 del vars, 25310 del conss, 5331 chg bounds, 141 chg sides, 378 chg coeffs, 98301 upgd conss, 8532301 impls, 0 clqs
18.28/18.40	c (round 12) 7011 del vars, 25317 del conss, 5331 chg bounds, 145 chg sides, 413 chg coeffs, 98301 upgd conss, 8532301 impls, 1 clqs
487.96/488.19	c    (483.2s) probing: 1000/29711 (3.4%) - 0 fixings, 0 aggregations, 7190923 implications, 0 bound changes
686.06/686.39	c    (680.1s) probing: 2000/29711 (6.7%) - 0 fixings, 0 aggregations, 12069798 implications, 0 bound changes
686.26/686.52	c    (680.3s) probing: 2001/29711 (6.7%) - 0 fixings, 0 aggregations, 12073382 implications, 0 bound changes
686.26/686.52	c    (680.3s) probing aborted: 2000/2000 successive useless probings
686.26/686.53	c presolving (13 rounds):
686.26/686.53	c  7011 deleted vars, 25317 deleted constraints, 5331 tightened bounds, 0 added holes, 145 changed sides, 418 changed coefficients
686.26/686.53	c  45419087 implications, 1 cliques
686.26/686.53	c presolved problem has 29711 variables (29711 bin, 0 int, 0 impl, 0 cont) and 98354 constraints
686.26/686.53	c    1138 constraints of type <knapsack>
686.26/686.53	c      61 constraints of type <setppc>
686.26/686.53	c   97155 constraints of type <logicor>
686.26/686.53	c transformed objective value is always integral (scale: 1)
686.26/686.53	c Presolving Time: 679.93
686.26/686.53	c - non default parameters ----------------------------------------------------------------------
686.26/686.53	c # SCIP version 1.2.1.2
686.26/686.53	c 
686.26/686.53	c # frequency for displaying node information lines
686.26/686.53	c # [type: int, range: [-1,2147483647], default: 100]
686.26/686.53	c display/freq = 10000
686.26/686.53	c 
686.26/686.53	c # maximal time in seconds to run
686.26/686.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
686.26/686.53	c limits/time = 1797.93
686.26/686.53	c 
686.26/686.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
686.26/686.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
686.26/686.53	c limits/memory = 1620
686.26/686.53	c 
686.26/686.53	c # should presolving try to simplify inequalities
686.26/686.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
686.26/686.53	c constraints/linear/simplifyinequalities = TRUE
686.26/686.53	c 
686.26/686.53	c # should presolving try to simplify knapsacks
686.26/686.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
686.26/686.53	c constraints/knapsack/simplifyinequalities = TRUE
686.26/686.53	c 
686.26/686.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
686.26/686.53	c # [type: int, range: [-1,2147483647], default: -1]
686.26/686.53	c separating/rapidlearning/freq = 0
686.26/686.53	c 
686.26/686.53	c -----------------------------------------------------------------------------------------------
686.26/686.53	c start solving
686.36/686.62	c 
979.04/979.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
979.04/979.59	c   972s|     1 |     0 | 31119 |     - |1363M|   0 | 296 |  29k|  98k|  29k|  98k|   0 |   0 |   0 | 6.300000e+01 |      --      |    Inf 
982.03/982.50	c pressed CTRL-C 1 times (5 times for forcing termination)

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-2686822-1278442697/watcher-2686822-1278442697 -o /tmp/evaluation-result-2686822-1278442697/solver-2686822-1278442697 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686822-1278442697.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.03 1.02 1.00 3/105 25139
/proc/meminfo: memFree=1399560/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=7724 CPUtime=0
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 1096 0 0 0 0 0 0 0 19 0 1 0 12477875 7909376 1017 1992294400 4194304 8223781 140734645514160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 1931 1026 348 984 0 944 0

[startup+0.075244 s]
/proc/loadavg: 1.03 1.02 1.00 3/105 25139
/proc/meminfo: memFree=1399560/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=15432 CPUtime=0.06
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 3156 0 0 0 6 0 0 0 21 0 1 0 12477875 15802368 3076 1992294400 4194304 8223781 140734645514160 18446744073709551615 6641301 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 3858 3076 365 984 0 2871 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15432

[startup+0.101246 s]
/proc/loadavg: 1.03 1.02 1.00 3/105 25139
/proc/meminfo: memFree=1399560/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=17136 CPUtime=0.09
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 3575 0 0 0 8 1 0 0 21 0 1 0 12477875 17547264 3495 1992294400 4194304 8223781 140734645514160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 4284 3495 365 984 0 3297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17136

[startup+0.301269 s]
/proc/loadavg: 1.03 1.02 1.00 3/105 25139
/proc/meminfo: memFree=1399560/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=29920 CPUtime=0.29
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 6653 0 0 0 27 2 0 0 21 0 1 0 12477875 30638080 6564 1992294400 4194304 8223781 140734645514160 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 7480 6575 365 984 0 6493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29920

[startup+0.701309 s]
/proc/loadavg: 1.03 1.02 1.00 3/105 25139
/proc/meminfo: memFree=1399560/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=39948 CPUtime=0.69
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 9311 0 0 0 66 3 0 0 22 0 1 0 12477875 40906752 9222 1992294400 4194304 8223781 140734645514160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 9987 9222 365 984 0 9000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39948

[startup+1.50139 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 25140
/proc/meminfo: memFree=1357144/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=62596 CPUtime=1.49
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 14911 0 0 0 144 5 0 0 25 0 1 0 12477875 64098304 14822 1992294400 4194304 8223781 140734645514160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25139/statm: 15649 14822 365 984 0 14662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62596

[startup+3.10056 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 25140
/proc/meminfo: memFree=1316720/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=213604 CPUtime=3.09
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 52307 0 0 0 290 19 0 0 25 0 1 0 12477875 218730496 51805 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 53401 51805 437 984 0 52414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 213604

[startup+6.3009 s]
/proc/loadavg: 1.11 1.04 1.01 2/106 25140
/proc/meminfo: memFree=1072068/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=368368 CPUtime=6.29
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 90865 0 0 0 593 36 0 0 25 0 1 0 12477875 377208832 90363 1992294400 4194304 8223781 140734645514160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 92092 90363 441 984 0 91105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 368368

[startup+12.7006 s]
/proc/loadavg: 1.18 1.05 1.01 2/106 25140
/proc/meminfo: memFree=950052/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=463176 CPUtime=12.69
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 113097 0 0 0 1215 54 0 0 25 0 1 0 12477875 474292224 112338 1992294400 4194304 8223781 140734645514160 18446744073709551615 5966499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 115794 112338 445 984 0 114807 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 463176

[startup+25.5009 s]
/proc/loadavg: 1.14 1.05 1.01 2/106 25140
/proc/meminfo: memFree=874164/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=546976 CPUtime=25.49
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 153428 0 0 0 2423 126 0 0 25 0 1 0 12477875 560103424 131969 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 136744 131969 483 984 0 135757 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 546976

[startup+51.1016 s]
/proc/loadavg: 1.09 1.04 1.01 3/106 25141
/proc/meminfo: memFree=841800/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=579900 CPUtime=51.08
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 161245 0 0 0 4978 130 0 0 25 0 1 0 12477875 593817600 139786 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 144975 139786 483 984 0 143988 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 579900

[startup+102.309 s]
/proc/loadavg: 1.08 1.05 1.01 2/106 25142
/proc/meminfo: memFree=762812/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=660724 CPUtime=102.27
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 180704 0 0 0 10087 140 0 0 25 0 1 0 12477875 676581376 159245 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 165181 159245 483 984 0 164194 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 660724

[startup+162.301 s]
/proc/loadavg: 1.07 1.05 1.01 2/106 25144
/proc/meminfo: memFree=660140/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=766092 CPUtime=162.25
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 206566 0 0 0 16071 154 0 0 25 0 1 0 12477875 784478208 184851 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 191523 184851 483 984 0 190536 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 766092

[startup+222.302 s]
/proc/loadavg: 1.06 1.06 1.01 2/106 25155
/proc/meminfo: memFree=551392/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=874716 CPUtime=222.23
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 233792 0 0 0 22056 167 0 0 25 0 1 0 12477875 895709184 212077 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 218679 212077 483 984 0 217692 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 874716

[startup+282.301 s]
/proc/loadavg: 1.06 1.06 1.01 2/106 25156
/proc/meminfo: memFree=447232/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=981560 CPUtime=282.21
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 260584 0 0 0 28039 182 0 0 25 0 1 0 12477875 1005117440 238101 1992294400 4194304 8223781 140734645514160 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 245390 238101 483 984 0 244403 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 981560

[startup+342.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 25157
/proc/meminfo: memFree=300044/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1130408 CPUtime=342.2
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 297555 0 0 0 34014 206 0 0 25 0 1 0 12477875 1157537792 274560 1992294400 4194304 8223781 140734645514160 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 282602 274560 483 984 0 281615 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1130408

[startup+402.302 s]
/proc/loadavg: 1.12 1.07 1.01 2/106 25159
/proc/meminfo: memFree=192040/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1244952 CPUtime=402.18
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 325544 0 0 0 39985 233 0 0 25 0 1 0 12477875 1274830848 302293 1992294400 4194304 8223781 140734645514160 18446744073709551615 6207672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 311238 302293 483 984 0 310251 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1244952

[startup+462.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/106 25161
/proc/meminfo: memFree=96808/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1333012 CPUtime=462.16
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 348918 0 0 0 45952 264 0 0 25 0 1 0 12477875 1365004288 325410 1992294400 4194304 8223781 140734645514160 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 333253 325410 483 984 0 332266 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1333012

[startup+522.301 s]
/proc/loadavg: 1.10 1.07 1.01 2/106 25163
/proc/meminfo: memFree=10120/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1440912 CPUtime=522.15
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 375444 0 0 0 51912 303 0 0 25 0 1 0 12477875 1475493888 351936 1992294400 4194304 8223781 140734645514160 18446744073709551615 4688352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 360228 351936 488 984 0 359241 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1440912

[startup+582.302 s]
/proc/loadavg: 1.09 1.07 1.01 2/106 25164
/proc/meminfo: memFree=9376/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1532660 CPUtime=582.13
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 399644 0 0 0 57873 340 0 0 25 0 1 0 12477875 1569443840 375624 1992294400 4194304 8223781 140734645514160 18446744073709551615 4659981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 383165 375624 488 984 0 382178 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1532660

[startup+642.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/106 25165
/proc/meminfo: memFree=9364/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1626464 CPUtime=642.13
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 423161 0 0 0 63838 375 0 0 25 0 1 0 12477875 1665499136 398372 1992294400 4194304 8223781 140734645514160 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25139/statm: 406616 398372 488 984 0 405629 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1626464

[startup+702.302 s]
/proc/loadavg: 1.10 1.08 1.01 2/106 25167
/proc/meminfo: memFree=11340/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1813524 CPUtime=701.99
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 479344 0 0 0 69773 426 0 0 25 0 1 0 12477875 1857048576 441541 1992294400 4194304 8223781 140734645514160 18446744073709551615 6502710 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 453381 441541 565 984 0 452394 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 1813524

[startup+762.309 s]
/proc/loadavg: 1.03 1.06 1.01 3/106 25169
/proc/meminfo: memFree=10804/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1819476 CPUtime=761.96
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 503287 0 0 0 75748 448 0 0 25 0 1 0 12477875 1863143424 441978 1992294400 4194304 8223781 140734645514160 18446744073709551615 6568366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 454869 441978 565 984 0 453882 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 1819476

[startup+822.301 s]
/proc/loadavg: 1.01 1.05 1.00 2/106 25171
/proc/meminfo: memFree=9564/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1825804 CPUtime=821.92
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 524878 0 0 0 81727 465 0 0 25 0 1 0 12477875 1869623296 442232 1992294400 4194304 8223781 140734645514160 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 456451 442232 565 984 0 455464 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 1825804

[startup+882.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 25172
/proc/meminfo: memFree=9952/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1831756 CPUtime=881.89
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 543069 0 0 0 87707 482 0 0 25 0 1 0 12477875 1875718144 442497 1992294400 4194304 8223781 140734645514160 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 457939 442497 565 984 0 456952 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 1831756

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 25173
/proc/meminfo: memFree=10388/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1836064 CPUtime=941.85
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 560498 0 0 0 93686 499 0 0 25 0 1 0 12477875 1880129536 442819 1992294400 4194304 8223781 140734645514160 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 459016 442819 565 984 0 458029 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 1836064



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+982.501 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 25175
/proc/meminfo: memFree=12328/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1851936 CPUtime=982.03
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 576420 0 0 0 97692 511 0 0 25 0 1 0 12477875 1896382464 445193 1992294400 4194304 8223781 140734645514160 18446744073709551615 6589943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 462984 445193 554 984 0 461997 0
Current children cumulated CPU time (s) 982.03
Current children cumulated vsize (KiB) 1851936

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25139

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

[startup+983.801 s]
/proc/loadavg: 1.00 1.02 1.00 3/107 25176
/proc/meminfo: memFree=13932/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1839632 CPUtime=983.32
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 579036 0 0 0 97819 513 0 0 25 0 1 0 12477875 1883783168 444137 1992294400 4194304 8223781 140734645514160 18446744073709551615 6565934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 459908 444137 554 984 0 458921 0
Current children cumulated CPU time (s) 983.32
Current children cumulated vsize (KiB) 1839632

[startup+984.201 s]
/proc/loadavg: 1.00 1.02 1.00 3/107 25176
/proc/meminfo: memFree=13932/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=1839632 CPUtime=983.72
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4202496 579036 0 0 0 97859 513 0 0 25 0 1 0 12477875 1883783168 444137 1992294400 4194304 8223781 140734645514160 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25139/statm: 459908 444137 554 984 0 458921 0
Current children cumulated CPU time (s) 983.72
Current children cumulated vsize (KiB) 1839632

[startup+984.601 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25176
/proc/meminfo: memFree=14056/2059040 swapFree=4192956/4192956
[pid=25139] ppid=25137 vsize=0 CPUtime=984.12
/proc/25139/stat : 25139 (pbscip.linux.x8) R 25137 25139 24561 0 -1 4203524 580852 0 0 0 97889 523 0 0 25 0 1 0 12477875 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/25139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 984.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 984.673
CPU time (s): 984.199
CPU user time (s): 978.896
CPU system time (s): 5.30319
CPU usage (%): 99.952
Max. virtual memory (cumulated for all children) (KiB): 1851936

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

runsolver used 1.59676 second user time and 4.69429 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-06 20:58:17
IDJOB=2686822
IDBENCH=76788
IDSOLVER=1169
FILE ID=node082/2686822-1278442697
PBS_JOBID= 11233480
Free space on /tmp= 62384 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/j60opt/normalized-j6030_8.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686822-1278442697/watcher-2686822-1278442697 -o /tmp/evaluation-result-2686822-1278442697/solver-2686822-1278442697 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686822-1278442697.opb -t 1800 -m 1800

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

MD5SUM BENCH= 348a80e2c3663c4864ba7ba28d601705
RANDOM SEED=1172537093

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1400088 kB
Buffers:        112504 kB
Cached:         407172 kB
SwapCached:          0 kB
Active:         195228 kB
Inactive:       384644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1400088 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8604 kB
Writeback:           0 kB
AnonPages:       60116 kB
Mapped:          14404 kB
Slab:            57296 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179992 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62380 MiB
End job on node082 at 2010-07-06 21:14:42