Trace number 2666252

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.08 1802.82

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: 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-2666252-1276687170.opb>
0.49/0.54	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30187 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.59/0.65	o 0
0.59/0.65	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.59/0.65	c presolving:
0.78/0.81	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
1.00/1.07	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.09/1.17	c    (0.5s) probing: 101/1452 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.17	c    (0.5s) probing aborted: 100/100 successive totally useless probings
1.09/1.17	c presolving (3 rounds):
1.09/1.17	c  573 deleted vars, 4761 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.17	c  2340 implications, 0 cliques
1.09/1.17	c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 25426 constraints
1.09/1.17	c   25426 constraints of type <logicor>
1.09/1.17	c transformed objective value is always integral (scale: 1)
1.09/1.17	c Presolving Time: 0.44
1.09/1.17	c - non default parameters ----------------------------------------------------------------------
1.09/1.17	c # SCIP version 1.2.1.2
1.09/1.17	c 
1.09/1.17	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.09/1.17	c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.17	c conflict/interconss = 0
1.09/1.17	c 
1.09/1.17	c # should binary conflicts be preferred?
1.09/1.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17	c conflict/preferbinary = TRUE
1.09/1.17	c 
1.09/1.17	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.09/1.17	c # [type: int, range: [-1,2147483647], default: 0]
1.09/1.17	c constraints/agelimit = 1
1.09/1.17	c 
1.09/1.17	c # should enforcement of pseudo solution be disabled?
1.09/1.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17	c constraints/disableenfops = TRUE
1.09/1.17	c 
1.09/1.17	c # frequency for displaying node information lines
1.09/1.17	c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.17	c display/freq = 10000
1.09/1.17	c 
1.09/1.17	c # maximal time in seconds to run
1.09/1.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.17	c limits/time = 1799.47
1.09/1.17	c 
1.09/1.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.17	c limits/memory = 1620
1.09/1.17	c 
1.09/1.17	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.17	c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.17	c lp/solvefreq = 0
1.09/1.17	c 
1.09/1.17	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.09/1.17	c # [type: char, range: {lafpsqd}, default: l]
1.09/1.17	c lp/pricing = a
1.09/1.17	c 
1.09/1.17	c # should presolving try to simplify inequalities
1.09/1.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17	c constraints/linear/simplifyinequalities = TRUE
1.09/1.17	c 
1.09/1.17	c # should presolving try to simplify knapsacks
1.09/1.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17	c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.17	c 
1.09/1.17	c # priority of node selection rule <dfs> in standard mode
1.09/1.17	c # [type: int, range: [-536870912,536870911], default: 0]
1.09/1.17	c nodeselection/dfs/stdpriority = 1000000
1.09/1.17	c 
1.09/1.17	c -----------------------------------------------------------------------------------------------
1.09/1.17	c start solving
1.09/1.17	c 
8.99/9.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.99/9.07	c t 8.3s|     1 |     0 |  3625 |     - |  33M|   0 |1416 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 | 0.000000e+00 | 100.00%
9.19/9.22	o -4
9.19/9.22	c R 8.5s|     1 |     0 |  3625 |     - |  33M|   0 |1416 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 |-4.000000e+00 |  98.44%
9.29/9.38	o -8
9.29/9.38	c s 8.6s|     1 |     0 |  3625 |     - |  33M|   0 |1416 |1452 |  25k|1452 |  25k|   0 |   0 |   0 |-2.561000e+02 |-8.000000e+00 |  96.88%
68.06/68.19	c  67.0s|     1 |     0 | 15424 |     - |  34M|   0 |1450 |1452 |  25k|1452 |  25k|  11 |   0 |   0 |-2.475699e+02 |-8.000000e+00 |  96.77%
68.06/68.20	o -17
68.06/68.20	c b67.0s|     1 |     0 | 15424 |     - |  34M|   0 |1450 |1452 |  25k|1452 |  25k|  11 |   0 |   0 |-2.475699e+02 |-1.700000e+01 |  93.13%
157.12/157.21	c   155s|     1 |     0 | 28882 |     - |  38M|   0 |1451 |1452 |  25k|1452 |  25k|  19 |   0 |   0 |-2.452405e+02 |-1.700000e+01 |  93.07%
157.12/157.26	o -19
157.12/157.26	c b 155s|     1 |     0 | 28882 |     - |  38M|   0 |1451 |1452 |  25k|1452 |  25k|  19 |   0 |   0 |-2.452405e+02 |-1.900000e+01 |  92.25%
371.74/371.91	c   366s|     1 |     0 | 56758 |     - |  43M|   0 |1449 |1452 |  25k|1452 |  25k|  39 |   0 |   0 |-2.413133e+02 |-1.900000e+01 |  92.13%
589.94/590.20	c   576s|     1 |     0 | 79224 |     - |  43M|   0 |1450 |1452 |  25k|1452 |  25k|  44 |   0 |   0 |-2.379231e+02 |-1.900000e+01 |  92.01%
778.57/778.93	c   759s|     1 |     0 |100251 |     - |  50M|   0 |1449 |1452 |  25k|1452 |  25k|  99 |   0 |   0 |-2.354629e+02 |-1.900000e+01 |  91.93%
985.98/986.48	c   958s|     1 |     0 |121085 |     - |  50M|   0 |1449 |1452 |  25k|1452 |  25k| 101 |   0 |   0 |-2.346600e+02 |-1.900000e+01 |  91.90%
1261.57/1262.17	c  1225s|     1 |     0 |152208 |     - |  50M|   0 |1449 |1452 |  25k|1452 |  25k| 105 |   0 |   0 |-2.326668e+02 |-1.900000e+01 |  91.83%
1524.97/1525.65	c  1480s|     1 |     0 |180066 |     - |  51M|   0 |1449 |1452 |  25k|1452 |  25k| 113 |   0 |   0 |-2.306479e+02 |-1.900000e+01 |  91.76%
1767.76/1768.52	c  1716s|     1 |     0 |206425 |     - |  56M|   0 |1447 |1452 |  25k|1452 |  25k| 119 |   0 |   0 |-2.286990e+02 |-1.900000e+01 |  91.69%
1800.06/1800.80	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-2666252-1276687170/watcher-2666252-1276687170 -o /tmp/evaluation-result-2666252-1276687170/solver-2666252-1276687170 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666252-1276687170.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.36 1.09 1.03 2/106 10111
/proc/meminfo: memFree=1822928/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=4792 CPUtime=0
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 550 0 0 0 0 0 0 0 23 0 1 0 44318600 4907008 471 1992294400 4194304 8223781 140733975127616 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10111/statm: 1198 472 302 984 0 211 0

