Trace number 2665384

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.17 1802.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
MD5SUMe9d9fc2aedf45217e1b47072b194c567
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1164.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables124856
Total number of constraints521620
Number of constraints which are clauses521620
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 constraint1
Maximum length of a constraint1023
Number of terms in the objective function 61556
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 61556
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 61556
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2665384-1276638574.opb>
9.49/9.53	c original problem has 124856 variables (124856 bin, 0 int, 0 impl, 0 cont) and 521620 constraints
9.49/9.53	c problem read
9.49/9.54	c presolving settings loaded
12.09/12.12	c presolving:
17.18/17.20	c (round 1) 61429 del vars, 126093 del conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs
17.59/17.66	c (round 2) 61430 del vars, 132897 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs
22.08/22.15	c (round 3) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387364 upgd conss, 746193 impls, 0 clqs
22.99/23.07	c (round 4) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 746193 impls, 0 clqs
36.08/36.18	c    (24.3s) probing: 551/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes
36.08/36.18	c    (24.3s) probing aborted: 100/100 successive totally useless probings
36.08/36.18	c (round 5) 61459 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs
36.59/36.65	c (round 6) 61459 del vars, 135698 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs
37.68/37.75	c    (25.5s) probing: 561/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes
37.68/37.75	c    (25.5s) probing aborted: 100/100 successive totally useless probings
37.68/37.77	c presolving (7 rounds):
37.68/37.77	c  61459 deleted vars, 135700 deleted constraints, 81 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
37.68/37.77	c  769491 implications, 0 cliques
37.68/37.77	c presolved problem has 63397 variables (63397 bin, 0 int, 0 impl, 0 cont) and 385920 constraints
37.68/37.77	c  385920 constraints of type <logicor>
37.68/37.77	c transformed objective value is always integral (scale: 1)
37.68/37.77	c Presolving Time: 24.18
37.68/37.77	c - non default parameters ----------------------------------------------------------------------
37.68/37.77	c # SCIP version 1.2.1.2
37.68/37.77	c 
37.68/37.77	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
37.68/37.77	c # [type: int, range: [-1,2147483647], default: -1]
37.68/37.77	c conflict/interconss = 0
37.68/37.77	c 
37.68/37.77	c # should binary conflicts be preferred?
37.68/37.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.68/37.77	c conflict/preferbinary = TRUE
37.68/37.77	c 
37.68/37.77	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
37.68/37.77	c # [type: int, range: [-1,2147483647], default: 0]
37.68/37.77	c constraints/agelimit = 1
37.68/37.77	c 
37.68/37.77	c # should enforcement of pseudo solution be disabled?
37.68/37.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.68/37.77	c constraints/disableenfops = TRUE
37.68/37.77	c 
37.68/37.77	c # frequency for displaying node information lines
37.68/37.77	c # [type: int, range: [-1,2147483647], default: 100]
37.68/37.77	c display/freq = 10000
37.68/37.77	c 
37.68/37.77	c # maximal time in seconds to run
37.68/37.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.68/37.77	c limits/time = 1790.47
37.68/37.77	c 
37.68/37.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.68/37.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.68/37.77	c limits/memory = 1620
37.68/37.77	c 
37.68/37.77	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
37.68/37.77	c # [type: int, range: [-1,2147483647], default: 1]
37.68/37.77	c lp/solvefreq = 0
37.68/37.77	c 
37.68/37.77	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)
37.68/37.77	c # [type: char, range: {lafpsqd}, default: l]
37.68/37.77	c lp/pricing = a
37.68/37.77	c 
37.68/37.77	c # should presolving try to simplify inequalities
37.68/37.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.68/37.77	c constraints/linear/simplifyinequalities = TRUE
37.68/37.77	c 
37.68/37.77	c # should presolving try to simplify knapsacks
37.68/37.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.68/37.77	c constraints/knapsack/simplifyinequalities = TRUE
37.68/37.77	c 
37.68/37.77	c # priority of node selection rule <dfs> in standard mode
37.68/37.77	c # [type: int, range: [-536870912,536870911], default: 0]
37.68/37.77	c nodeselection/dfs/stdpriority = 1000000
37.68/37.77	c 
37.68/37.77	c -----------------------------------------------------------------------------------------------
37.68/37.77	c start solving
37.78/37.88	c 
47.47/47.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.47/47.54	c  34.9s|     1 |     0 |   842 |     - | 770M|   0 | 326 |  63k| 385k|  63k| 385k|   0 |   0 |   0 | 2.225000e+01 |      --      |    Inf 
47.88/47.91	o 34
47.88/47.91	c s35.3s|     1 |     0 |   842 |     - | 775M|   0 | 326 |  63k| 385k|  63k| 385k|   0 |   0 |   0 | 2.225000e+01 | 3.400000e+01 |  52.81%
264.31/264.41	c   251s|     1 |     0 |  1031 |     - | 775M|   0 | 116 |  63k| 385k|  63k| 385k|  14 |   0 |   0 | 2.300000e+01 | 3.400000e+01 |  47.83%
264.52/264.66	o 32
264.52/264.66	c b 251s|     1 |     0 |  1031 |     - | 779M|   0 | 116 |  63k| 385k|  63k| 385k|  14 |   0 |   0 | 2.300000e+01 | 3.200000e+01 |  39.13%
609.39/609.67	c   596s|     1 |     0 |  1350 |     - | 778M|   0 | 105 |  63k| 385k|  63k| 385k|  19 |   0 |   0 | 2.300000e+01 | 3.200000e+01 |  39.13%
609.69/609.94	o 28
609.69/609.94	c R 596s|     1 |     0 |  1350 |     - | 780M|   0 | 105 |  63k| 385k|  63k| 385k|  19 |   0 |   0 | 2.300000e+01 | 2.800000e+01 |  21.74%
609.99/610.28	o 26
609.99/610.28	c b 596s|     1 |     0 |  1350 |     - | 783M|   0 | 105 |  63k| 385k|  63k| 385k|  19 |   0 |   0 | 2.300000e+01 | 2.600000e+01 |  13.04%
964.47/964.82	c   950s|     1 |     0 |  1814 |     - | 782M|   0 | 122 |  63k| 385k|  63k| 385k|  24 |   0 |   0 | 2.300000e+01 | 2.600000e+01 |  13.04%
964.77/965.17	o 26
964.77/965.17	c s 950s|     1 |     0 |  1814 |     - | 783M|   0 | 122 |  63k| 385k|  63k| 385k|  24 |   0 |   0 | 2.300000e+01 | 2.600000e+01 |  13.04%
1306.47/1306.91	c  1291s|     1 |     0 |  2014 |     - | 784M|   0 | 102 |  63k| 385k|  63k| 385k|  27 |   0 |   0 | 2.300000e+01 | 2.600000e+01 |  13.04%
1676.36/1676.94	c  1660s|     1 |     0 |  2524 |     - | 787M|   0 | 104 |  63k| 385k|  63k| 385k|  29 |   0 |   0 | 2.300000e+01 | 2.600000e+01 |  13.04%
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-2665384-1276638574/watcher-2665384-1276638574 -o /tmp/evaluation-result-2665384-1276638574/solver-2665384-1276638574 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665384-1276638574.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.01 1.01 1.06 3/106 11831
/proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=8260 CPUtime=0
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 1009 0 0 0 0 0 0 0 21 0 1 0 5152609 8458240 929 1992294400 4194304 9819077 140736906321984 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 2065 929 366 1374 0 686 0

