Trace number 2664823

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.04 1802.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
MD5SUMd02d20784bc67f5ad08bddab69f126bc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark6.25905
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints30406
Number of constraints which are clauses30406
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 340
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 340
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2664823-1276687234.opb>
0.49/0.53	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30406 constraints
0.49/0.53	c problem read
0.49/0.53	c presolving settings loaded
0.60/0.64	o 0
0.60/0.64	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.60/0.64	c presolving:
0.69/0.79	c (round 1) 576 del vars, 576 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.05	c (round 2) 576 del vars, 4958 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25448 upgd conss, 2340 impls, 0 clqs
1.10/1.15	c    (0.5s) probing: 101/1449 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15	c    (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.15	c presolving (3 rounds):
1.10/1.15	c  576 deleted vars, 4958 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15	c  2340 implications, 0 cliques
1.10/1.15	c presolved problem has 1449 variables (1449 bin, 0 int, 0 impl, 0 cont) and 25448 constraints
1.10/1.15	c   25448 constraints of type <logicor>
1.10/1.15	c transformed objective value is always integral (scale: 1)
1.10/1.15	c Presolving Time: 0.42
1.10/1.15	c - non default parameters ----------------------------------------------------------------------
1.10/1.15	c # SCIP version 1.2.1.2
1.10/1.15	c 
1.10/1.15	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c conflict/interconss = 0
1.10/1.15	c 
1.10/1.15	c # should binary conflicts be preferred?
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c conflict/preferbinary = TRUE
1.10/1.15	c 
1.10/1.15	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c constraints/agelimit = 1
1.10/1.15	c 
1.10/1.15	c # should enforcement of pseudo solution be disabled?
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/disableenfops = TRUE
1.10/1.15	c 
1.10/1.15	c # frequency for displaying node information lines
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15	c display/freq = 10000
1.10/1.15	c 
1.10/1.15	c # maximal time in seconds to run
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/time = 1799.48
1.10/1.15	c 
1.10/1.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/memory = 1620
1.10/1.15	c 
1.10/1.15	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c lp/solvefreq = 0
1.10/1.15	c 
1.10/1.15	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.10/1.15	c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15	c lp/pricing = a
1.10/1.15	c 
1.10/1.15	c # should presolving try to simplify inequalities
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/linear/simplifyinequalities = TRUE
1.10/1.15	c 
1.10/1.15	c # should presolving try to simplify knapsacks
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15	c 
1.10/1.15	c # priority of node selection rule <dfs> in standard mode
1.10/1.15	c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15	c nodeselection/dfs/stdpriority = 1000000
1.10/1.15	c 
1.10/1.15	c -----------------------------------------------------------------------------------------------
1.10/1.15	c start solving
1.10/1.15	c 
88.56/88.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
88.56/88.64	c t87.3s|     1 |     0 | 18030 |     - |  34M|   0 |1449 |1449 |  25k|1449 |  25k|   0 |   0 |   0 |-2.439500e+02 | 0.000000e+00 | 100.00%
88.65/88.72	o -3
88.65/88.72	c R87.4s|     1 |     0 | 18030 |     - |  34M|   0 |1449 |1449 |  25k|1449 |  25k|   0 |   0 |   0 |-2.439500e+02 |-3.000000e+00 |  98.77%
88.75/88.82	o -4
88.75/88.82	c s87.5s|     1 |     0 | 18030 |     - |  34M|   0 |1449 |1449 |  25k|1449 |  25k|   0 |   0 |   0 |-2.439500e+02 |-4.000000e+00 |  98.36%
232.61/232.70	c   231s|     1 |     0 | 42583 |     - |  37M|   0 |1449 |1449 |  25k|1449 |  25k|  11 |   0 |   0 |-2.397320e+02 |-4.000000e+00 |  98.33%
232.61/232.71	o -16
232.61/232.71	c b 231s|     1 |     0 | 42583 |     - |  37M|   0 |1449 |1449 |  25k|1449 |  25k|  11 |   0 |   0 |-2.397320e+02 |-1.600000e+01 |  93.33%
451.66/451.82	c   448s|     1 |     0 | 77655 |     - |  40M|   0 |1449 |1449 |  25k|1449 |  25k|  22 |   0 |   0 |-2.347100e+02 |-1.600000e+01 |  93.18%
757.98/758.26	c   753s|     1 |     0 |128576 |     - |  44M|   0 |1446 |1449 |  25k|1449 |  25k|  34 |   0 |   0 |-2.316461e+02 |-1.600000e+01 |  93.09%
933.64/933.93	c   928s|     1 |     0 |153295 |     - |  45M|   0 |1448 |1449 |  25k|1449 |  25k|  38 |   0 |   0 |-2.313335e+02 |-1.600000e+01 |  93.08%
1182.57/1182.93	c  1175s|     1 |     0 |189878 |     - |  46M|   0 |1448 |1449 |  25k|1449 |  25k|  46 |   0 |   0 |-2.298568e+02 |-1.600000e+01 |  93.04%
1369.61/1370.02	c  1361s|     1 |     0 |216756 |     - |  50M|   0 |1447 |1449 |  25k|1449 |  25k|  91 |   0 |   0 |-2.291078e+02 |-1.600000e+01 |  93.02%
1563.67/1564.15	c  1555s|     1 |     0 |244397 |     - |  57M|   0 |1447 |1449 |  25k|1449 |  25k|  96 |   0 |   0 |-2.277716e+02 |-1.600000e+01 |  92.98%
1730.93/1731.42	c  1721s|     1 |     0 |267850 |     - |  61M|   0 |1447 |1449 |  25k|1449 |  25k| 100 |   0 |   0 |-2.275838e+02 |-1.600000e+01 |  92.97%
1800.01/1800.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-2664823-1276687234/watcher-2664823-1276687234 -o /tmp/evaluation-result-2664823-1276687234/solver-2664823-1276687234 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664823-1276687234.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: 0.93 0.97 0.99 3/106 8497
/proc/meminfo: memFree=1744780/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=9288 CPUtime=0
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1044 0 0 0 0 0 0 0 18 0 1 0 44325190 9510912 964 1992294400 4194304 9819077 140733470211872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8497/statm: 2322 973 371 1374 0 943 0

[startup+0.0874251 s]
/proc/loadavg: 0.93 0.97 0.99 3/106 8497
/proc/meminfo: memFree=1744780/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=14360 CPUtime=0.07
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 2517 0 0 0 7 0 0 0 20 0 1 0 44325190 14704640 2437 1992294400 4194304 9819077 140733470211872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8497/statm: 3590 2437 388 1374 0 2211 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14360

[startup+0.101425 s]
/proc/loadavg: 0.93 0.97 0.99 3/106 8497
/proc/meminfo: memFree=1744780/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=15796 CPUtime=0.09
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 2877 0 0 0 9 0 0 0 20 0 1 0 44325190 16175104 2797 1992294400 4194304 9819077 140733470211872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8497/statm: 3949 2797 388 1374 0 2570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15796

[startup+0.301447 s]
/proc/loadavg: 0.93 0.97 0.99 3/106 8497
/proc/meminfo: memFree=1744780/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=19588 CPUtime=0.29
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 3842 0 0 0 28 1 0 0 20 0 1 0 44325190 20058112 3762 1992294400 4194304 9819077 140733470211872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8497/statm: 4897 3763 388 1374 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19588

[startup+0.701492 s]
/proc/loadavg: 0.93 0.97 0.99 3/106 8497
/proc/meminfo: memFree=1744780/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=47988 CPUtime=0.69
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 11090 0 0 0 64 5 0 0 21 0 1 0 44325190 49139712 10656 1992294400 4194304 9819077 140733470211872 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 11997 10656 492 1374 0 10618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47988

[startup+1.50158 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 8498
/proc/meminfo: memFree=1698644/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=94484 CPUtime=1.49
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 24782 0 0 0 132 17 0 0 23 0 1 0 44325190 96751616 18786 1992294400 4194304 9819077 140733470211872 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 23621 18786 637 1374 0 22242 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94484

[startup+3.10176 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 8498
/proc/meminfo: memFree=1670744/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=93300 CPUtime=3.09
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 27865 0 0 0 290 19 0 0 25 0 1 0 44325190 95539200 18707 1992294400 4194304 9819077 140733470211872 18446744073709551615 7226864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 23325 18715 637 1374 0 21946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93300

[startup+6.30111 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 8498
/proc/meminfo: memFree=1668636/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=101304 CPUtime=6.29
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 31678 0 0 0 607 22 0 0 25 0 1 0 44325190 103735296 19275 1992294400 4194304 9819077 140733470211872 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 25326 19275 639 1374 0 23947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101304

[startup+12.7018 s]
/proc/loadavg: 0.95 0.97 0.99 2/107 8498
/proc/meminfo: memFree=1668016/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=102160 CPUtime=12.69
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 38751 0 0 0 1241 28 0 0 25 0 1 0 44325190 104611840 19225 1992294400 4194304 9819077 140733470211872 18446744073709551615 7309089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 25540 19225 639 1374 0 24161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102160

[startup+25.5012 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 8498
/proc/meminfo: memFree=1670620/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=102308 CPUtime=25.49
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 51380 0 0 0 2511 38 0 0 25 0 1 0 44325190 104763392 19136 1992294400 4194304 9819077 140733470211872 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 25577 19136 639 1374 0 24198 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102308

[startup+51.1011 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 8500
/proc/meminfo: memFree=1669504/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=102340 CPUtime=51.07
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 75323 0 0 0 5052 55 0 0 25 0 1 0 44325190 104796160 19579 1992294400 4194304 9819077 140733470211872 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 25585 19579 639 1374 0 24206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102340

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8500
/proc/meminfo: memFree=1663180/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=107748 CPUtime=102.26
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 123384 0 0 0 10141 85 0 0 25 0 1 0 44325190 110333952 20899 1992294400 4194304 9819077 140733470211872 18446744073709551615 7306607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 26937 20899 674 1374 0 25558 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107748

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8502
/proc/meminfo: memFree=1663056/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=107776 CPUtime=162.23
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 166389 0 0 0 16105 118 0 0 25 0 1 0 44325190 110362624 20281 1992294400 4194304 9819077 140733470211872 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 26944 20281 674 1374 0 25565 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107776

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8504
/proc/meminfo: memFree=1665536/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=107776 CPUtime=222.22
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 209363 0 0 0 22069 153 0 0 25 0 1 0 44325190 110362624 20285 1992294400 4194304 9819077 140733470211872 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 26944 20285 674 1374 0 25565 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 107776

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8506
/proc/meminfo: memFree=1659460/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=112628 CPUtime=282.2
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 243208 0 0 0 28034 186 0 0 25 0 1 0 44325190 115331072 22088 1992294400 4194304 9819077 140733470211872 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28157 22088 674 1374 0 26778 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 112628

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8508
/proc/meminfo: memFree=1658096/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=112604 CPUtime=342.19
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 284959 0 0 0 34000 219 0 0 25 0 1 0 44325190 115306496 22151 1992294400 4194304 9819077 140733470211872 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28151 22153 674 1374 0 26772 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 112604

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8508
/proc/meminfo: memFree=1658716/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=112720 CPUtime=402.18
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 326125 0 0 0 39964 254 0 0 25 0 1 0 44325190 115425280 22120 1992294400 4194304 9819077 140733470211872 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28180 22120 674 1374 0 26801 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 112720

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8510
/proc/meminfo: memFree=1660576/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=112724 CPUtime=462.16
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 361309 0 0 0 45926 290 0 0 25 0 1 0 44325190 115429376 21420 1992294400 4194304 9819077 140733470211872 18446744073709551615 8491787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28181 21420 674 1374 0 26802 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 112724

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8512
/proc/meminfo: memFree=1657476/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=115624 CPUtime=522.14
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 401916 0 0 0 51895 319 0 0 25 0 1 0 44325190 118398976 22733 1992294400 4194304 9819077 140733470211872 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28906 22733 676 1374 0 27527 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 115624

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8514
/proc/meminfo: memFree=1657228/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=115564 CPUtime=582.13
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 443303 0 0 0 57863 350 0 0 25 0 1 0 44325190 118337536 22640 1992294400 4194304 9819077 140733470211872 18446744073709551615 7304771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28891 22640 676 1374 0 27512 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 115564

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8516
/proc/meminfo: memFree=1655740/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=115596 CPUtime=642.12
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 484690 0 0 0 63825 387 0 0 25 0 1 0 44325190 118370304 22644 1992294400 4194304 9819077 140733470211872 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 28899 22644 676 1374 0 27520 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 115596

[startup+702.301 s]

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

/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 742676 0 0 0 105599 601 0 0 25 0 1 0 44325190 122241024 23182 1992294400 4194304 9819077 140733470211872 18446744073709551615 6192338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 29844 23182 677 1374 0 28465 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 119376

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8528
/proc/meminfo: memFree=1651400/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=119400 CPUtime=1121.99
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 785229 0 0 0 111567 632 0 0 25 0 1 0 44325190 122265600 23681 1992294400 4194304 9819077 140733470211872 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 29850 23682 677 1374 0 28471 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 119400

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8530
/proc/meminfo: memFree=1653880/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=119436 CPUtime=1181.97
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 826839 0 0 0 117534 663 0 0 25 0 1 0 44325190 122302464 23530 1992294400 4194304 9819077 140733470211872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 29859 23530 677 1374 0 28480 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 119436

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8532
/proc/meminfo: memFree=1649044/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=121704 CPUtime=1241.95
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 857183 0 0 0 123502 693 0 0 25 0 1 0 44325190 124624896 24274 1992294400 4194304 9819077 140733470211872 18446744073709551615 7480977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 30426 24274 677 1374 0 29047 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 121704

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8532
/proc/meminfo: memFree=1648548/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=121704 CPUtime=1301.94
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 896610 0 0 0 129467 727 0 0 25 0 1 0 44325190 124624896 24288 1992294400 4194304 9819077 140733470211872 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 30426 24288 677 1374 0 29047 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 121704

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8534
/proc/meminfo: memFree=1651276/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=121708 CPUtime=1361.92
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 937034 0 0 0 135433 759 0 0 25 0 1 0 44325190 124628992 24045 1992294400 4194304 9819077 140733470211872 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 30427 24045 677 1374 0 29048 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 121708

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8536
/proc/meminfo: memFree=1640984/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=129068 CPUtime=1421.92
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 967721 0 0 0 141403 789 0 0 25 0 1 0 44325190 132165632 26196 1992294400 4194304 9819077 140733470211872 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 32267 26196 677 1374 0 30888 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 129068

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8538
/proc/meminfo: memFree=1641728/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=129132 CPUtime=1481.89
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1007710 0 0 0 147369 820 0 0 25 0 1 0 44325190 132231168 26119 1992294400 4194304 9819077 140733470211872 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 32283 26119 677 1374 0 30904 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 129132

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8540
/proc/meminfo: memFree=1642844/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=129156 CPUtime=1541.87
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1048010 0 0 0 153335 852 0 0 25 0 1 0 44325190 132255744 25847 1992294400 4194304 9819077 140733470211872 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 32289 25847 677 1374 0 30910 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 129156

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8540
/proc/meminfo: memFree=1639000/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=134004 CPUtime=1601.86
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1080245 0 0 0 159302 884 0 0 25 0 1 0 44325190 137220096 27198 1992294400 4194304 9819077 140733470211872 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 33501 27198 677 1374 0 32122 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 134004

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8542
/proc/meminfo: memFree=1638876/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=133976 CPUtime=1661.84
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1121457 0 0 0 165269 915 0 0 25 0 1 0 44325190 137191424 26819 1992294400 4194304 9819077 140733470211872 18446744073709551615 7293496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 33494 26819 677 1374 0 32115 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 133976

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8544
/proc/meminfo: memFree=1636892/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=134004 CPUtime=1721.82
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1163424 0 0 0 171233 949 0 0 25 0 1 0 44325190 137220096 26592 1992294400 4194304 9819077 140733470211872 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 33501 26592 677 1374 0 32122 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 134004

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8546
/proc/meminfo: memFree=1630444/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139444 CPUtime=1781.81
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1201350 0 0 0 177200 981 0 0 25 0 1 0 44325190 142790656 28008 1992294400 4194304 9819077 140733470211872 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34861 28008 679 1374 0 33482 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 139444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 8546
/proc/meminfo: memFree=1632800/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139472 CPUtime=1800.01
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1214203 0 0 0 179010 991 0 0 25 0 1 0 44325190 142819328 28133 1992294400 4194304 9819077 140733470211872 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34868 28133 679 1374 0 33489 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 139472

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8497

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 8547
/proc/meminfo: memFree=1632544/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139472 CPUtime=1800.9
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1214663 0 0 0 179099 991 0 0 25 0 1 0 44325190 142819328 28593 1992294400 4194304 9819077 140733470211872 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34868 28593 679 1374 0 33489 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 139472

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 8547
/proc/meminfo: memFree=1630684/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139472 CPUtime=1801.7
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1214791 0 0 0 179179 991 0 0 25 0 1 0 44325190 142819328 28721 1992294400 4194304 9819077 140733470211872 18446744073709551615 7298114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34868 28721 679 1374 0 33489 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 139472

[startup+1802.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 8547
/proc/meminfo: memFree=1630684/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139472 CPUtime=1801.9
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1214824 0 0 0 179199 991 0 0 25 0 1 0 44325190 142819328 28754 1992294400 4194304 9819077 140733470211872 18446744073709551615 7295962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34868 28754 679 1374 0 33489 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 139472

[startup+1802.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 8547
/proc/meminfo: memFree=1630684/2059040 swapFree=4140260/4192956
[pid=8497] ppid=8495 vsize=139500 CPUtime=1802.01
/proc/8497/stat : 8497 (pbscip.linux.x8) R 8495 8497 7710 0 -1 4202496 1215666 0 0 0 179209 992 0 0 25 0 1 0 44325190 142848000 28011 1992294400 4194304 9819077 140733470211872 18446744073709551615 7293596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8497/statm: 34875 28011 679 1374 0 33496 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 139500

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.04
CPU user time (s): 1792.1
CPU system time (s): 9.93549
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 139720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.1
system time used= 9.93549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1215668
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= 3
involuntary context switches= 2815

runsolver used 3.04154 second user time and 8.44572 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 13:20:34
IDJOB=2664823
IDBENCH=71837
IDSOLVER=1168
FILE ID=node009/2664823-1276687234
PBS_JOBID= 11172567
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664823-1276687234/watcher-2664823-1276687234 -o /tmp/evaluation-result-2664823-1276687234/solver-2664823-1276687234 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664823-1276687234.opb -t 1800 -m 1800

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

MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc
RANDOM SEED=2105231157

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1745184 kB
Buffers:         84812 kB
Cached:         133816 kB
SwapCached:       6248 kB
Active:         114228 kB
Inactive:       117896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1745184 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            7472 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:          12996 kB
Slab:            59888 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180292 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= 62548 MiB
End job on node009 at 2010-06-16 13:50:37