Trace number 2667032

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.07 1802.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUMdae2a99f19ab3cbb5b0fd1a29cad1e80
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark54.7837
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 203
Optimality of the best value was proved NO
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
Number of bits of the biggest sum of numbers15
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: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2667032-1276478127.opb>
0.19/0.30	c original problem has 10989 variables (10989 bin, 0 int, 0 impl, 0 cont) and 12472 constraints
0.19/0.30	c problem read
0.19/0.30	c presolving settings loaded
0.39/0.46	o 20058
0.39/0.46	c feasible solution found by trivial heuristic, objective value  2.005800e+04
0.39/0.46	c presolving:
0.49/0.55	c (round 1) 70 del vars, 70 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51474 impls, 14 clqs
0.69/0.75	c (round 2) 70 del vars, 71 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 12321 upgd conss, 51474 impls, 14 clqs
0.79/0.86	c (round 3) 70 del vars, 74 del conss, 1 chg bounds, 3 chg sides, 5 chg coeffs, 12401 upgd conss, 51474 impls, 14 clqs
1.19/1.26	c    (0.9s) probing: 132/10919 (1.2%) - 0 fixings, 0 aggregations, 22 implications, 0 bound changes
1.19/1.26	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.19/1.26	c presolving (4 rounds):
1.19/1.26	c  70 deleted vars, 74 deleted constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 5 changed coefficients
1.19/1.26	c  51518 implications, 14 cliques
1.19/1.26	c presolved problem has 10919 variables (10919 bin, 0 int, 0 impl, 0 cont) and 12400 constraints
1.19/1.26	c    1987 constraints of type <knapsack>
1.19/1.26	c      14 constraints of type <setppc>
1.19/1.26	c   10399 constraints of type <logicor>
1.19/1.26	c transformed objective value is always integral (scale: 1)
1.19/1.26	c Presolving Time: 0.81
1.19/1.26	c - non default parameters ----------------------------------------------------------------------
1.19/1.26	c # SCIP version 1.2.1.2
1.19/1.26	c 
1.19/1.26	c # frequency for displaying node information lines
1.19/1.26	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.26	c display/freq = 10000
1.19/1.26	c 
1.19/1.26	c # maximal time in seconds to run
1.19/1.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26	c limits/time = 1799.71
1.19/1.26	c 
1.19/1.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26	c limits/memory = 1620
1.19/1.26	c 
1.19/1.26	c # should presolving try to simplify inequalities
1.19/1.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26	c constraints/linear/simplifyinequalities = TRUE
1.19/1.26	c 
1.19/1.26	c # should presolving try to simplify knapsacks
1.19/1.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.27	c 
1.19/1.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.27	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.27	c separating/rapidlearning/freq = 0
1.19/1.27	c 
1.19/1.27	c -----------------------------------------------------------------------------------------------
1.19/1.27	c start solving
1.19/1.28	c 
1.29/1.30	o 20045
1.29/1.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.29/1.30	c t 0.9s|     1 |     0 |     0 |     - |  39M|   0 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |      --      | 2.004500e+04 |    Inf 
1.39/1.42	o 9986
1.39/1.42	c b 1.0s|     1 |     0 |     0 |     - |  48M|   0 |   - |  10k|  12k|  10k|  12k|   0 |   0 |   0 |      --      | 9.986000e+03 |    Inf 
80.97/81.09	c  80.2s|     1 |     0 | 18331 |     - |  48M|   0 |3762 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 9.986000e+03 |  Large 
83.06/83.17	o 4815
83.06/83.17	c R82.3s|     1 |     0 | 18331 |     - |  49M|   0 |3762 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 4.815000e+03 |  Large 
85.16/85.27	o 4813
85.16/85.27	c s84.4s|     1 |     0 | 18331 |     - |  49M|   0 |3762 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 4.813000e+03 |  Large 
85.16/85.29	o 1419
85.16/85.29	c b84.4s|     1 |     0 | 18331 |     - |  49M|   0 |3762 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 1.419000e+03 |  Large 
104.86/104.99	c   104s|     1 |     0 | 19673 |     - |  49M|   0 |3809 |  10k|  12k|  10k|  12k|   5 |   0 |   0 | 1.200000e+01 | 1.419000e+03 |  Large 
107.85/107.93	o 587
107.85/107.93	c b 107s|     1 |     0 | 19673 |     - |  49M|   0 |3809 |  10k|  12k|  10k|  12k|   5 |   0 |   0 | 1.200000e+01 | 5.870000e+02 |4791.67%
129.76/129.89	c   129s|     1 |     0 | 21402 |     - |  52M|   0 |3793 |  10k|  12k|  10k|  12k|   9 |   0 |   0 | 1.200000e+01 | 5.870000e+02 |4791.67%
132.35/132.40	o 436
132.35/132.40	c b 131s|     1 |     0 | 21402 |     - |  52M|   0 |3793 |  10k|  12k|  10k|  12k|   9 |   0 |   0 | 1.200000e+01 | 4.360000e+02 |3533.33%
154.04/154.11	c   153s|     1 |     0 | 23135 |     - |  52M|   0 |3805 |  10k|  12k|  10k|  12k|  12 |   0 |   0 | 1.200000e+01 | 4.360000e+02 |3533.33%
156.54/156.61	o 402
156.54/156.61	c b 155s|     1 |     0 | 23135 |     - |  52M|   0 |3805 |  10k|  12k|  10k|  12k|  12 |   0 |   0 | 1.200000e+01 | 4.020000e+02 |3250.00%
182.34/182.46	c   181s|     1 |     0 | 25489 |     - |  53M|   0 |3814 |  10k|  12k|  10k|  12k|  17 |   0 |   0 | 1.200000e+01 | 4.020000e+02 |3250.00%
184.84/184.95	o 401
184.84/184.95	c b 184s|     1 |     0 | 25489 |     - |  54M|   0 |3814 |  10k|  12k|  10k|  12k|  17 |   0 |   0 | 1.200000e+01 | 4.010000e+02 |3241.67%
204.64/204.73	c   203s|     1 |     0 | 26717 |     - |  54M|   0 |3742 |  10k|  12k|  10k|  12k|  21 |   0 |   0 | 1.200000e+01 | 4.010000e+02 |3241.67%
228.13/228.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
228.13/228.28	c   227s|     1 |     0 | 28175 |     - |  55M|   0 |3766 |  10k|  12k|  10k|  12k|  23 |   0 |   0 | 1.200000e+01 | 4.010000e+02 |3241.67%
472.07/472.22	c   468s|     1 |     2 | 28175 |     - |  55M|   0 |3766 |  10k|  12k|  10k|  12k|  23 |   0 |  21 | 1.200000e+01 | 4.010000e+02 |3241.67%
1800.05/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667032-1276478127/watcher-2667032-1276478127 -o /tmp/evaluation-result-2667032-1276478127/solver-2667032-1276478127 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667032-1276478127.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 2/106 28110
/proc/meminfo: memFree=1793000/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=6696 CPUtime=0
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 23413999 6856704 906 1992294400 4194304 8223781 140737189091360 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28110/statm: 1674 906 343 984 0 687 0

