Trace number 2664816

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.07 1802.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
MD5SUM2dd11ebefc05ae8ac770ff3615713305
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-172
Best CPU time to get the best result obtained on this benchmark59.472
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 constraints62231
Number of constraints which are clauses62231
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 347
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 347
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-2664816-1276686316.opb>
1.10/1.12	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62231 constraints
1.10/1.12	c problem read
1.10/1.12	c presolving settings loaded
1.29/1.33	o 0
1.29/1.33	c feasible solution found by trivial heuristic, objective value  0.000000e+00
1.29/1.33	c presolving:
1.59/1.60	c (round 1) 194 del vars, 194 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.15	c (round 2) 194 del vars, 898 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
2.29/2.37	c    (1.0s) probing: 101/1831 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.37	c    (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.37	c presolving (3 rounds):
2.29/2.37	c  194 deleted vars, 898 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.37	c  2340 implications, 0 cliques
2.29/2.37	c presolved problem has 1831 variables (1831 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
2.29/2.37	c   61333 constraints of type <logicor>
2.29/2.37	c transformed objective value is always integral (scale: 1)
2.29/2.37	c Presolving Time: 0.86
2.29/2.37	c - non default parameters ----------------------------------------------------------------------
2.29/2.37	c # SCIP version 1.2.1.2
2.29/2.37	c 
2.29/2.37	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.37	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.37	c conflict/interconss = 0
2.29/2.37	c 
2.29/2.37	c # should binary conflicts be preferred?
2.29/2.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37	c conflict/preferbinary = TRUE
2.29/2.37	c 
2.29/2.37	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.37	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.37	c constraints/agelimit = 1
2.29/2.37	c 
2.29/2.37	c # should enforcement of pseudo solution be disabled?
2.29/2.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37	c constraints/disableenfops = TRUE
2.29/2.37	c 
2.29/2.37	c # frequency for displaying node information lines
2.29/2.37	c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.37	c display/freq = 10000
2.29/2.37	c 
2.29/2.37	c # maximal time in seconds to run
2.29/2.37	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.37	c limits/time = 1798.88
2.29/2.37	c 
2.29/2.37	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.37	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.37	c limits/memory = 1620
2.29/2.37	c 
2.29/2.37	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.37	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.37	c lp/solvefreq = 0
2.29/2.37	c 
2.29/2.37	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)
2.29/2.37	c # [type: char, range: {lafpsqd}, default: l]
2.29/2.37	c lp/pricing = a
2.29/2.37	c 
2.29/2.37	c # should presolving try to simplify inequalities
2.29/2.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37	c constraints/linear/simplifyinequalities = TRUE
2.29/2.37	c 
2.29/2.37	c # should presolving try to simplify knapsacks
2.29/2.37	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37	c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.37	c 
2.29/2.37	c # priority of node selection rule <dfs> in standard mode
2.29/2.37	c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.37	c nodeselection/dfs/stdpriority = 1000000
2.29/2.37	c 
2.29/2.37	c -----------------------------------------------------------------------------------------------
2.29/2.37	c start solving
2.29/2.37	c 
378.37/378.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
378.37/378.59	c t 375s|     1 |     0 | 32641 |     - |  71M|   0 |1828 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 | 0.000000e+00 | 100.00%
378.57/378.72	o -11
378.57/378.72	c R 375s|     1 |     0 | 32641 |     - |  71M|   0 |1828 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 |-1.100000e+01 |  95.84%
378.77/378.91	o -14
378.77/378.91	c s 376s|     1 |     0 | 32641 |     - |  71M|   0 |1828 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 |-1.400000e+01 |  94.70%
1217.81/1218.29	c  1211s|     1 |     0 | 93411 |     - |  75M|   0 |1829 |1831 |  61k|1831 |  61k|   5 |   0 |   0 |-2.589270e+02 |-1.400000e+01 |  94.59%
1217.91/1218.31	o -34
1217.91/1218.31	c b1211s|     1 |     0 | 93411 |     - |  76M|   0 |1829 |1831 |  61k|1831 |  61k|   5 |   0 |   0 |-2.589270e+02 |-3.400000e+01 |  86.87%
1800.04/1800.61	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-2664816-1276686316/watcher-2664816-1276686316 -o /tmp/evaluation-result-2664816-1276686316/solver-2664816-1276686316 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664816-1276686316.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 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=9288 CPUtime=0
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1062 0 0 0 0 0 0 0 22 0 1 0 44235626 9510912 983 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 2322 992 371 1374 0 943 0

[startup+0.088046 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=14356 CPUtime=0.08
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 2507 0 0 0 8 0 0 0 24 0 1 0 44235626 14700544 2427 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 3589 2427 388 1374 0 2210 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14356

[startup+0.101046 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=14828 CPUtime=0.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 2634 0 0 0 9 0 0 0 24 0 1 0 44235626 15183872 2554 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 3707 2554 388 1374 0 2328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14828

[startup+0.301067 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=19584 CPUtime=0.29
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 3841 0 0 0 28 1 0 0 25 0 1 0 44235626 20054016 3761 1992294400 4194304 9819077 140735377055504 18446744073709551615 5651195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 4896 3761 388 1374 0 3517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19584

[startup+0.701108 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=27588 CPUtime=0.69
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 5801 0 0 0 68 1 0 0 25 0 1 0 44235626 28250112 5721 1992294400 4194304 9819077 140735377055504 18446744073709551615 8631978 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 6897 5721 388 1374 0 5518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27588

[startup+1.50119 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1690836/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=81608 CPUtime=1.49
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 19453 0 0 0 140 9 0 0 25 0 1 0 44235626 83566592 19019 1992294400 4194304 9819077 140735377055504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 20402 19019 492 1374 0 19023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81608

[startup+3.10135 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1634788/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=178940 CPUtime=3.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 47759 0 0 0 277 32 0 0 25 0 1 0 44235626 183234560 35377 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 44735 35377 630 1374 0 43356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178940

[startup+6.30168 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1576632/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=191548 CPUtime=6.29
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 53422 0 0 0 594 35 0 0 25 0 1 0 44235626 196145152 35488 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 47887 35488 632 1374 0 46508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191548

[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1572912/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=194324 CPUtime=12.69
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 58797 0 0 0 1231 38 0 0 25 0 1 0 44235626 198987776 37036 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 48581 37036 632 1374 0 47202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194324

[startup+25.5006 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1570432/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=198424 CPUtime=25.49
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 72150 0 0 0 2503 46 0 0 25 0 1 0 44235626 203186176 37391 1992294400 4194304 9819077 140735377055504 18446744073709551615 7309307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 49606 37391 632 1374 0 48227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 198424

[startup+51.1003 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1576384/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=200636 CPUtime=51.07
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 94396 0 0 0 5048 59 0 0 25 0 1 0 44235626 205451264 36047 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50159 36047 632 1374 0 48780 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 200636

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15579
/proc/meminfo: memFree=1574276/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202488 CPUtime=102.26
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 134270 0 0 0 10143 83 0 0 25 0 1 0 44235626 207347712 36446 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50622 36446 632 1374 0 49243 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 202488

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15581
/proc/meminfo: memFree=1567580/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202904 CPUtime=162.24
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 179165 0 0 0 16112 112 0 0 25 0 1 0 44235626 207773696 35999 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50726 35999 632 1374 0 49347 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 202904

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15583
/proc/meminfo: memFree=1568448/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202968 CPUtime=222.21
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 221128 0 0 0 22084 137 0 0 25 0 1 0 44235626 207839232 37840 1992294400 4194304 9819077 140735377055504 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50742 37840 632 1374 0 49363 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 202968

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15585
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=203092 CPUtime=282.2
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 265876 0 0 0 28057 163 0 0 25 0 1 0 44235626 207966208 37661 1992294400 4194304 9819077 140735377055504 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50773 37661 632 1374 0 49394 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 203092

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15585
/proc/meminfo: memFree=1569192/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=203220 CPUtime=342.18
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 309922 0 0 0 34029 189 0 0 25 0 1 0 44235626 208097280 37650 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50805 37650 632 1374 0 49426 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 203220

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15587
/proc/meminfo: memFree=1570060/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211084 CPUtime=402.16
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 348979 0 0 0 40002 214 0 0 25 0 1 0 44235626 216150016 37573 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 37573 667 1374 0 51392 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 211084

[startup+462.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15589
/proc/meminfo: memFree=1561504/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210984 CPUtime=462.14
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 387850 0 0 0 45977 237 0 0 25 0 1 0 44235626 216047616 39631 1992294400 4194304 9819077 140735377055504 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52746 39631 667 1374 0 51367 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 210984

[startup+522.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15594
/proc/meminfo: memFree=1562124/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211024 CPUtime=522.12
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 430036 0 0 0 51951 261 0 0 25 0 1 0 44235626 216088576 39392 1992294400 4194304 9819077 140735377055504 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52756 39392 667 1374 0 51377 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 211024

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15596
/proc/meminfo: memFree=1562000/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210988 CPUtime=582.1
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 472150 0 0 0 57922 288 0 0 25 0 1 0 44235626 216051712 39342 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52747 39342 667 1374 0 51368 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 210988

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15596
/proc/meminfo: memFree=1562000/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210924 CPUtime=642.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 514170 0 0 0 63896 313 0 0 25 0 1 0 44235626 215986176 39304 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52731 39304 667 1374 0 51352 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 210924

[startup+702.301 s]

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

/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 775262 0 0 0 99729 469 0 0 25 0 1 0 44235626 216150016 39231 1992294400 4194304 9819077 140735377055504 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 39231 667 1374 0 51392 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 211084

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/107 15608
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211024 CPUtime=1061.96
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 819522 0 0 0 105697 499 0 0 25 0 1 0 44235626 216088576 37610 1992294400 4194304 9819077 140735377055504 18446744073709551615 7294771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52756 37610 667 1374 0 51377 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 211024

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15610
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211084 CPUtime=1121.94
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 861612 0 0 0 111669 525 0 0 25 0 1 0 44235626 216150016 39393 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 39393 667 1374 0 51392 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 211084

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15612
/proc/meminfo: memFree=1562372/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211148 CPUtime=1181.92
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 906339 0 0 0 117639 553 0 0 25 0 1 0 44235626 216215552 39332 1992294400 4194304 9819077 140735377055504 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52787 39332 667 1374 0 51408 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 211148

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15612
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211112 CPUtime=1241.91
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 936745 0 0 0 123612 579 0 0 25 0 1 0 44235626 216178688 37309 1992294400 4194304 9819077 140735377055504 18446744073709551615 8777968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52778 37309 667 1374 0 51399 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 211112

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15614
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211112 CPUtime=1301.89
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 936745 0 0 0 129594 595 0 0 25 0 1 0 44235626 216178688 37309 1992294400 4194304 9819077 140735377055504 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52778 37309 667 1374 0 51399 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 211112

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15616
/proc/meminfo: memFree=1555676/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217524 CPUtime=1361.87
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 978487 0 0 0 135566 621 0 0 25 0 1 0 44235626 222744576 40893 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54381 40893 667 1374 0 53002 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 217524

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15618
/proc/meminfo: memFree=1554560/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217428 CPUtime=1421.86
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1021130 0 0 0 141542 644 0 0 25 0 1 0 44235626 222646272 41131 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54357 41131 667 1374 0 52978 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 217428

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15620
/proc/meminfo: memFree=1554436/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217368 CPUtime=1481.83
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1063657 0 0 0 147513 670 0 0 25 0 1 0 44235626 222584832 41222 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54342 41222 667 1374 0 52963 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 217368

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15620
/proc/meminfo: memFree=1565596/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1541.81
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1109000 0 0 0 153483 698 0 0 25 0 1 0 44235626 222679040 39115 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39115 667 1374 0 52986 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 217460

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15622
/proc/meminfo: memFree=1555180/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217432 CPUtime=1601.79
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1147980 0 0 0 159458 721 0 0 25 0 1 0 44235626 222650368 41090 1992294400 4194304 9819077 140735377055504 18446744073709551615 7296171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54358 41090 667 1374 0 52979 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 217432

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15624
/proc/meminfo: memFree=1555056/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217624 CPUtime=1661.77
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1190329 0 0 0 165430 747 0 0 25 0 1 0 44235626 222846976 41073 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54406 41073 667 1374 0 53027 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 217624

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15626
/proc/meminfo: memFree=1555304/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217492 CPUtime=1721.76
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1232474 0 0 0 171404 772 0 0 25 0 1 0 44235626 222711808 41024 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54373 41024 667 1374 0 52994 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 217492

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1555304/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217456 CPUtime=1781.74
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1274542 0 0 0 177378 796 0 0 25 0 1 0 44235626 222674944 40910 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54364 40910 667 1374 0 52985 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 217456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1800.04
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1288545 0 0 0 179198 806 0 0 25 0 1 0 44235626 222679040 39226 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39226 667 1374 0 52986 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 217460

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15576

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1800.83
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1288879 0 0 0 179277 806 0 0 25 0 1 0 44235626 222679040 39560 1992294400 4194304 9819077 140735377055504 18446744073709551615 7480823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39560 667 1374 0 52986 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 217460

[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 15629
/proc/meminfo: memFree=1559884/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1801.63
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1289402 0 0 0 179357 806 0 0 25 0 1 0 44235626 222679040 40083 1992294400 4194304 9819077 140735377055504 18446744073709551615 7294760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 40083 667 1374 0 52986 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 217460

[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 15629
/proc/meminfo: memFree=1559884/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1802.03
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1289815 0 0 0 179397 806 0 0 25 0 1 0 44235626 222679040 40496 1992294400 4194304 9819077 140735377055504 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 40496 667 1374 0 52986 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 217460

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.07
CPU user time (s): 1793.99
CPU system time (s): 8.08177
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 217624

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

runsolver used 2.96455 second user time and 8.5337 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-16 13:05:17
IDJOB=2664816
IDBENCH=71830
IDSOLVER=1168
FILE ID=node002/2664816-1276686316
PBS_JOBID= 11172560
Free space on /tmp= 62568 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-250-false-45-90-4-7000opt.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-2664816-1276686316/watcher-2664816-1276686316 -o /tmp/evaluation-result-2664816-1276686316/solver-2664816-1276686316 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664816-1276686316.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305
RANDOM SEED=1324100207

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1718652 kB
Buffers:        112156 kB
Cached:         133232 kB
SwapCached:      10940 kB
Active:         114120 kB
Inactive:       144808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1718652 kB
SwapTotal:     4192956 kB
SwapFree:      4135684 kB
Dirty:            8244 kB
Writeback:           0 kB
AnonPages:       11612 kB
Mapped:           9308 kB
Slab:            59576 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180224 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= 62564 MiB
End job on node002 at 2010-06-16 13:35:19