[startup+0.063317 s]
/proc/loadavg: 1.36 1.09 1.03 2/106 10111
/proc/meminfo: memFree=1822928/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=12548 CPUtime=0.05
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 2448 0 0 0 5 0 0 0 18 0 1 0 44318600 12849152 2367 1992294400 4194304 8223781 140733975127616 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10111/statm: 3137 2367 365 984 0 2150 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12548

[startup+0.101324 s]
/proc/loadavg: 1.36 1.09 1.03 2/106 10111
/proc/meminfo: memFree=1822928/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=13268 CPUtime=0.08
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 2614 0 0 0 8 0 0 0 18 0 1 0 44318600 13586432 2533 1992294400 4194304 8223781 140733975127616 18446744073709551615 6641292 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10111/statm: 3317 2533 365 984 0 2330 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13268

[startup+0.301366 s]
/proc/loadavg: 1.36 1.09 1.03 2/106 10111
/proc/meminfo: memFree=1822928/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=18024 CPUtime=0.29
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 3821 0 0 0 28 1 0 0 18 0 1 0 44318600 18456576 3740 1992294400 4194304 8223781 140733975127616 18446744073709551615 7189596 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10111/statm: 4506 3740 365 984 0 3519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18024

[startup+0.700454 s]
/proc/loadavg: 1.36 1.09 1.03 2/106 10111
/proc/meminfo: memFree=1822928/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=46748 CPUtime=0.69
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 11046 0 0 0 64 5 0 0 18 0 1 0 44318600 47869952 10601 1992294400 4194304 8223781 140733975127616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 11687 10601 446 984 0 10700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46748