[startup+0.01215 s]
/proc/loadavg: 1.01 1.01 1.06 3/106 11831
/proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=9288 CPUtime=0
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 1207 0 0 0 0 0 0 0 21 0 1 0 5152609 9510912 1126 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 2322 1138 371 1374 0 943 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9288

[startup+0.101159 s]
/proc/loadavg: 1.01 1.01 1.06 3/106 11831
/proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=30952 CPUtime=0.09
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 6674 0 0 0 7 2 0 0 21 0 1 0 5152609 31694848 6590 1992294400 4194304 9819077 140736906321984 18446744073709551615 8610784 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 7738 6590 386 1374 0 6359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30952

[startup+0.301183 s]
/proc/loadavg: 1.01 1.01 1.06 3/106 11831
/proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=60124 CPUtime=0.29
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 13930 0 0 0 24 5 0 0 21 0 1 0 5152609 61566976 13844 1992294400 4194304 9819077 140736906321984 18446744073709551615 4466545 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 15031 13844 388 1374 0 13652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60124

[startup+0.70123 s]
/proc/loadavg: 1.01 1.01 1.06 3/106 11831
/proc/meminfo: memFree=1777604/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=80464 CPUtime=0.69
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 19046 0 0 0 62 7 0 0 22 0 1 0 5152609 82395136 18960 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 20116 18960 388 1374 0 18737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80464