[startup+0.0780309 s]
/proc/loadavg: 0.99 1.00 1.00 2/106 28110
/proc/meminfo: memFree=1793000/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=18932 CPUtime=0.06
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 4068 0 0 0 5 1 0 0 23 0 1 0 23413999 19386368 3984 1992294400 4194304 8223781 140737189091360 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28110/statm: 4733 3984 366 984 0 3746 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18932

[startup+0.101032 s]
/proc/loadavg: 0.99 1.00 1.00 2/106 28110
/proc/meminfo: memFree=1793000/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=19784 CPUtime=0.09
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 4282 0 0 0 8 1 0 0 23 0 1 0 23413999 20258816 4197 1992294400 4194304 8223781 140737189091360 18446744073709551615 5650017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28110/statm: 4946 4197 365 984 0 3959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19784

[startup+0.301052 s]
/proc/loadavg: 0.99 1.00 1.00 2/106 28110
/proc/meminfo: memFree=1793000/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=22528 CPUtime=0.29
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 5297 0 0 0 27 2 0 0 23 0 1 0 23413999 23068672 4858 1992294400 4194304 8223781 140737189091360 18446744073709551615 6206542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 5632 4858 367 984 0 4645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22528

[startup+0.701088 s]
/proc/loadavg: 0.99 1.00 1.00 2/106 28110
/proc/meminfo: memFree=1793000/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=67396 CPUtime=0.69
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 16751 0 0 0 59 10 0 0 25 0 1 0 23413999 69013504 15692 1992294400 4194304 8223781 140737189091360 18446744073709551615 6207260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 16849 15692 461 984 0 15862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67396

