Trace number 2666249

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.13 1802.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
MD5SUM45bb740026f369f3965355a2a9c7d86d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-193
Best CPU time to get the best result obtained on this benchmark15.9096
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 constraints63333
Number of constraints which are clauses63333
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-2666249-1276686851.opb>
1.10/1.11	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63333 constraints
1.10/1.11	c problem read
1.10/1.11	c presolving settings loaded
1.29/1.33	o 0
1.29/1.33	c feasible solution found by trivial heuristic, objective value  0.000000e+00
1.29/1.33	c presolving:
1.59/1.61	c (round 1) 186 del vars, 186 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.18	c (round 2) 186 del vars, 821 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62512 upgd conss, 2340 impls, 0 clqs
2.39/2.40	c    (1.0s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.40	c    (1.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.40	c presolving (3 rounds):
2.39/2.40	c  186 deleted vars, 821 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.40	c  2340 implications, 0 cliques
2.39/2.40	c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 62512 constraints
2.39/2.40	c   62512 constraints of type <logicor>
2.39/2.40	c transformed objective value is always integral (scale: 1)
2.39/2.40	c Presolving Time: 0.86
2.39/2.40	c - non default parameters ----------------------------------------------------------------------
2.39/2.40	c # SCIP version 1.2.1.2
2.39/2.40	c 
2.39/2.40	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.40	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.40	c conflict/interconss = 0
2.39/2.40	c 
2.39/2.40	c # should binary conflicts be preferred?
2.39/2.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40	c conflict/preferbinary = TRUE
2.39/2.40	c 
2.39/2.40	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.40	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40	c constraints/agelimit = 1
2.39/2.40	c 
2.39/2.40	c # should enforcement of pseudo solution be disabled?
2.39/2.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40	c constraints/disableenfops = TRUE
2.39/2.40	c 
2.39/2.40	c # frequency for displaying node information lines
2.39/2.40	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.40	c display/freq = 10000
2.39/2.40	c 
2.39/2.40	c # maximal time in seconds to run
2.39/2.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40	c limits/time = 1798.89
2.39/2.40	c 
2.39/2.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40	c limits/memory = 1620
2.39/2.40	c 
2.39/2.40	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.40	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40	c lp/solvefreq = 0
2.39/2.40	c 
2.39/2.40	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.39/2.40	c # [type: char, range: {lafpsqd}, default: l]
2.39/2.40	c lp/pricing = a
2.39/2.40	c 
2.39/2.40	c # should presolving try to simplify inequalities
2.39/2.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40	c constraints/linear/simplifyinequalities = TRUE
2.39/2.40	c 
2.39/2.40	c # should presolving try to simplify knapsacks
2.39/2.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.40	c 
2.39/2.40	c # priority of node selection rule <dfs> in standard mode
2.39/2.40	c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.40	c nodeselection/dfs/stdpriority = 1000000
2.39/2.40	c 
2.39/2.40	c -----------------------------------------------------------------------------------------------
2.39/2.40	c start solving
2.39/2.41	c 
42.57/42.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.57/42.67	c t41.0s|     1 |     0 |  6850 |     - |  72M|   0 |1604 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 | 0.000000e+00 | 100.00%
42.78/42.86	o -12
42.78/42.86	c R41.2s|     1 |     0 |  6850 |     - |  72M|   0 |1604 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 |-1.200000e+01 |  95.73%
42.97/43.09	o -14
42.97/43.09	c s41.4s|     1 |     0 |  6850 |     - |  72M|   0 |1604 |1839 |  62k|1839 |  62k|   0 |   0 |   0 |-2.811758e+02 |-1.400000e+01 |  95.02%
502.95/503.18	c   499s|     1 |     0 | 39054 |     - |  74M|   0 |1816 |1839 |  62k|1839 |  62k|   4 |   0 |   0 |-2.771700e+02 |-1.400000e+01 |  94.95%
503.05/503.21	o -36
503.05/503.21	c b 499s|     1 |     0 | 39054 |     - |  74M|   0 |1816 |1839 |  62k|1839 |  62k|   4 |   0 |   0 |-2.771700e+02 |-3.600000e+01 |  87.01%
1124.67/1125.02	c  1088s|     1 |     0 | 68248 |     - |  77M|   0 |1810 |1839 |  62k|1839 |  62k|   8 |   0 |   0 |-2.749294e+02 |-3.600000e+01 |  86.91%
1124.77/1125.16	o -53
1124.77/1125.16	c b1088s|     1 |     0 | 68248 |     - |  77M|   0 |1810 |1839 |  62k|1839 |  62k|   8 |   0 |   0 |-2.749294e+02 |-5.300000e+01 |  80.72%
1790.20/1790.76	c  1724s|     1 |     0 |100963 |     - |  82M|   0 |1806 |1839 |  62k|1839 |  62k|  14 |   0 |   0 |-2.717622e+02 |-5.300000e+01 |  80.50%
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=7724 CPUtime=0
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 1023 0 0 0 0 0 0 0 20 0 1 0 9980273 7909376 943 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 1931 953 348 984 0 944 0

[startup+0.04917 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=11800 CPUtime=0.04
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 2251 0 0 0 3 1 0 0 22 0 1 0 9980273 12083200 2171 1992294400 4194304 8223781 140736712358272 18446744073709551615 4361595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 2950 2171 365 984 0 1963 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11800

[startup+0.101176 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=13272 CPUtime=0.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 2615 0 0 0 8 1 0 0 22 0 1 0 9980273 13590528 2535 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 3318 2535 365 984 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13272

[startup+0.3012 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=18028 CPUtime=0.29
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 3822 0 0 0 28 1 0 0 22 0 1 0 9980273 18460672 3742 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 4507 3742 365 984 0 3520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18028

[startup+0.701246 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=26224 CPUtime=0.69
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 5848 0 0 0 67 2 0 0 23 0 1 0 9980273 26853376 5768 1992294400 4194304 8223781 140736712358272 18446744073709551615 7249913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 6556 5768 365 984 0 5569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26224

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1645820/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=80876 CPUtime=1.49
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 19592 0 0 0 138 11 0 0 25 0 1 0 9980273 82817024 19116 1992294400 4194304 8223781 140736712358272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 20219 19116 446 984 0 19232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80876

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1590144/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=161708 CPUtime=3.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 48394 0 0 0 272 37 0 0 25 0 1 0 9980273 165588992 36888 1992294400 4194304 8223781 140736712358272 18446744073709551615 6248424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 40427 36888 529 984 0 39440 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161708

[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1521572/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=175740 CPUtime=6.29
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 51834 0 0 0 589 40 0 0 25 0 1 0 9980273 179957760 38342 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 43935 38342 533 984 0 42948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175740

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1520704/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=179536 CPUtime=12.68
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 55031 0 0 0 1225 43 0 0 25 0 1 0 9980273 183844864 38511 1992294400 4194304 8223781 140736712358272 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 44884 38511 533 984 0 43897 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 179536

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1520084/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=182088 CPUtime=25.49
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 61938 0 0 0 2501 48 0 0 25 0 1 0 9980273 186458112 38632 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 45522 38632 533 984 0 44535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182088

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16530
/proc/meminfo: memFree=1518968/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=184764 CPUtime=51.07
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 472361 0 0 0 4906 201 0 0 25 0 1 0 9980273 189198336 38910 1992294400 4194304 8223781 140736712358272 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 46191 38910 549 984 0 45204 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 184764

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16530
/proc/meminfo: memFree=1516488/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=189920 CPUtime=102.26
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 496476 0 0 0 10006 220 0 0 25 0 1 0 9980273 194478080 39546 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47480 39546 561 984 0 46493 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 189920

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16532
/proc/meminfo: memFree=1515248/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190592 CPUtime=162.24
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 524029 0 0 0 15982 242 0 0 25 0 1 0 9980273 195166208 39857 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47648 39857 561 984 0 46661 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 190592

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16534
/proc/meminfo: memFree=1514504/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190712 CPUtime=222.22
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 549674 0 0 0 21963 259 0 0 25 0 1 0 9980273 195289088 40032 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47678 40032 561 984 0 46691 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 190712

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16536
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=282.21
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 574011 0 0 0 27946 275 0 0 25 0 1 0 9980273 195330048 40134 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40134 561 984 0 46701 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 190752

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16538
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=342.19
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 598541 0 0 0 33928 291 0 0 25 0 1 0 9980273 195330048 40112 1992294400 4194304 8223781 140736712358272 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40112 561 984 0 46701 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 190752

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16538
/proc/meminfo: memFree=1514008/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=402.17
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 621664 0 0 0 39912 305 0 0 25 0 1 0 9980273 195330048 40143 1992294400 4194304 8223781 140736712358272 18446744073709551615 6503932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40143 561 984 0 46701 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 190752

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16540
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190800 CPUtime=462.16
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 645025 0 0 0 45894 322 0 0 25 0 1 0 9980273 195379200 40088 1992294400 4194304 8223781 140736712358272 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47700 40088 561 984 0 46713 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 190800

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16542
/proc/meminfo: memFree=1513760/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=522.14
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 1547792 0 0 0 51551 663 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 191076

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16544
/proc/meminfo: memFree=1513760/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=582.12
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 4342106 0 0 0 56515 1697 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 191076

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16546
/proc/meminfo: memFree=1513636/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=642.12
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 7125350 0 0 0 61487 2725 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 191076

[startup+702.301 s]

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

/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9267755 0 0 0 96636 3565 0 0 25 0 1 0 9980273 201080832 41275 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41275 561 984 0 48105 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 196368

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16559
/proc/meminfo: memFree=1508428/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196368 CPUtime=1061.99
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9289605 0 0 0 102619 3580 0 0 25 0 1 0 9980273 201080832 41262 1992294400 4194304 8223781 140736712358272 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41262 561 984 0 48105 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 196368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16561
/proc/meminfo: memFree=1508180/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196368 CPUtime=1121.97
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9312297 0 0 0 108600 3597 0 0 25 0 1 0 9980273 201080832 41283 1992294400 4194304 8223781 140736712358272 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41283 561 984 0 48105 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 196368

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16563
/proc/meminfo: memFree=1508056/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196564 CPUtime=1181.95
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 11829086 0 0 0 113635 4560 0 0 25 0 1 0 9980273 201281536 41344 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49141 41344 561 984 0 48154 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 196564

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16565
/proc/meminfo: memFree=1508056/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196072 CPUtime=1241.93
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 14473340 0 0 0 118633 5560 0 0 25 0 1 0 9980273 200777728 41221 1992294400 4194304 8223781 140736712358272 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49018 41221 561 984 0 48031 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 196072

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16565
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200512 CPUtime=1301.93
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16680855 0 0 0 123800 6393 0 0 25 0 1 0 9980273 205324288 42405 1992294400 4194304 8223781 140736712358272 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50128 42405 561 984 0 49141 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 200512

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16567
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200512 CPUtime=1361.9
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16708473 0 0 0 129779 6411 0 0 25 0 1 0 9980273 205324288 42409 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50128 42409 561 984 0 49141 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 200512

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16569
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200992 CPUtime=1421.89
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16732840 0 0 0 135759 6430 0 0 25 0 1 0 9980273 205815808 42461 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50248 42461 561 984 0 49261 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 200992

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 16571
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1481.87
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16757922 0 0 0 141739 6448 0 0 25 0 1 0 9980273 205840384 42464 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42464 561 984 0 49267 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 201016

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 16573
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1541.86
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16781957 0 0 0 147721 6465 0 0 25 0 1 0 9980273 205840384 42444 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42444 561 984 0 49267 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 201016

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16573
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1601.84
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16805334 0 0 0 153703 6481 0 0 25 0 1 0 9980273 205840384 42431 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42431 561 984 0 49267 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 201016

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16575
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1661.83
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16826653 0 0 0 159687 6496 0 0 25 0 1 0 9980273 205840384 42444 1992294400 4194304 8223781 140736712358272 18446744073709551615 6598888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42444 561 984 0 49267 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 201016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16577
/proc/meminfo: memFree=1503964/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1721.8
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16849908 0 0 0 165668 6512 0 0 25 0 1 0 9980273 205840384 42431 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42431 561 984 0 49267 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 201016

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16579
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201040 CPUtime=1781.79
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16872258 0 0 0 171651 6528 0 0 25 0 1 0 9980273 205864960 42417 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50260 42417 561 984 0 49273 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 201040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16579
/proc/meminfo: memFree=1503592/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200744 CPUtime=1800.1
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17285167 0 0 0 173328 6682 0 0 25 0 1 0 9980273 205561856 42345 1992294400 4194304 8223781 140736712358272 18446744073709551615 6043630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50186 42345 561 984 0 49199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 200744

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16527

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 16579
/proc/meminfo: memFree=1503592/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1800.88
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287651 0 0 0 173405 6683 0 0 25 0 1 0 9980273 205291520 41937 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 41937 561 984 0 49133 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 200480

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16580
/proc/meminfo: memFree=1505444/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1801.68
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287793 0 0 0 173485 6683 0 0 25 0 1 0 9980273 205291520 42079 1992294400 4194304 8223781 140736712358272 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 42079 561 984 0 49133 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 200480

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16580
/proc/meminfo: memFree=1505444/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1802.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287828 0 0 0 173525 6684 0 0 25 0 1 0 9980273 205291520 42114 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 42114 561 984 0 49133 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 200480

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.13
CPU user time (s): 1735.27
CPU system time (s): 66.8588
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 208864

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

runsolver used 3.07253 second user time and 8.42072 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-16 13:14:11
IDJOB=2666249
IDBENCH=71833
IDSOLVER=1169
FILE ID=node033/2666249-1276686851
PBS_JOBID= 11172559
Free space on /tmp= 62588 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-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-2666249-1276686851/watcher-2666249-1276686851 -o /tmp/evaluation-result-2666249-1276686851/solver-2666249-1276686851 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666249-1276686851.opb -t 1800 -m 1800

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

MD5SUM BENCH= 45bb740026f369f3965355a2a9c7d86d
RANDOM SEED=382289453

node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1673884 kB
Buffers:         81092 kB
Cached:         164652 kB
SwapCached:          0 kB
Active:         101748 kB
Inactive:       203792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1673884 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6616 kB
Writeback:           0 kB
AnonPages:       59876 kB
Mapped:          15324 kB
Slab:            57804 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180988 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= 62584 MiB
End job on node033 at 2010-06-16 13:44:14