[startup+1.50132 s]
/proc/loadavg: 1.01 1.01 1.06 2/107 11832
/proc/meminfo: memFree=1689432/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=115268 CPUtime=1.49
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 27685 0 0 0 139 10 0 0 25 0 1 0 5152609 118034432 27599 1992294400 4194304 9819077 140736906321984 18446744073709551615 4908352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 28817 27599 388 1374 0 27438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115268

[startup+3.10151 s]
/proc/loadavg: 1.01 1.01 1.06 2/107 11832
/proc/meminfo: memFree=1649256/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=153464 CPUtime=3.09
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 37279 0 0 0 295 14 0 0 25 0 1 0 5152609 157147136 37193 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 38366 37193 388 1374 0 36987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153464

[startup+6.30189 s]
/proc/loadavg: 1.01 1.01 1.06 2/107 11832
/proc/meminfo: memFree=1583288/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=218540 CPUtime=6.29
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 53404 0 0 0 609 20 0 0 25 0 1 0 5152609 223784960 53318 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11831/statm: 54635 53318 388 1374 0 53256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218540

[startup+12.7016 s]
/proc/loadavg: 1.01 1.01 1.06 2/107 11832
/proc/meminfo: memFree=1081468/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=722968 CPUtime=12.68
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 177188 0 0 0 1200 68 0 0 25 0 1 0 5152609 740319232 176732 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 180742 176732 483 1374 0 179363 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 722968

[startup+25.5011 s]
/proc/loadavg: 1.01 1.00 1.06 2/107 11832
/proc/meminfo: memFree=1026164/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=776524 CPUtime=25.49
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 269587 0 0 0 2295 254 0 0 25 0 1 0 5152609 795160576 189026 1992294400 4194304 9819077 140736906321984 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 194131 189026 565 1374 0 192752 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 776524

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 11832
/proc/meminfo: memFree=684296/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1298576 CPUtime=51.08
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 399904 0 0 0 4770 338 0 0 25 0 1 0 5152609 1329741824 273260 1992294400 4194304 9819077 140736906321984 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 324644 273260 652 1374 0 323265 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1298576

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 11834
/proc/meminfo: memFree=676484/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1312092 CPUtime=102.26
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401854 0 0 0 9885 341 0 0 25 0 1 0 5152609 1343582208 275210 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 328023 275210 654 1374 0 326644 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1312092

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 11836
/proc/meminfo: memFree=676360/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1312092 CPUtime=162.25
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401891 0 0 0 15872 353 0 0 25 0 1 0 5152609 1343582208 275247 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 328023 275247 654 1374 0 326644 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1312092

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 11836
/proc/meminfo: memFree=676360/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1313912 CPUtime=222.23
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 401899 0 0 0 21869 354 0 0 25 0 1 0 5152609 1345445888 275255 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 328478 275255 657 1374 0 327099 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1313912

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 11838
/proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=282.21
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 27816 405 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292434 674 1374 0 346589 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1391872

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 11840
/proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=342.19
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 33804 415 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292434 674 1374 0 346589 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1391872

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 11842
/proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=402.17
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 39789 428 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292434 674 1374 0 346589 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1391872

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 11844
/proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=462.14
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 45781 433 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292434 674 1374 0 346589 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1391872

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 11844
/proc/meminfo: memFree=607540/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=522.13
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477355 0 0 0 51780 433 0 0 25 0 1 0 5152609 1425276928 292434 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292434 674 1374 0 346589 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1391872

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 11846
/proc/meminfo: memFree=607416/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1391872 CPUtime=582.1
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 477363 0 0 0 57770 440 0 0 25 0 1 0 5152609 1425276928 292442 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347968 292442 674 1374 0 346589 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1391872

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11848
/proc/meminfo: memFree=610392/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1390160 CPUtime=642.1
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 538119 0 0 0 63741 469 0 0 25 0 1 0 5152609 1423523840 291742 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347540 291742 674 1374 0 346161 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1390160

[startup+702.3 s]

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