[startup+1.50116 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1731116/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=89652 CPUtime=1.49
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 25415 0 0 0 135 14 0 0 25 0 1 0 23413999 91803648 20878 1992294400 4194304 8223781 140737189091360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 22413 20878 552 984 0 21426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89652

[startup+3.10032 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1709788/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=91880 CPUtime=3.09
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 28406 0 0 0 292 17 0 0 25 0 1 0 23413999 94085120 21316 1992294400 4194304 8223781 140737189091360 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 22970 21316 547 984 0 21983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91880

[startup+6.30062 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1708424/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=92664 CPUtime=6.29
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 31101 0 0 0 610 19 0 0 25 0 1 0 23413999 94887936 21475 1992294400 4194304 8223781 140737189091360 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 23166 21475 547 984 0 22179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92664

[startup+12.7012 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1707928/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=92956 CPUtime=12.68
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 35210 0 0 0 1246 22 0 0 25 0 1 0 23413999 95186944 21570 1992294400 4194304 8223781 140737189091360 18446744073709551615 6536507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 23239 21570 547 984 0 22252 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92956

[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1707308/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=93796 CPUtime=25.48
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 42939 0 0 0 2519 29 0 0 25 0 1 0 23413999 96047104 21771 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 23449 21771 547 984 0 22462 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93796

[startup+51.1008 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28113
/proc/meminfo: memFree=1706688/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=94360 CPUtime=51.07
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 60162 0 0 0 5064 43 0 0 25 0 1 0 23413999 96624640 21902 1992294400 4194304 8223781 140737189091360 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 23590 21902 547 984 0 22603 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94360

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28113
/proc/meminfo: memFree=1702844/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=99256 CPUtime=102.27
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 84711 0 0 0 10158 69 0 0 25 0 1 0 23413999 101638144 22872 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 24814 22872 580 984 0 23827 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99256

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28115
/proc/meminfo: memFree=1687592/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=114812 CPUtime=162.25
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 102482 0 0 0 16131 94 0 0 25 0 1 0 23413999 117567488 26736 1992294400 4194304 8223781 140737189091360 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 28703 26736 580 984 0 27716 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 114812

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28117
/proc/meminfo: memFree=1670604/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132068 CPUtime=222.23
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 123579 0 0 0 22101 122 0 0 25 0 1 0 23413999 135237632 30971 1992294400 4194304 8223781 140737189091360 18446744073709551615 6520935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33017 30971 580 984 0 32030 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 132068

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28119
/proc/meminfo: memFree=1610960/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=193548 CPUtime=282.22
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 267236 0 0 0 28020 202 0 0 25 0 1 0 23413999 198193152 45735 1992294400 4194304 8223781 140737189091360 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 48387 45735 585 984 0 47400 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 193548

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28119
/proc/meminfo: memFree=1609720/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=194696 CPUtime=342.2
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 364064 0 0 0 33962 258 0 0 25 0 1 0 23413999 199368704 46072 1992294400 4194304 8223781 140737189091360 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 48674 46072 585 984 0 47687 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 194696

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28121
/proc/meminfo: memFree=1670356/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=131764 CPUtime=402.19
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 423435 0 0 0 39914 305 0 0 25 0 1 0 23413999 134926336 30509 1992294400 4194304 8223781 140737189091360 18446744073709551615 6612726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 32941 30509 592 984 0 31954 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 131764

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28123
/proc/meminfo: memFree=1670356/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=131928 CPUtime=462.17
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 476309 0 0 0 45877 340 0 0 25 0 1 0 23413999 135094272 30957 1992294400 4194304 8223781 140737189091360 18446744073709551615 6536470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 32982 30957 592 984 0 31995 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 131928

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28125
/proc/meminfo: memFree=1669984/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=131924 CPUtime=522.16
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 525845 0 0 0 51842 374 0 0 25 0 1 0 23413999 135090176 30567 1992294400 4194304 8223781 140737189091360 18446744073709551615 6562100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 32981 30567 592 984 0 31994 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 131924

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28127
/proc/meminfo: memFree=1670108/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132204 CPUtime=582.14
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 578479 0 0 0 57804 410 0 0 25 0 1 0 23413999 135376896 31012 1992294400 4194304 8223781 140737189091360 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33051 31012 592 984 0 32064 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 132204

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28127
/proc/meminfo: memFree=1669860/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132252 CPUtime=642.14
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 630704 0 0 0 63770 444 0 0 25 0 1 0 23413999 135426048 31052 1992294400 4194304 8223781 140737189091360 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33063 31052 592 984 0 32076 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 132252

[startup+702.301 s]

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

/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 998760 0 0 0 105507 695 0 0 25 0 1 0 23413999 135536640 31057 1992294400 4194304 8223781 140737189091360 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33090 31057 592 984 0 32103 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 132360

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28141
/proc/meminfo: memFree=1669736/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132240 CPUtime=1122.01
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1051693 0 0 0 111474 727 0 0 25 0 1 0 23413999 135413760 31010 1992294400 4194304 8223781 140737189091360 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33060 31010 592 984 0 32073 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 132240

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28143
/proc/meminfo: memFree=1669612/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=131952 CPUtime=1181.99
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1102938 0 0 0 117438 761 0 0 25 0 1 0 23413999 135118848 30614 1992294400 4194304 8223781 140737189091360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 32988 30614 592 984 0 32001 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 131952

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28143
/proc/meminfo: memFree=1669488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132388 CPUtime=1241.98
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1152359 0 0 0 123405 793 0 0 25 0 1 0 23413999 135565312 31038 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33097 31038 592 984 0 32110 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 132388

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28145
/proc/meminfo: memFree=1669364/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132264 CPUtime=1301.96
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1186072 0 0 0 129379 817 0 0 25 0 1 0 23413999 135438336 31035 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33066 31035 592 984 0 32079 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 132264

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28147
/proc/meminfo: memFree=1669364/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132308 CPUtime=1361.94
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1216367 0 0 0 135353 841 0 0 25 0 1 0 23413999 135483392 31037 1992294400 4194304 8223781 140737189091360 18446744073709551615 4561263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33077 31037 592 984 0 32090 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 132308

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28149
/proc/meminfo: memFree=1669488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132212 CPUtime=1421.93
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1260262 0 0 0 141320 873 0 0 25 0 1 0 23413999 135385088 31016 1992294400 4194304 8223781 140737189091360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33053 31016 592 984 0 32066 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 132212

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28151
/proc/meminfo: memFree=1669488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132192 CPUtime=1481.92
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1306757 0 0 0 147284 908 0 0 25 0 1 0 23413999 135364608 31049 1992294400 4194304 8223781 140737189091360 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33048 31049 592 984 0 32061 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 132192

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28151
/proc/meminfo: memFree=1669116/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132556 CPUtime=1541.9
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1333564 0 0 0 153261 929 0 0 25 0 1 0 23413999 135737344 31103 1992294400 4194304 8223781 140737189091360 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33139 31103 592 984 0 32152 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 132556

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28153
/proc/meminfo: memFree=1669116/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132556 CPUtime=1601.88
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1355749 0 0 0 159239 949 0 0 25 0 1 0 23413999 135737344 31109 1992294400 4194304 8223781 140737189091360 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33139 31109 592 984 0 32152 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 132556

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28155
/proc/meminfo: memFree=1668992/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132556 CPUtime=1661.87
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1380522 0 0 0 165219 968 0 0 25 0 1 0 23413999 135737344 31130 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33139 31130 592 984 0 32152 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 132556

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28157
/proc/meminfo: memFree=1669116/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132420 CPUtime=1721.86
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1419869 0 0 0 171192 994 0 0 25 0 1 0 23413999 135598080 31061 1992294400 4194304 8223781 140737189091360 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33105 31061 592 984 0 32118 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 132420

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28159
/proc/meminfo: memFree=1668496/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132784 CPUtime=1781.85
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1462303 0 0 0 177161 1024 0 0 25 0 1 0 23413999 135970816 31181 1992294400 4194304 8223781 140737189091360 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33196 31181 592 984 0 32209 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 132784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 28159
/proc/meminfo: memFree=1668496/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132704 CPUtime=1800.05
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1470279 0 0 0 178974 1031 0 0 25 0 1 0 23413999 135888896 31198 1992294400 4194304 8223781 140737189091360 18446744073709551615 6569651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33176 31198 592 984 0 32189 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 132704

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28110

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 28160
/proc/meminfo: memFree=1668364/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132580 CPUtime=1800.94
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1470680 0 0 0 179063 1031 0 0 25 0 1 0 23413999 135761920 31165 1992294400 4194304 8223781 140737189091360 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33145 31165 592 984 0 32158 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 132580

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 28160
/proc/meminfo: memFree=1668488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132708 CPUtime=1801.73
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1471491 0 0 0 179142 1031 0 0 25 0 1 0 23413999 135892992 31168 1992294400 4194304 8223781 140737189091360 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33177 31168 592 984 0 32190 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 132708

[startup+1802.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 28160
/proc/meminfo: memFree=1668488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132708 CPUtime=1801.93
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1471491 0 0 0 179162 1031 0 0 25 0 1 0 23413999 135892992 31168 1992294400 4194304 8223781 140737189091360 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33177 31168 592 984 0 32190 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 132708

[startup+1802.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 28160
/proc/meminfo: memFree=1668488/2059040 swapFree=4135888/4192956
[pid=28110] ppid=28108 vsize=132708 CPUtime=1802.03
/proc/28110/stat : 28110 (pbscip.linux.x8) R 28108 28110 27841 0 -1 4202496 1471491 0 0 0 179172 1031 0 0 25 0 1 0 23413999 135892992 31168 1992294400 4194304 8223781 140737189091360 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28110/statm: 33177 31168 592 984 0 32190 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 132708

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.07
CPU user time (s): 1791.74
CPU system time (s): 10.3324
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 195144

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

runsolver used 3.04654 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-14 03:15:27
IDJOB=2667032
IDBENCH=2220
IDSOLVER=1169
FILE ID=node015/2667032-1276478127
PBS_JOBID= 11173375
Free space on /tmp= 62548 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667032-1276478127/watcher-2667032-1276478127 -o /tmp/evaluation-result-2667032-1276478127/solver-2667032-1276478127 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667032-1276478127.opb -t 1800 -m 1800

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

MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80
RANDOM SEED=63503497

node015.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.244
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.244
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:       1793528 kB
Buffers:         90728 kB
Cached:         101904 kB
SwapCached:      17544 kB
Active:          99716 kB
Inactive:       113284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793528 kB
SwapTotal:     4192956 kB
SwapFree:      4135888 kB
Dirty:            5116 kB
Writeback:           0 kB
AnonPages:       11756 kB
Mapped:           9100 kB
Slab:            30676 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181948 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= 62540 MiB
End job on node015 at 2010-06-14 03:45:29