Trace number 2664822

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.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
MD5SUM3178a50232316e72958589cc9e9cd436
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-79
Best CPU time to get the best result obtained on this benchmark7.61884
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 constraints30187
Number of constraints which are clauses30187
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 364
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 364
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-2664822-1276687167.opb>
0.49/0.52	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30187 constraints
0.49/0.52	c problem read
0.49/0.52	c presolving settings loaded
0.59/0.62	o 0
0.59/0.62	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.59/0.62	c presolving:
0.69/0.77	c (round 1) 573 del vars, 573 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.99/1.01	c (round 2) 573 del vars, 4761 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25426 upgd conss, 2340 impls, 0 clqs
1.10/1.11	c    (0.5s) probing: 101/1452 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.11	c    (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.11	c presolving (3 rounds):
1.10/1.11	c  573 deleted vars, 4761 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.11	c  2340 implications, 0 cliques
1.10/1.11	c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 25426 constraints
1.10/1.11	c   25426 constraints of type <logicor>
1.10/1.11	c transformed objective value is always integral (scale: 1)
1.10/1.11	c Presolving Time: 0.41
1.10/1.11	c - non default parameters ----------------------------------------------------------------------
1.10/1.11	c # SCIP version 1.2.1.2
1.10/1.11	c 
1.10/1.11	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11	c conflict/interconss = 0
1.10/1.11	c 
1.10/1.11	c # should binary conflicts be preferred?
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c conflict/preferbinary = TRUE
1.10/1.11	c 
1.10/1.11	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.11	c constraints/agelimit = 1
1.10/1.11	c 
1.10/1.11	c # should enforcement of pseudo solution be disabled?
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/disableenfops = TRUE
1.10/1.11	c 
1.10/1.11	c # frequency for displaying node information lines
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11	c display/freq = 10000
1.10/1.11	c 
1.10/1.11	c # maximal time in seconds to run
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/time = 1799.48
1.10/1.11	c 
1.10/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/memory = 1620
1.10/1.11	c 
1.10/1.11	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.11	c lp/solvefreq = 0
1.10/1.11	c 
1.10/1.11	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.11	c # [type: char, range: {lafpsqd}, default: l]
1.10/1.11	c lp/pricing = a
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify inequalities
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/linear/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify knapsacks
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # priority of node selection rule <dfs> in standard mode
1.10/1.11	c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.11	c nodeselection/dfs/stdpriority = 1000000
1.10/1.11	c 
1.10/1.11	c -----------------------------------------------------------------------------------------------
1.10/1.11	c start solving
1.10/1.11	c 
33.28/33.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.28/33.32	c t32.4s|     1 |     0 |  8516 |     - |  33M|   0 |1451 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 | 0.000000e+00 | 100.00%
33.38/33.41	o -4
33.38/33.41	c R32.5s|     1 |     0 |  8516 |     - |  33M|   0 |1451 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 |-4.000000e+00 |  98.44%
33.48/33.52	o -8
33.48/33.52	c s32.6s|     1 |     0 |  8516 |     - |  33M|   0 |1451 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 |-8.000000e+00 |  96.88%
201.83/201.93	c   200s|     1 |     0 | 37953 |     - |  37M|   0 |1449 |1452 |  25k|1452 |  25k|  19 |   0 |   0 |-2.479199e+02 |-8.000000e+00 |  96.77%
201.83/201.94	o -17
201.83/201.94	c b 200s|     1 |     0 | 37953 |     - |  37M|   0 |1449 |1452 |  25k|1452 |  25k|  19 |   0 |   0 |-2.479199e+02 |-1.700000e+01 |  93.14%
425.87/426.08	c   423s|     1 |     0 | 73491 |     - |  38M|   0 |1451 |1452 |  25k|1452 |  25k|  26 |   0 |   0 |-2.466252e+02 |-1.700000e+01 |  93.11%
425.96/426.13	o -19
425.96/426.13	c b 423s|     1 |     0 | 73491 |     - |  38M|   0 |1451 |1452 |  25k|1452 |  25k|  26 |   0 |   0 |-2.466252e+02 |-1.900000e+01 |  92.30%
597.52/597.78	c   594s|     1 |     0 |100269 |     - |  43M|   0 |1450 |1452 |  25k|1452 |  25k|  30 |   0 |   0 |-2.463588e+02 |-1.900000e+01 |  92.29%
742.87/743.18	c   738s|     1 |     0 |121683 |     - |  47M|   0 |1451 |1452 |  25k|1452 |  25k|  33 |   0 |   0 |-2.462545e+02 |-1.900000e+01 |  92.28%
925.51/925.87	c   920s|     1 |     0 |152016 |     - |  51M|   0 |1446 |1452 |  25k|1452 |  25k|  38 |   0 |   0 |-2.452461e+02 |-1.900000e+01 |  92.25%
1152.94/1153.34	c  1146s|     1 |     0 |188801 |     - |  56M|   0 |1449 |1452 |  25k|1452 |  25k|  44 |   0 |   0 |-2.435658e+02 |-1.900000e+01 |  92.20%
1319.70/1320.17	c  1312s|     1 |     0 |214455 |     - |  60M|   0 |1451 |1452 |  25k|1452 |  25k|  52 |   0 |   0 |-2.406915e+02 |-1.900000e+01 |  92.11%
1499.23/1499.70	c  1490s|     1 |     0 |240628 |     - |  61M|   0 |1451 |1452 |  25k|1452 |  25k|  57 |   0 |   0 |-2.391755e+02 |-1.900000e+01 |  92.06%
1671.28/1671.84	c  1662s|     1 |     0 |267069 |     - |  66M|   0 |1449 |1452 |  25k|1452 |  25k| 107 |   0 |   0 |-2.338602e+02 |-1.900000e+01 |  91.88%
1800.05/1800.60	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-2664822-1276687167/watcher-2664822-1276687167 -o /tmp/evaluation-result-2664822-1276687167/solver-2664822-1276687167 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664822-1276687167.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17332
/proc/meminfo: memFree=1742340/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=9288 CPUtime=0
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1152 0 0 0 0 0 0 0 25 0 1 0 10010390 9510912 1073 1992294400 4194304 9819077 140733410428784 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17332/statm: 2322 1084 371 1374 0 943 0

[startup+0.109717 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17332
/proc/meminfo: memFree=1742340/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=15796 CPUtime=0.1
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 2877 0 0 0 9 1 0 0 25 0 1 0 10010390 16175104 2798 1992294400 4194304 9819077 140733410428784 18446744073709551615 4525387 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17332/statm: 3949 2798 388 1374 0 2570 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15796

[startup+0.201726 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17332
/proc/meminfo: memFree=1742340/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=18220 CPUtime=0.19
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 3479 0 0 0 18 1 0 0 25 0 1 0 10010390 18657280 3400 1992294400 4194304 9819077 140733410428784 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17332/statm: 4555 3400 388 1374 0 3176 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18220

[startup+0.301736 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17332
/proc/meminfo: memFree=1742340/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=19588 CPUtime=0.29
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 3842 0 0 0 28 1 0 0 25 0 1 0 10010390 20058112 3763 1992294400 4194304 9819077 140733410428784 18446744073709551615 6180704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17332/statm: 4897 3763 388 1374 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19588

[startup+0.701777 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17332
/proc/meminfo: memFree=1742340/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=48260 CPUtime=0.69
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 11176 0 0 0 64 5 0 0 25 0 1 0 10010390 49418240 10743 1992294400 4194304 9819077 140733410428784 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 12065 10743 492 1374 0 10686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48260

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17333
/proc/meminfo: memFree=1696080/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=94552 CPUtime=1.49
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 24794 0 0 0 133 16 0 0 18 0 1 0 10010390 96821248 18778 1992294400 4194304 9819077 140733410428784 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 23638 18778 637 1374 0 22259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94552

[startup+3.10102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17333
/proc/meminfo: memFree=1668304/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=100740 CPUtime=3.09
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 28219 0 0 0 290 19 0 0 21 0 1 0 10010390 103157760 18889 1992294400 4194304 9819077 140733410428784 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 25185 18889 639 1374 0 23806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100740

[startup+6.30135 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 17333
/proc/meminfo: memFree=1667932/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=101524 CPUtime=6.29
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 31919 0 0 0 608 21 0 0 25 0 1 0 10010390 103960576 19518 1992294400 4194304 9819077 140733410428784 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 25381 19518 639 1374 0 24002 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101524

[startup+12.701 s]
/proc/loadavg: 1.31 1.07 1.02 2/107 17333
/proc/meminfo: memFree=1665576/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=102468 CPUtime=12.68
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 40048 0 0 0 1242 26 0 0 25 0 1 0 10010390 104927232 19017 1992294400 4194304 9819077 140733410428784 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 25617 19017 639 1374 0 24238 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102468

[startup+25.5013 s]
/proc/loadavg: 1.37 1.09 1.03 2/107 17333
/proc/meminfo: memFree=1666568/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=102472 CPUtime=25.48
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 52766 0 0 0 2513 35 0 0 25 0 1 0 10010390 104931328 19445 1992294400 4194304 9819077 140733410428784 18446744073709551615 6391502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 25618 19445 639 1374 0 24239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102472

[startup+51.101 s]
/proc/loadavg: 1.25 1.08 1.03 2/107 17333
/proc/meminfo: memFree=1659748/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=108920 CPUtime=51.07
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 77488 0 0 0 5057 50 0 0 25 0 1 0 10010390 111534080 21175 1992294400 4194304 9819077 140733410428784 18446744073709551615 7306903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 27230 21175 683 1374 0 25851 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 108920

[startup+102.301 s]
/proc/loadavg: 1.10 1.07 1.02 2/107 17335
/proc/meminfo: memFree=1659624/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=108944 CPUtime=102.27
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 113786 0 0 0 10150 77 0 0 25 0 1 0 10010390 111558656 21145 1992294400 4194304 9819077 140733410428784 18446744073709551615 7298114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 27236 21145 683 1374 0 25857 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 108944

[startup+162.301 s]
/proc/loadavg: 1.04 1.05 1.02 2/107 17337
/proc/meminfo: memFree=1659624/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=108948 CPUtime=162.24
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 155776 0 0 0 16115 109 0 0 25 0 1 0 10010390 111562752 21204 1992294400 4194304 9819077 140733410428784 18446744073709551615 6192329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 27237 21204 683 1374 0 25858 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 108948

[startup+222.309 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 17337
/proc/meminfo: memFree=1660740/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=110364 CPUtime=222.23
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 185178 0 0 0 22084 139 0 0 25 0 1 0 10010390 113012736 20858 1992294400 4194304 9819077 140733410428784 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 27591 20858 683 1374 0 26212 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 110364

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 17339
/proc/meminfo: memFree=1657144/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=113468 CPUtime=282.21
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 227539 0 0 0 28050 171 0 0 25 0 1 0 10010390 116191232 22187 1992294400 4194304 9819077 140733410428784 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 28367 22187 683 1374 0 26988 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 113468

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17341
/proc/meminfo: memFree=1655532/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=113528 CPUtime=342.19
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 270182 0 0 0 34013 206 0 0 25 0 1 0 10010390 116252672 22196 1992294400 4194304 9819077 140733410428784 18446744073709551615 7309060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 28382 22196 683 1374 0 27003 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 113528

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17343
/proc/meminfo: memFree=1657640/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=113532 CPUtime=402.17
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 312849 0 0 0 39979 238 0 0 25 0 1 0 10010390 116256768 22065 1992294400 4194304 9819077 140733410428784 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 28383 22065 683 1374 0 27004 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 113532

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17345
/proc/meminfo: memFree=1649208/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=120744 CPUtime=462.15
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 348397 0 0 0 45946 269 0 0 25 0 1 0 10010390 123641856 23920 1992294400 4194304 9819077 140733410428784 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 30186 23920 680 1374 0 28807 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 120744

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17345
/proc/meminfo: memFree=1649828/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=120712 CPUtime=522.13
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 391474 0 0 0 51908 305 0 0 25 0 1 0 10010390 123609088 24012 1992294400 4194304 9819077 140733410428784 18446744073709551615 7294784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 30178 24012 680 1374 0 28799 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 120712

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17347
/proc/meminfo: memFree=1648092/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=120808 CPUtime=582.12
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 433249 0 0 0 57873 339 0 0 25 0 1 0 10010390 123707392 24044 1992294400 4194304 9819077 140733410428784 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 30202 24044 680 1374 0 28823 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 120808

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17349
/proc/meminfo: memFree=1647720/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=121148 CPUtime=642.1
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 466783 0 0 0 63843 367 0 0 25 0 1 0 10010390 124055552 24234 1992294400 4194304 9819077 140733410428784 18446744073709551615 6191160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 30287 24234 680 1374 0 28908 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 121148

[startup+702.302 s]

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

/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 752433 0 0 0 105605 592 0 0 25 0 1 0 10010390 137244672 26733 1992294400 4194304 9819077 140733410428784 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 33507 26733 680 1374 0 32128 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 134028

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17364
/proc/meminfo: memFree=1634948/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=134048 CPUtime=1121.95
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 793884 0 0 0 111570 625 0 0 25 0 1 0 10010390 137265152 27200 1992294400 4194304 9819077 140733410428784 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 33512 27200 680 1374 0 32133 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 134048

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17366
/proc/meminfo: memFree=1629368/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139048 CPUtime=1181.94
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 827027 0 0 0 117538 656 0 0 25 0 1 0 10010390 142385152 27975 1992294400 4194304 9819077 140733410428784 18446744073709551615 7293001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34762 27975 680 1374 0 33383 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 139048

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17368
/proc/meminfo: memFree=1629492/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139104 CPUtime=1241.91
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 871183 0 0 0 123503 688 0 0 25 0 1 0 10010390 142442496 28492 1992294400 4194304 9819077 140733410428784 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34776 28492 680 1374 0 33397 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 139104

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17370
/proc/meminfo: memFree=1629368/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139108 CPUtime=1301.9
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 916439 0 0 0 129467 723 0 0 25 0 1 0 10010390 142446592 27908 1992294400 4194304 9819077 140733410428784 18446744073709551615 7304775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34777 27908 680 1374 0 33398 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 139108

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17372
/proc/meminfo: memFree=1629740/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139448 CPUtime=1361.87
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 940011 0 0 0 135440 747 0 0 25 0 1 0 10010390 142794752 28550 1992294400 4194304 9819077 140733410428784 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34862 28550 678 1374 0 33483 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 139448

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17372
/proc/meminfo: memFree=1630856/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139472 CPUtime=1421.86
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 988147 0 0 0 141401 785 0 0 25 0 1 0 10010390 142819328 28080 1992294400 4194304 9819077 140733410428784 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34868 28080 678 1374 0 33489 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 139472

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17374
/proc/meminfo: memFree=1631104/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=139708 CPUtime=1481.83
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1034639 0 0 0 147364 819 0 0 25 0 1 0 10010390 143060992 28380 1992294400 4194304 9819077 140733410428784 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 34927 28380 678 1374 0 33548 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 139708

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17376
/proc/meminfo: memFree=1624160/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=145700 CPUtime=1541.83
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1071098 0 0 0 153332 851 0 0 25 0 1 0 10010390 149196800 29863 1992294400 4194304 9819077 140733410428784 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 36425 29863 679 1374 0 35046 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 145700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17378
/proc/meminfo: memFree=1622672/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=145704 CPUtime=1601.79
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1118238 0 0 0 159294 885 0 0 25 0 1 0 10010390 149200896 29484 1992294400 4194304 9819077 140733410428784 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 36426 29484 679 1374 0 35047 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 145704

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17380
/proc/meminfo: memFree=1625152/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=145760 CPUtime=1661.79
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1165620 0 0 0 165258 921 0 0 25 0 1 0 10010390 149258240 29500 1992294400 4194304 9819077 140733410428784 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 36440 29500 679 1374 0 35061 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 145760

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17380
/proc/meminfo: memFree=1618952/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149132 CPUtime=1721.76
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1205982 0 0 0 171225 951 0 0 25 0 1 0 10010390 152711168 30508 1992294400 4194304 9819077 140733410428784 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37283 30508 679 1374 0 35904 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 149132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17382
/proc/meminfo: memFree=1621308/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149104 CPUtime=1781.74
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1250651 0 0 0 177188 986 0 0 25 0 1 0 10010390 152682496 30508 1992294400 4194304 9819077 140733410428784 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37276 30508 679 1374 0 35897 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 149104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17384
/proc/meminfo: memFree=1620564/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149128 CPUtime=1800.05
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1264064 0 0 0 179008 997 0 0 25 0 1 0 10010390 152707072 30562 1992294400 4194304 9819077 140733410428784 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37282 30562 679 1374 0 35903 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 149128

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17332

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17385
/proc/meminfo: memFree=1620184/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149128 CPUtime=1800.94
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1264441 0 0 0 179097 997 0 0 25 0 1 0 10010390 152707072 30939 1992294400 4194304 9819077 140733410428784 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37282 30939 679 1374 0 35903 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 149128

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17385
/proc/meminfo: memFree=1618696/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149160 CPUtime=1801.74
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1265367 0 0 0 179176 998 0 0 25 0 1 0 10010390 152739840 30378 1992294400 4194304 9819077 140733410428784 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37290 30378 679 1374 0 35911 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 149160

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17385
/proc/meminfo: memFree=1618696/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149160 CPUtime=1801.94
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1265458 0 0 0 179195 999 0 0 25 0 1 0 10010390 152739840 30469 1992294400 4194304 9819077 140733410428784 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37290 30469 679 1374 0 35911 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 149160

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17385
/proc/meminfo: memFree=1618696/2059040 swapFree=4175448/4192956
[pid=17332] ppid=17330 vsize=149160 CPUtime=1802.04
/proc/17332/stat : 17332 (pbscip.linux.x8) R 17330 17332 17268 0 -1 4202496 1265523 0 0 0 179205 999 0 0 25 0 1 0 10010390 152739840 30534 1992294400 4194304 9819077 140733410428784 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17332/statm: 37290 30534 679 1374 0 35911 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 149160

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.07
CPU user time (s): 1792.07
CPU system time (s): 10.0045
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 149220

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

runsolver used 2.94755 second user time and 8.5447 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-16 13:19:27
IDJOB=2664822
IDBENCH=71836
IDSOLVER=1168
FILE ID=node083/2664822-1276687167
PBS_JOBID= 11172604
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-9000opt.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-2664822-1276687167/watcher-2664822-1276687167 -o /tmp/evaluation-result-2664822-1276687167/solver-2664822-1276687167 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664822-1276687167.opb -t 1800 -m 1800

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

MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=1950203380

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1742744 kB
Buffers:         63192 kB
Cached:         120124 kB
SwapCached:      13528 kB
Active:          96696 kB
Inactive:       142320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1742744 kB
SwapTotal:     4192956 kB
SwapFree:      4175448 kB
Dirty:            7216 kB
Writeback:           0 kB
AnonPages:       42172 kB
Mapped:          14284 kB
Slab:            55524 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180996 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 node083 at 2010-06-16 13:49:29