[startup+1.50062 s]
/proc/loadavg: 1.33 1.09 1.02 2/107 10112
/proc/meminfo: memFree=1773692/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=82436 CPUtime=1.48
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 23741 0 0 0 131 17 0 0 19 0 1 0 44318600 84414464 18749 1992294400 4194304 8223781 140733975127616 18446744073709551615 6357924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 20609 18749 536 984 0 19622 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82436

[startup+3.10096 s]
/proc/loadavg: 1.33 1.09 1.02 2/107 10112
/proc/meminfo: memFree=1747156/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=90376 CPUtime=3.09
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 25334 0 0 0 290 19 0 0 24 0 1 0 44318600 92545024 19488 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 22594 19488 545 984 0 21607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90376

[startup+6.30064 s]
/proc/loadavg: 1.33 1.09 1.02 2/107 10112
/proc/meminfo: memFree=1746164/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=91528 CPUtime=6.28
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 26645 0 0 0 608 20 0 0 25 0 1 0 44318600 93724672 19575 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 22882 19575 545 984 0 21895 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 91528

[startup+12.701 s]
/proc/loadavg: 1.28 1.08 1.02 2/107 10112
/proc/meminfo: memFree=1744056/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=94872 CPUtime=12.68
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 87103 0 0 0 1229 39 0 0 25 0 1 0 44318600 97148928 20169 1992294400 4194304 8223781 140733975127616 18446744073709551615 6564572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 23718 20169 586 984 0 22731 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 94872

[startup+25.5017 s]
/proc/loadavg: 1.24 1.08 1.02 2/107 10112
/proc/meminfo: memFree=1743560/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=94872 CPUtime=25.48
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 93080 0 0 0 2502 46 0 0 25 0 1 0 44318600 97148928 20248 1992294400 4194304 8223781 140733975127616 18446744073709551615 6503901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 23718 20248 586 984 0 22731 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94872

[startup+51.1012 s]
/proc/loadavg: 1.22 1.09 1.03 2/107 10112
/proc/meminfo: memFree=1743188/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=95132 CPUtime=51.06
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 104235 0 0 0 5050 56 0 0 25 0 1 0 44318600 97415168 20375 1992294400 4194304 8223781 140733975127616 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 23783 20375 586 984 0 22796 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95132

[startup+102.308 s]
/proc/loadavg: 1.09 1.07 1.02 2/107 10114
/proc/meminfo: memFree=1736368/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=99968 CPUtime=102.25
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 258548 0 0 0 10107 118 0 0 25 0 1 0 44318600 102367232 22030 1992294400 4194304 8223781 140733975127616 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 24992 22030 577 984 0 24005 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 99968

