Trace number 2666246

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.05 1802.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
MD5SUM2dd11ebefc05ae8ac770ff3615713305
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-172
Best CPU time to get the best result obtained on this benchmark59.472
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62231
Number of constraints which are clauses62231
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 347
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 347
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	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.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2666246-1276686319.opb>
1.10/1.13	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62231 constraints
1.10/1.13	c problem read
1.10/1.13	c presolving settings loaded
1.29/1.35	o 0
1.29/1.35	c feasible solution found by trivial heuristic, objective value  0.000000e+00
1.29/1.35	c presolving:
1.59/1.62	c (round 1) 194 del vars, 194 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.09/2.18	c (round 2) 194 del vars, 898 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
2.29/2.39	c    (1.0s) probing: 101/1831 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.39	c    (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.39	c presolving (3 rounds):
2.29/2.39	c  194 deleted vars, 898 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.39	c  2340 implications, 0 cliques
2.29/2.39	c presolved problem has 1831 variables (1831 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
2.29/2.39	c   61333 constraints of type <logicor>
2.29/2.39	c transformed objective value is always integral (scale: 1)
2.29/2.39	c Presolving Time: 0.86
2.29/2.39	c - non default parameters ----------------------------------------------------------------------
2.29/2.39	c # SCIP version 1.2.1.2
2.29/2.39	c 
2.29/2.39	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.39	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.39	c conflict/interconss = 0
2.29/2.39	c 
2.29/2.39	c # should binary conflicts be preferred?
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c conflict/preferbinary = TRUE
2.29/2.39	c 
2.29/2.39	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.39	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.39	c constraints/agelimit = 1
2.29/2.39	c 
2.29/2.39	c # should enforcement of pseudo solution be disabled?
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/disableenfops = TRUE
2.29/2.39	c 
2.29/2.39	c # frequency for displaying node information lines
2.29/2.39	c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.39	c display/freq = 10000
2.29/2.39	c 
2.29/2.39	c # maximal time in seconds to run
2.29/2.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.39	c limits/time = 1798.87
2.29/2.39	c 
2.29/2.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.39	c limits/memory = 1620
2.29/2.39	c 
2.29/2.39	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.39	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.39	c lp/solvefreq = 0
2.29/2.39	c 
2.29/2.39	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.29/2.39	c # [type: char, range: {lafpsqd}, default: l]
2.29/2.39	c lp/pricing = a
2.29/2.39	c 
2.29/2.39	c # should presolving try to simplify inequalities
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/linear/simplifyinequalities = TRUE
2.29/2.39	c 
2.29/2.39	c # should presolving try to simplify knapsacks
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.39	c 
2.29/2.39	c # priority of node selection rule <dfs> in standard mode
2.29/2.39	c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.39	c nodeselection/dfs/stdpriority = 1000000
2.29/2.39	c 
2.29/2.39	c -----------------------------------------------------------------------------------------------
2.29/2.39	c start solving
2.39/2.40	c 
41.48/41.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.48/41.55	c t39.9s|     1 |     0 |  6642 |     - |  71M|   0 |1659 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 | 0.000000e+00 | 100.00%
41.69/41.75	o -11
41.69/41.75	c R40.1s|     1 |     0 |  6642 |     - |  71M|   0 |1659 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 |-1.100000e+01 |  95.84%
41.88/41.98	o -14
41.88/41.98	c s40.4s|     1 |     0 |  6642 |     - |  71M|   0 |1659 |1831 |  61k|1831 |  61k|   0 |   0 |   0 |-2.642299e+02 |-1.400000e+01 |  94.70%
511.15/511.30	c   508s|     1 |     0 | 39101 |     - |  72M|   0 |1817 |1831 |  61k|1831 |  61k|   3 |   0 |   0 |-2.593008e+02 |-1.400000e+01 |  94.60%
511.15/511.32	o -39
511.15/511.32	c b 508s|     1 |     0 | 39101 |     - |  72M|   0 |1817 |1831 |  61k|1831 |  61k|   3 |   0 |   0 |-2.593008e+02 |-3.900000e+01 |  84.96%
1254.16/1254.55	c  1246s|     1 |     0 | 84897 |     - |  77M|   0 |1829 |1831 |  61k|1831 |  61k|  10 |   0 |   0 |-2.578560e+02 |-3.900000e+01 |  84.88%
1254.36/1254.77	o -49
1254.36/1254.77	c b1246s|     1 |     0 | 84897 |     - |  77M|   0 |1829 |1831 |  61k|1831 |  61k|  10 |   0 |   0 |-2.578560e+02 |-4.900000e+01 |  81.00%
1800.02/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-2666246-1276686319/watcher-2666246-1276686319 -o /tmp/evaluation-result-2666246-1276686319/solver-2666246-1276686319 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666246-1276686319.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.85 0.97 0.99 3/106 17242
/proc/meminfo: memFree=1781148/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=8752 CPUtime=0
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1294 0 0 0 0 0 0 0 15 0 1 0 9926943 8962048 1213 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17242/statm: 2188 1223 348 984 0 1201 0

[startup+0.0508789 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 17242
/proc/meminfo: memFree=1781148/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=11824 CPUtime=0.04
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 2252 0 0 0 4 0 0 0 18 0 1 0 9926943 12107776 2171 1992294400 4194304 8223781 140734612927984 18446744073709551615 5648933 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17242/statm: 2956 2171 365 984 0 1969 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11824

[startup+0.100884 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 17242
/proc/meminfo: memFree=1781148/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=13268 CPUtime=0.09
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 2614 0 0 0 9 0 0 0 18 0 1 0 9926943 13586432 2533 1992294400 4194304 8223781 140734612927984 18446744073709551615 7189706 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17242/statm: 3317 2533 365 984 0 2330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268

[startup+0.300905 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 17242
/proc/meminfo: memFree=1781148/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=18024 CPUtime=0.29
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 3821 0 0 0 28 1 0 0 18 0 1 0 9926943 18456576 3740 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17242/statm: 4506 3740 365 984 0 3519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18024

[startup+0.70095 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 17242
/proc/meminfo: memFree=1781148/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=26028 CPUtime=0.69
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 5780 0 0 0 67 2 0 0 18 0 1 0 9926943 26652672 5699 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17242/statm: 6507 5699 365 984 0 5520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26028

[startup+1.50104 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1753860/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=80108 CPUtime=1.49
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 19488 0 0 0 139 10 0 0 19 0 1 0 9926943 82030592 18913 1992294400 4194304 8223781 140734612927984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 20027 18913 446 984 0 19040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80108

[startup+3.10121 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1699796/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=159036 CPUtime=3.09
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 47784 0 0 0 275 34 0 0 23 0 1 0 9926943 162852864 36188 1992294400 4194304 8223781 140734612927984 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 39759 36188 532 984 0 38772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159036

[startup+6.30155 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1632216/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=174544 CPUtime=6.29
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 51753 0 0 0 593 36 0 0 25 0 1 0 9926943 178733056 37624 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 43636 37624 536 984 0 42649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174544

[startup+12.7012 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1631100/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=177832 CPUtime=12.69
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 54451 0 0 0 1231 38 0 0 25 0 1 0 9926943 182099968 37848 1992294400 4194304 8223781 140734612927984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 44458 37848 536 984 0 43471 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 177832

[startup+25.5006 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1630604/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=179968 CPUtime=25.48
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 62100 0 0 0 2505 43 0 0 25 0 1 0 9926943 184287232 37923 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 44992 37923 536 984 0 44005 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 179968

[startup+51.1004 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 17243
/proc/meminfo: memFree=1630480/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=183876 CPUtime=51.07
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 240061 0 0 0 4996 111 0 0 25 0 1 0 9926943 188289024 38081 1992294400 4194304 8223781 140734612927984 18446744073709551615 6612712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 45969 38082 560 984 0 44982 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 183876

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 17245
/proc/meminfo: memFree=1628496/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=185752 CPUtime=102.27
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 263577 0 0 0 10099 128 0 0 25 0 1 0 9926943 190210048 38492 1992294400 4194304 8223781 140734612927984 18446744073709551615 6503924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46438 38492 560 984 0 45451 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 185752

[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17247
/proc/meminfo: memFree=1627380/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186024 CPUtime=162.25
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 288847 0 0 0 16078 147 0 0 25 0 1 0 9926943 190488576 38774 1992294400 4194304 8223781 140734612927984 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46506 38774 560 984 0 45519 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 186024

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17249
/proc/meminfo: memFree=1626140/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186160 CPUtime=222.23
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 314352 0 0 0 22059 164 0 0 25 0 1 0 9926943 190627840 39076 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46540 39076 560 984 0 45553 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 186160

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17251
/proc/meminfo: memFree=1626016/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186192 CPUtime=282.22
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 338396 0 0 0 28041 181 0 0 25 0 1 0 9926943 190660608 39101 1992294400 4194304 8223781 140734612927984 18446744073709551615 6250724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46548 39101 560 984 0 45561 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 186192

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17251
/proc/meminfo: memFree=1626016/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186232 CPUtime=342.2
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 362207 0 0 0 34021 199 0 0 25 0 1 0 9926943 190701568 39091 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46558 39091 560 984 0 45571 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186232

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17253
/proc/meminfo: memFree=1626140/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186256 CPUtime=402.19
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 385640 0 0 0 40003 216 0 0 25 0 1 0 9926943 190726144 39046 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46564 39046 560 984 0 45577 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 186256

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17255
/proc/meminfo: memFree=1625768/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186312 CPUtime=462.17
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 407860 0 0 0 45986 231 0 0 25 0 1 0 9926943 190783488 39140 1992294400 4194304 8223781 140734612927984 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46578 39140 560 984 0 45591 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 186312

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17257
/proc/meminfo: memFree=1625768/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=186256 CPUtime=522.15
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 905819 0 0 0 51794 421 0 0 25 0 1 0 9926943 190726144 38986 1992294400 4194304 8223781 140734612927984 18446744073709551615 6047187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 46684 38986 561 984 0 45697 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 186256

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17259
/proc/meminfo: memFree=1620188/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=192548 CPUtime=582.14
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1113561 0 0 0 57709 505 0 0 25 0 1 0 9926943 197169152 40470 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48137 40470 561 984 0 47150 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 192548

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17259
/proc/meminfo: memFree=1619692/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=192548 CPUtime=642.13
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1139184 0 0 0 63688 525 0 0 25 0 1 0 9926943 197169152 40603 1992294400 4194304 8223781 140734612927984 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48137 40603 561 984 0 47150 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 192548

[startup+702.301 s]

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

/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1314272 0 0 0 105554 647 0 0 25 0 1 0 9926943 197660672 40724 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48257 40724 561 984 0 47270 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 193028

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17273
/proc/meminfo: memFree=1618824/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193044 CPUtime=1122
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1339022 0 0 0 111537 663 0 0 25 0 1 0 9926943 197677056 40699 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48261 40699 561 984 0 47274 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 193044

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17275
/proc/meminfo: memFree=1618824/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193044 CPUtime=1181.98
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1361525 0 0 0 117519 679 0 0 25 0 1 0 9926943 197677056 40703 1992294400 4194304 8223781 140734612927984 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48261 40703 561 984 0 47274 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 193044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17275
/proc/meminfo: memFree=1618824/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193052 CPUtime=1241.96
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 1383010 0 0 0 123502 694 0 0 25 0 1 0 9926943 197685248 40713 1992294400 4194304 8223781 140734612927984 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48263 40713 561 984 0 47276 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 193052

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17277
/proc/meminfo: memFree=1618452/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193244 CPUtime=1301.96
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 3272376 0 0 0 128762 1434 0 0 25 0 1 0 9926943 197881856 40626 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48311 40637 561 984 0 47324 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 193244

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17279
/proc/meminfo: memFree=1618452/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193244 CPUtime=1361.94
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 5644889 0 0 0 133840 2354 0 0 25 0 1 0 9926943 197881856 40739 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48311 40739 561 984 0 47324 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 193244

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17281
/proc/meminfo: memFree=1618452/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=192764 CPUtime=1421.92
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 8021969 0 0 0 138906 3286 0 0 25 0 1 0 9926943 197390336 40619 1992294400 4194304 8223781 140734612927984 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48191 40619 561 984 0 47204 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 192764

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17283
/proc/meminfo: memFree=1618328/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193380 CPUtime=1481.9
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 10474301 0 0 0 143926 4264 0 0 25 0 1 0 9926943 198021120 40751 1992294400 4194304 8223781 140734612927984 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48345 40751 561 984 0 47358 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 193380

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17283
/proc/meminfo: memFree=1618204/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193380 CPUtime=1541.89
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 12916933 0 0 0 148946 5243 0 0 25 0 1 0 9926943 198021120 40783 1992294400 4194304 8223781 140734612927984 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48345 40783 561 984 0 47358 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 193380

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17288
/proc/meminfo: memFree=1617460/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=193280 CPUtime=1601.86
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15290472 0 0 0 154034 6152 0 0 25 0 1 0 9926943 197918720 40722 1992294400 4194304 8223781 140734612927984 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 48320 40722 561 984 0 47333 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 193280

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17290
/proc/meminfo: memFree=1615476/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1661.84
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15320070 0 0 0 160013 6171 0 0 25 0 1 0 9926943 201232384 41391 1992294400 4194304 8223781 140734612927984 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41391 563 984 0 48142 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 196516

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17292
/proc/meminfo: memFree=1615352/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1721.83
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15346629 0 0 0 165995 6188 0 0 25 0 1 0 9926943 201232384 41440 1992294400 4194304 8223781 140734612927984 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41440 563 984 0 48142 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 196516

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17294
/proc/meminfo: memFree=1614732/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1781.81
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15374262 0 0 0 171974 6207 0 0 25 0 1 0 9926943 201232384 41560 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41560 563 984 0 48142 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 196516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 17294
/proc/meminfo: memFree=1614608/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1800.02
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15380994 0 0 0 173789 6213 0 0 25 0 1 0 9926943 201232384 41606 1992294400 4194304 8223781 140734612927984 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41606 563 984 0 48142 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 196516

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17242

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17295
/proc/meminfo: memFree=1614600/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1800.91
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15382317 0 0 0 173878 6213 0 0 25 0 1 0 9926943 201232384 41577 1992294400 4194304 8223781 140734612927984 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41577 563 984 0 48142 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 196516

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17295
/proc/meminfo: memFree=1614600/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1801.71
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15382323 0 0 0 173958 6213 0 0 25 0 1 0 9926943 201232384 41583 1992294400 4194304 8223781 140734612927984 18446744073709551615 6565067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41583 563 984 0 48142 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 196516

[startup+1802.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17295
/proc/meminfo: memFree=1614600/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1801.91
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15382325 0 0 0 173978 6213 0 0 25 0 1 0 9926943 201232384 41585 1992294400 4194304 8223781 140734612927984 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41585 563 984 0 48142 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 196516

[startup+1802.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17295
/proc/meminfo: memFree=1614600/2059040 swapFree=4152912/4192956
[pid=17242] ppid=17240 vsize=196516 CPUtime=1802.01
/proc/17242/stat : 17242 (pbscip.linux.x8) R 17240 17242 17217 0 -1 4202496 15382326 0 0 0 173988 6213 0 0 25 0 1 0 9926943 201232384 41586 1992294400 4194304 8223781 140734612927984 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17242/statm: 49129 41586 563 984 0 48142 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 196516

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.05
CPU user time (s): 1739.89
CPU system time (s): 62.1556
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 204196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.89
system time used= 62.1555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15382326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2293

runsolver used 3.00554 second user time and 8.48971 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-16 13:05:20
IDJOB=2666246
IDBENCH=71830
IDSOLVER=1169
FILE ID=node035/2666246-1276686319
PBS_JOBID= 11172599
Free space on /tmp= 62456 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-250-false-45-90-4-7000opt.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-2666246-1276686319/watcher-2666246-1276686319 -o /tmp/evaluation-result-2666246-1276686319/solver-2666246-1276686319 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666246-1276686319.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305
RANDOM SEED=506036071

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1781800 kB
Buffers:         63844 kB
Cached:         114336 kB
SwapCached:       2336 kB
Active:          96616 kB
Inactive:       103476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1781800 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            6704 kB
Writeback:           0 kB
AnonPages:       19828 kB
Mapped:          13744 kB
Slab:            55460 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180648 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= 62452 MiB
End job on node035 at 2010-06-16 13:35:22