/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 105644 551 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347502 290800 674 1374 0 346123 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1390008

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11869
/proc/meminfo: memFree=613740/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1390008 CPUtime=1121.93
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 111628 565 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347502 290800 674 1374 0 346123 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1390008

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11871
/proc/meminfo: memFree=613616/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1390008 CPUtime=1181.91
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 117620 571 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347502 290800 674 1374 0 346123 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1390008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11873
/proc/meminfo: memFree=613492/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1390008 CPUtime=1241.9
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 595520 0 0 0 123619 571 0 0 25 0 1 0 5152609 1423368192 290800 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347502 290800 674 1374 0 346123 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1390008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11875
/proc/meminfo: memFree=614980/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1389052 CPUtime=1301.88
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 635066 0 0 0 129595 593 0 0 25 0 1 0 5152609 1422389248 290438 1992294400 4194304 9819077 140736906321984 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 347263 290438 674 1374 0 345884 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1389052

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11877
/proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432560 CPUtime=1361.86
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 135572 614 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358140 301221 674 1374 0 356761 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1432560

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11877
/proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432560 CPUtime=1421.85
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 141555 630 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358140 301221 674 1374 0 356761 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1432560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11879
/proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432560 CPUtime=1481.82
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 147539 643 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358140 301221 674 1374 0 356761 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1432560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11881
/proc/meminfo: memFree=571704/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432560 CPUtime=1541.81
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661198 0 0 0 153534 647 0 0 25 0 1 0 5152609 1466941440 301221 1992294400 4194304 9819077 140736906321984 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358140 301221 674 1374 0 356761 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1432560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11883
/proc/meminfo: memFree=571456/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432968 CPUtime=1601.79
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661286 0 0 0 159532 647 0 0 25 0 1 0 5152609 1467359232 301309 1992294400 4194304 9819077 140736906321984 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358242 301309 674 1374 0 356863 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1432968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11885
/proc/meminfo: memFree=571456/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1432968 CPUtime=1661.77
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 661286 0 0 0 165522 655 0 0 25 0 1 0 5152609 1467359232 301309 1992294400 4194304 9819077 140736906321984 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358242 301309 674 1374 0 356863 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1432968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11885
/proc/meminfo: memFree=573936/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1435004 CPUtime=1721.75
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 171487 688 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358751 300652 674 1374 0 357372 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1435004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11887
/proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1435004 CPUtime=1781.73
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 177473 700 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358751 300652 674 1374 0 357372 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1435004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11889
/proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1435004 CPUtime=1800.04
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 720597 0 0 0 179297 707 0 0 25 0 1 0 5152609 1469444096 300652 1992294400 4194304 9819077 140736906321984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 358751 300652 674 1374 0 357372 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1435004

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11831

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11889
/proc/meminfo: memFree=573688/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1412196 CPUtime=1800.82
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 754616 0 0 0 179364 718 0 0 25 0 1 0 5152609 1446088704 294126 1992294400 4194304 9819077 140736906321984 18446744073709551615 6688807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 353049 294134 674 1374 0 351670 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1412196

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11890
/proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1429936 CPUtime=1801.63
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 760204 0 0 0 179442 721 0 0 25 0 1 0 5152609 1464254464 299171 1992294400 4194304 9819077 140736906321984 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 357484 299171 674 1374 0 356105 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1429936

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11890
/proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=1429936 CPUtime=1802.03
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4202496 760245 0 0 0 179482 721 0 0 25 0 1 0 5152609 1464254464 299212 1992294400 4194304 9819077 140736906321984 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11831/statm: 357484 299212 674 1374 0 356105 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1429936

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11890
/proc/meminfo: memFree=579880/2059040 swapFree=4192956/4192956
[pid=11831] ppid=11829 vsize=0 CPUtime=1802.13
/proc/11831/stat : 11831 (pbscip.linux.x8) R 11829 11831 11111 0 -1 4203524 760267 0 0 0 179484 729 0 0 25 0 1 0 5152609 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/11831/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.17
CPU user time (s): 1794.84
CPU system time (s): 7.32589
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1435004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 7.32589
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 760267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 5577

runsolver used 3.05854 second user time and 8.43872 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-15 23:49:35
IDJOB=2665384
IDBENCH=25009
IDSOLVER=1168
FILE ID=node033/2665384-1276638574
PBS_JOBID= 11172365
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir08_area_delay.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-2665384-1276638574/watcher-2665384-1276638574 -o /tmp/evaluation-result-2665384-1276638574/solver-2665384-1276638574 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665384-1276638574.opb -t 1800 -m 1800

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

MD5SUM BENCH= e9d9fc2aedf45217e1b47072b194c567
RANDOM SEED=1246084240

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1778132 kB
Buffers:         14452 kB
Cached:         141000 kB
SwapCached:          0 kB
Active:          95572 kB
Inactive:       119924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1778132 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           23708 kB
Writeback:           0 kB
AnonPages:       60000 kB
Mapped:          15436 kB
Slab:            43728 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181436 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= 62568 MiB
End job on node033 at 2010-06-16 00:19:38