[startup+162.302 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 10116
/proc/meminfo: memFree=1735872/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=99968 CPUtime=162.22
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 465478 0 0 0 16017 205 0 0 25 0 1 0 44318600 102367232 22050 1992294400 4194304 8223781 140733975127616 18446744073709551615 6047024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 24992 22050 577 984 0 24005 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 99968

[startup+222.302 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 10118
/proc/meminfo: memFree=1729672/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=106452 CPUtime=222.19
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 1121516 0 0 0 21773 446 0 0 25 0 1 0 44318600 109006848 23655 1992294400 4194304 8223781 140733975127616 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26613 23655 572 984 0 25626 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 106452

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10120
/proc/meminfo: memFree=1729796/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=106452 CPUtime=282.16
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 1146843 0 0 0 27749 467 0 0 25 0 1 0 44318600 109006848 23653 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26613 23653 572 984 0 25626 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 106452

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10120
/proc/meminfo: memFree=1729548/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=106452 CPUtime=342.14
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 1171819 0 0 0 33727 487 0 0 25 0 1 0 44318600 109006848 23683 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26613 23683 572 984 0 25626 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 106452

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10122
/proc/meminfo: memFree=1729300/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=106652 CPUtime=402.12
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 2290080 0 0 0 39315 897 0 0 25 0 1 0 44318600 109211648 23729 1992294400 4194304 8223781 140733975127616 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26663 23729 572 984 0 25676 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 106652

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10124
/proc/meminfo: memFree=1729300/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=106940 CPUtime=462.09
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 3561583 0 0 0 44862 1347 0 0 25 0 1 0 44318600 109506560 23700 1992294400 4194304 8223781 140733975127616 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26735 23700 572 984 0 25748 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 106940

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10126
/proc/meminfo: memFree=1729052/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=107136 CPUtime=522.07
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 3586300 0 0 0 50839 1368 0 0 25 0 1 0 44318600 109707264 23742 1992294400 4194304 8223781 140733975127616 18446744073709551615 6612708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26784 23742 572 984 0 25797 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 107136

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1728680/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=107136 CPUtime=582.05
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 3610457 0 0 0 56817 1388 0 0 25 0 1 0 44318600 109707264 23883 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 26784 23883 572 984 0 25797 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 107136

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10128
/proc/meminfo: memFree=1720868/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=114812 CPUtime=642.03
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 4847422 0 0 0 62371 1832 0 0 25 0 1 0 44318600 117567488 25820 1992294400 4194304 8223781 140733975127616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 28703 25820 572 984 0 27716 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 114812

[startup+702.301 s]

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

/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 9481109 0 0 0 102681 3504 0 0 25 0 1 0 44318600 120377344 26107 1992294400 4194304 8223781 140733975127616 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29389 26107 572 984 0 28402 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 117556

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10142
/proc/meminfo: memFree=1718760/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=117556 CPUtime=1121.83
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 9506355 0 0 0 108658 3525 0 0 25 0 1 0 44318600 120377344 26252 1992294400 4194304 8223781 140733975127616 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29389 26252 572 984 0 28402 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 117556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10144
/proc/meminfo: memFree=1718636/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=117556 CPUtime=1181.8
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 9532077 0 0 0 114636 3544 0 0 25 0 1 0 44318600 120377344 26222 1992294400 4194304 8223781 140733975127616 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29389 26222 572 984 0 28402 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 117556

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10144
/proc/meminfo: memFree=1718636/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=117556 CPUtime=1241.78
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 9556584 0 0 0 120614 3564 0 0 25 0 1 0 44318600 120377344 26241 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29389 26241 572 984 0 28402 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 117556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10146
/proc/meminfo: memFree=1717396/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=118660 CPUtime=1301.77
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 11116711 0 0 0 126043 4134 0 0 25 0 1 0 44318600 121507840 26522 1992294400 4194304 8223781 140733975127616 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29665 26522 572 984 0 28678 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 118660

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10148
/proc/meminfo: memFree=1715412/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=119156 CPUtime=1361.73
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 11722183 0 0 0 131819 4354 0 0 25 0 1 0 44318600 122015744 27053 1992294400 4194304 8223781 140733975127616 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29789 27053 572 984 0 28802 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 119156

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10150
/proc/meminfo: memFree=1714420/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=119156 CPUtime=1421.72
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 11750070 0 0 0 137793 4379 0 0 25 0 1 0 44318600 122015744 27034 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29789 27034 572 984 0 28802 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 119156

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10152
/proc/meminfo: memFree=1715288/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=119156 CPUtime=1481.69
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 11774985 0 0 0 143770 4399 0 0 25 0 1 0 44318600 122015744 27053 1992294400 4194304 8223781 140733975127616 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29789 27053 572 984 0 28802 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 119156

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10152
/proc/meminfo: memFree=1715164/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=119156 CPUtime=1541.66
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 12375737 0 0 0 149546 4620 0 0 25 0 1 0 44318600 122015744 27041 1992294400 4194304 8223781 140733975127616 18446744073709551615 5755261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 29789 27041 574 984 0 28802 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 119156

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10154
/proc/meminfo: memFree=1707724/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=126416 CPUtime=1601.64
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 13606987 0 0 0 155104 5060 0 0 25 0 1 0 44318600 129449984 29005 1992294400 4194304 8223781 140733975127616 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 31604 29005 574 984 0 30617 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 126416

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10156
/proc/meminfo: memFree=1707600/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=126416 CPUtime=1661.61
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 13633393 0 0 0 161080 5081 0 0 25 0 1 0 44318600 129449984 28955 1992294400 4194304 8223781 140733975127616 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 31604 28955 574 984 0 30617 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 126416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10158
/proc/meminfo: memFree=1707724/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=126416 CPUtime=1721.58
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 13659063 0 0 0 167057 5101 0 0 25 0 1 0 44318600 129449984 28967 1992294400 4194304 8223781 140733975127616 18446744073709551615 6564409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 31604 28967 574 984 0 30617 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 126416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10160
/proc/meminfo: memFree=1707228/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=126416 CPUtime=1781.56
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14184256 0 0 0 172867 5289 0 0 25 0 1 0 44318600 129449984 28944 1992294400 4194304 8223781 140733975127616 18446744073709551615 6047773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 31604 28944 575 984 0 30617 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 126416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10160
/proc/meminfo: memFree=1705244/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=128664 CPUtime=1800.06
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14880253 0 0 0 174473 5533 0 0 25 0 1 0 44318600 131751936 29491 1992294400 4194304 8223781 140733975127616 18446744073709551615 7257364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 32166 29491 575 984 0 31179 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 128664

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10111

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 10160
/proc/meminfo: memFree=1705244/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=129224 CPUtime=1800.65
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14881554 0 0 0 174532 5533 0 0 25 0 1 0 44318600 132325376 28491 1992294400 4194304 8223781 140733975127616 18446744073709551615 6571352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 32306 28491 575 984 0 31319 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 129224

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10161
/proc/meminfo: memFree=1708460/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=129224 CPUtime=1801.46
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14882413 0 0 0 174612 5534 0 0 25 0 1 0 44318600 132325376 28841 1992294400 4194304 8223781 140733975127616 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 32306 28841 575 984 0 31319 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 129224

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10161
/proc/meminfo: memFree=1708460/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=129224 CPUtime=1801.86
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14882452 0 0 0 174652 5534 0 0 25 0 1 0 44318600 132325376 28880 1992294400 4194304 8223781 140733975127616 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 32306 28880 575 984 0 31319 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 129224

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10161
/proc/meminfo: memFree=1707592/2059040 swapFree=4139732/4192956
[pid=10111] ppid=10109 vsize=129224 CPUtime=1802.06
/proc/10111/stat : 10111 (pbscip.linux.x8) R 10109 10111 9343 0 -1 4202496 14882474 0 0 0 174672 5534 0 0 25 0 1 0 44318600 132325376 28902 1992294400 4194304 8223781 140733975127616 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10111/statm: 32306 28902 575 984 0 31319 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 129224

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1802.08
CPU user time (s): 1746.73
CPU system time (s): 55.3556
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 129616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.73
system time used= 55.3556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14882474
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= 2
involuntary context switches= 21944

runsolver used 2.90856 second user time and 8.5807 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 13:19:30
IDJOB=2666252
IDBENCH=71836
IDSOLVER=1169
FILE ID=node010/2666252-1276687170
PBS_JOBID= 11172565
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666252-1276687170/watcher-2666252-1276687170 -o /tmp/evaluation-result-2666252-1276687170/solver-2666252-1276687170 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666252-1276687170.opb -t 1800 -m 1800

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

MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=2037889536

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1823332 kB
Buffers:         47076 kB
Cached:          96316 kB
SwapCached:       5880 kB
Active:          91644 kB
Inactive:        64432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1823332 kB
SwapTotal:     4192956 kB
SwapFree:      4139732 kB
Dirty:            5580 kB
Writeback:           0 kB
AnonPages:       11112 kB
Mapped:          12820 kB
Slab:            57636 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182800 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= 62528 MiB
End job on node010 at 2010-06-16 13:49:33