Trace number 2666256

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
MD5SUMb413d11d214e81d6bb556d5c8775428f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark6.31704
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 constraints30912
Number of constraints which are clauses30912
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 317
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 317
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-2666256-1276687677.opb>
0.49/0.55	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30912 constraints
0.49/0.55	c problem read
0.59/0.62	c presolving settings loaded
0.59/0.66	o 0
0.59/0.66	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.59/0.66	c presolving:
0.79/0.82	c (round 1) 568 del vars, 568 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.99/1.09	c (round 2) 568 del vars, 4820 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26092 upgd conss, 2340 impls, 0 clqs
1.10/1.19	c    (0.5s) probing: 101/1457 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.19	c    (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.19	c presolving (3 rounds):
1.10/1.19	c  568 deleted vars, 4820 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.19	c  2340 implications, 0 cliques
1.10/1.19	c presolved problem has 1457 variables (1457 bin, 0 int, 0 impl, 0 cont) and 26092 constraints
1.10/1.19	c   26092 constraints of type <logicor>
1.10/1.19	c transformed objective value is always integral (scale: 1)
1.10/1.19	c Presolving Time: 0.42
1.10/1.19	c - non default parameters ----------------------------------------------------------------------
1.10/1.19	c # SCIP version 1.2.1.2
1.10/1.19	c 
1.10/1.19	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19	c conflict/interconss = 0
1.10/1.19	c 
1.10/1.19	c # should binary conflicts be preferred?
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c conflict/preferbinary = TRUE
1.10/1.19	c 
1.10/1.19	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19	c constraints/agelimit = 1
1.10/1.19	c 
1.10/1.19	c # should enforcement of pseudo solution be disabled?
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c constraints/disableenfops = TRUE
1.10/1.19	c 
1.10/1.19	c # frequency for displaying node information lines
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.19	c display/freq = 10000
1.10/1.19	c 
1.10/1.19	c # maximal time in seconds to run
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19	c limits/time = 1799.46
1.10/1.19	c 
1.10/1.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19	c limits/memory = 1620
1.10/1.19	c 
1.10/1.19	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c lp/solvefreq = 0
1.10/1.19	c 
1.10/1.19	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.10/1.19	c # [type: char, range: {lafpsqd}, default: l]
1.10/1.19	c lp/pricing = a
1.10/1.19	c 
1.10/1.19	c # should presolving try to simplify inequalities
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c constraints/linear/simplifyinequalities = TRUE
1.10/1.19	c 
1.10/1.19	c # should presolving try to simplify knapsacks
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.19	c 
1.10/1.19	c # priority of node selection rule <dfs> in standard mode
1.10/1.19	c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.19	c nodeselection/dfs/stdpriority = 1000000
1.10/1.19	c 
1.10/1.19	c -----------------------------------------------------------------------------------------------
1.10/1.19	c start solving
1.10/1.19	c 
13.59/13.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.59/13.64	c t12.8s|     1 |     0 |  4874 |     - |  34M|   0 |1430 |1457 |  26k|1457 |  26k|   0 |   0 |   0 |-2.287375e+02 | 0.000000e+00 | 100.00%
13.69/13.77	o -2
13.69/13.77	c R13.0s|     1 |     0 |  4874 |     - |  34M|   0 |1430 |1457 |  26k|1457 |  26k|   0 |   0 |   0 |-2.287375e+02 |-2.000000e+00 |  99.13%
96.16/96.27	c  95.0s|     1 |     0 | 20705 |     - |  35M|   0 |1454 |1457 |  26k|1457 |  26k|  12 |   0 |   0 |-2.221810e+02 |-2.000000e+00 |  99.10%
96.16/96.28	o -14
96.16/96.28	c b95.0s|     1 |     0 | 20705 |     - |  35M|   0 |1454 |1457 |  26k|1457 |  26k|  12 |   0 |   0 |-2.221810e+02 |-1.400000e+01 |  93.70%
257.90/258.06	c   252s|     1 |     0 | 42612 |     - |  36M|   0 |1456 |1457 |  26k|1457 |  26k|  40 |   0 |   0 |-2.193305e+02 |-1.400000e+01 |  93.62%
258.00/258.11	o -19
258.00/258.11	c b 252s|     1 |     0 | 42612 |     - |  36M|   0 |1456 |1457 |  26k|1457 |  26k|  40 |   0 |   0 |-2.193305e+02 |-1.900000e+01 |  91.34%
404.15/404.38	c   397s|     1 |     0 | 62050 |     - |  38M|   0 |1452 |1457 |  26k|1457 |  26k|  54 |   0 |   0 |-2.153885e+02 |-1.900000e+01 |  91.18%
606.68/606.92	c   593s|     1 |     0 | 85003 |     - |  42M|   0 |1453 |1457 |  26k|1457 |  26k|  63 |   0 |   0 |-2.121526e+02 |-1.900000e+01 |  91.04%
784.82/785.13	c   763s|     1 |     0 |102609 |     - |  42M|   0 |1453 |1457 |  26k|1457 |  26k|  69 |   0 |   0 |-2.110953e+02 |-1.900000e+01 |  91.00%
917.78/918.13	c   888s|     1 |     0 |113912 |     - |  42M|   0 |1453 |1457 |  26k|1457 |  26k|  73 |   0 |   0 |-2.108829e+02 |-1.900000e+01 |  90.99%
1116.30/1116.76	c  1081s|     1 |     0 |136948 |     - |  48M|   0 |1453 |1457 |  26k|1457 |  26k|  76 |   0 |   0 |-2.102494e+02 |-1.900000e+01 |  90.96%
1392.60/1393.13	c  1351s|     1 |     0 |169731 |     - |  53M|   0 |1451 |1457 |  26k|1457 |  26k|  94 |   0 |   0 |-2.061381e+02 |-1.900000e+01 |  90.78%
1594.64/1595.27	c  1547s|     1 |     0 |192593 |     - |  59M|   0 |1451 |1457 |  26k|1457 |  26k| 132 |   0 |   0 |-2.013750e+02 |-1.900000e+01 |  90.56%
1800.08/1800.71	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-2666256-1276687677/watcher-2666256-1276687677 -o /tmp/evaluation-result-2666256-1276687677/solver-2666256-1276687677 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666256-1276687677.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 12462
/proc/meminfo: memFree=1731380/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=6696 CPUtime=0
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1002 0 0 0 0 0 0 0 18 0 1 0 44369257 6856704 921 1992294400 4194304 8223781 140735155723312 18446744073709551615 5960099 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12462/statm: 1931 930 348 984 0 944 0

[startup+0.070245 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12462
/proc/meminfo: memFree=1731380/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=12544 CPUtime=0.06
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 2455 0 0 0 6 0 0 0 20 0 1 0 44369257 12845056 2374 1992294400 4194304 8223781 140735155723312 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12462/statm: 3136 2374 365 984 0 2149 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12544

[startup+0.101251 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12462
/proc/meminfo: memFree=1731380/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=13264 CPUtime=0.09
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 2614 0 0 0 9 0 0 0 20 0 1 0 44369257 13582336 2533 1992294400 4194304 8223781 140735155723312 18446744073709551615 4373931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12462/statm: 3316 2533 365 984 0 2329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264

[startup+0.30029 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12462
/proc/meminfo: memFree=1731380/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=18020 CPUtime=0.29
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 3822 0 0 0 28 1 0 0 20 0 1 0 44369257 18452480 3741 1992294400 4194304 8223781 140735155723312 18446744073709551615 5649120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12462/statm: 4505 3741 365 984 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18020

[startup+0.701368 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12462
/proc/meminfo: memFree=1731380/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=47000 CPUtime=0.7
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 11151 0 0 0 66 4 0 0 20 0 1 0 44369257 48128000 10682 1992294400 4194304 8223781 140735155723312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 11750 10682 446 984 0 10763 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 47000

[startup+1.50052 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1681524/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=82952 CPUtime=1.49
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 23991 0 0 0 130 19 0 0 23 0 1 0 44369257 84942848 18873 1992294400 4194304 8223781 140735155723312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 20738 18873 537 984 0 19751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82952

[startup+3.10084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1655112/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=91140 CPUtime=3.09
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 25601 0 0 0 288 21 0 0 25 0 1 0 44369257 93327360 19640 1992294400 4194304 8223781 140735155723312 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 22785 19640 545 984 0 21798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91140

[startup+6.30047 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1653996/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=92244 CPUtime=6.29
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 26987 0 0 0 607 22 0 0 25 0 1 0 44369257 94457856 19720 1992294400 4194304 8223781 140735155723312 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 23061 19720 545 984 0 22074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92244

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1653748/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=92928 CPUtime=12.69
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 30448 0 0 0 1244 25 0 0 25 0 1 0 44369257 95158272 19763 1992294400 4194304 8223781 140735155723312 18446744073709551615 7242695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 23232 19763 545 984 0 22245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92928

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1652260/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=94832 CPUtime=25.48
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 84704 0 0 0 2504 44 0 0 25 0 1 0 44369257 97107968 20171 1992294400 4194304 8223781 140735155723312 18446744073709551615 6559884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 23708 20171 584 984 0 22721 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94832

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12463
/proc/meminfo: memFree=1652012/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=94880 CPUtime=51.07
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 95308 0 0 0 5053 54 0 0 25 0 1 0 44369257 97157120 20247 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 23720 20247 584 984 0 22733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94880

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12465
/proc/meminfo: memFree=1650896/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=95124 CPUtime=102.27
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 489008 0 0 0 10037 190 0 0 25 0 1 0 44369257 97406976 20433 1992294400 4194304 8223781 140735155723312 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 23781 20448 577 984 0 22794 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 95124

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12467
/proc/meminfo: memFree=1649036/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=96692 CPUtime=162.23
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1403183 0 0 0 15754 469 0 0 25 0 1 0 44369257 99012608 20865 1992294400 4194304 8223781 140735155723312 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 24173 20865 577 984 0 23186 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 96692

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12469
/proc/meminfo: memFree=1648540/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=96888 CPUtime=222.21
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1428573 0 0 0 21732 489 0 0 25 0 1 0 44369257 99213312 21061 1992294400 4194304 8223781 140735155723312 18446744073709551615 6569920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 24222 21061 577 984 0 23235 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 96888

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12469
/proc/meminfo: memFree=1639736/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=106020 CPUtime=282.19
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1943524 0 0 0 27548 671 0 0 25 0 1 0 44369257 108564480 23297 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 26505 23297 578 984 0 25518 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 106020

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12471
/proc/meminfo: memFree=1639364/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=106020 CPUtime=342.18
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1970635 0 0 0 33524 694 0 0 25 0 1 0 44369257 108564480 23343 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 26505 23343 578 984 0 25518 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 106020

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12473
/proc/meminfo: memFree=1638496/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=106020 CPUtime=402.15
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 1996352 0 0 0 39498 717 0 0 25 0 1 0 44369257 108564480 23414 1992294400 4194304 8223781 140735155723312 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 26505 23414 578 984 0 25518 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 106020

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12475
/proc/meminfo: memFree=1631676/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=113536 CPUtime=462.13
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 3536201 0 0 0 44956 1257 0 0 25 0 1 0 44369257 116260864 25260 1992294400 4194304 8223781 140735155723312 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 28384 25260 578 984 0 27397 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 113536

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12477
/proc/meminfo: memFree=1631552/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=113536 CPUtime=522.11
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 3561904 0 0 0 50932 1279 0 0 25 0 1 0 44369257 116260864 25313 1992294400 4194304 8223781 140735155723312 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 28384 25313 578 984 0 27397 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 113536

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12477
/proc/meminfo: memFree=1631304/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=113536 CPUtime=582.09
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 3589463 0 0 0 56911 1298 0 0 25 0 1 0 44369257 116260864 25335 1992294400 4194304 8223781 140735155723312 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 28384 25335 578 984 0 27397 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 113536

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12479
/proc/meminfo: memFree=1631180/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=113412 CPUtime=642.08
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 4955595 0 0 0 62448 1760 0 0 25 0 1 0 44369257 116133888 25322 1992294400 4194304 8223781 140735155723312 18446744073709551615 6055488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 28353 25322 578 984 0 27366 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 113412

[startup+702.301 s]

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

/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 9871259 0 0 0 102701 3491 0 0 25 0 1 0 44369257 123871232 27396 1992294400 4194304 8223781 140735155723312 18446744073709551615 6614307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 30242 27396 578 984 0 29255 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 120968

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12493
/proc/meminfo: memFree=1622624/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=120968 CPUtime=1121.9
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 10095356 0 0 0 108610 3580 0 0 25 0 1 0 44369257 123871232 27381 1992294400 4194304 8223781 140735155723312 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 30242 27381 578 984 0 29255 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 120968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12493
/proc/meminfo: memFree=1619400/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=125096 CPUtime=1181.88
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 11455786 0 0 0 114136 4052 0 0 25 0 1 0 44369257 128098304 28236 1992294400 4194304 8223781 140735155723312 18446744073709551615 6502724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 31274 28236 578 984 0 30287 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 125096

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12495
/proc/meminfo: memFree=1619152/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=125096 CPUtime=1241.86
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 11481348 0 0 0 120112 4074 0 0 25 0 1 0 44369257 128098304 28256 1992294400 4194304 8223781 140735155723312 18446744073709551615 6567509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 31274 28256 578 984 0 30287 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 125096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12497
/proc/meminfo: memFree=1618780/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=125096 CPUtime=1301.85
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 11508666 0 0 0 126090 4095 0 0 25 0 1 0 44369257 128098304 28328 1992294400 4194304 8223781 140735155723312 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 31274 28328 578 984 0 30287 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 125096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12499
/proc/meminfo: memFree=1619028/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=125304 CPUtime=1361.82
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 11535051 0 0 0 132066 4116 0 0 25 0 1 0 44369257 128311296 28298 1992294400 4194304 8223781 140735155723312 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 31326 28298 578 984 0 30339 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 125304

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12501
/proc/meminfo: memFree=1618904/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=125180 CPUtime=1421.8
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 12574728 0 0 0 137687 4493 0 0 25 0 1 0 44369257 128184320 28275 1992294400 4194304 8223781 140735155723312 18446744073709551615 6047856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 31295 28275 578 984 0 30308 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 125180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12501
/proc/meminfo: memFree=1613324/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=131916 CPUtime=1481.77
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 13073927 0 0 0 143493 4684 0 0 25 0 1 0 44369257 135081984 29653 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 32979 29653 578 984 0 31992 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 131916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12503
/proc/meminfo: memFree=1613324/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=131916 CPUtime=1541.76
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 13099073 0 0 0 149471 4705 0 0 25 0 1 0 44369257 135081984 29734 1992294400 4194304 8223781 140735155723312 18446744073709551615 6592524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 32979 29734 578 984 0 31992 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 131916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12505
/proc/meminfo: memFree=1612456/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=132192 CPUtime=1601.74
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 13364737 0 0 0 155365 4809 0 0 25 0 1 0 44369257 135364608 29956 1992294400 4194304 8223781 140735155723312 18446744073709551615 6300096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 33048 29956 578 984 0 32061 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 132192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12507
/proc/meminfo: memFree=1610100/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136124 CPUtime=1661.71
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14381493 0 0 0 161001 5170 0 0 25 0 1 0 44369257 139390976 30543 1992294400 4194304 8223781 140735155723312 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34031 30543 578 984 0 33044 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 136124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12509
/proc/meminfo: memFree=1609604/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136124 CPUtime=1721.69
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14408146 0 0 0 166976 5193 0 0 25 0 1 0 44369257 139390976 30641 1992294400 4194304 8223781 140735155723312 18446744073709551615 6564409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34031 30641 578 984 0 33044 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 136124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12509
/proc/meminfo: memFree=1609356/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1781.67
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14431955 0 0 0 172953 5214 0 0 25 0 1 0 44369257 139595776 30653 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30653 578 984 0 33094 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 136324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12511
/proc/meminfo: memFree=1609232/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1800.08
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14439678 0 0 0 174788 5220 0 0 25 0 1 0 44369257 139595776 30694 1992294400 4194304 8223781 140735155723312 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30694 578 984 0 33094 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 136324

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12462

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 12511
/proc/meminfo: memFree=1609232/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1800.76
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14439688 0 0 0 174856 5220 0 0 25 0 1 0 44369257 139595776 30704 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30704 578 984 0 33094 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 136324

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12512
/proc/meminfo: memFree=1609100/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1801.57
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14440245 0 0 0 174936 5221 0 0 25 0 1 0 44369257 139595776 30698 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30698 578 984 0 33094 0
Current children cumulated CPU time (s) 1801.57
Current children cumulated vsize (KiB) 136324

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12512
/proc/meminfo: memFree=1609100/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1801.97
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14440289 0 0 0 174976 5221 0 0 25 0 1 0 44369257 139595776 30742 1992294400 4194304 8223781 140735155723312 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30742 578 984 0 33094 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 136324

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12512
/proc/meminfo: memFree=1609100/2059040 swapFree=4136232/4192956
[pid=12462] ppid=12460 vsize=136324 CPUtime=1802.07
/proc/12462/stat : 12462 (pbscip.linux.x8) R 12460 12462 11671 0 -1 4202496 14440300 0 0 0 174986 5221 0 0 25 0 1 0 44369257 139595776 30753 1992294400 4194304 8223781 140735155723312 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12462/statm: 34081 30753 578 984 0 33094 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 136324

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.73
CPU time (s): 1802.11
CPU user time (s): 1749.88
CPU system time (s): 52.2291
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 139404

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

runsolver used 3.04754 second user time and 8.44871 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-16 13:27:57
IDJOB=2666256
IDBENCH=71840
IDSOLVER=1169
FILE ID=node011/2666256-1276687677
PBS_JOBID= 11172563
Free space on /tmp= 62360 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-5000opt.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-2666256-1276687677/watcher-2666256-1276687677 -o /tmp/evaluation-result-2666256-1276687677/solver-2666256-1276687677 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666256-1276687677.opb -t 1800 -m 1800

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

MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f
RANDOM SEED=2084712486

node011.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.264
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.52
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.264
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:       1731784 kB
Buffers:        127412 kB
Cached:         119320 kB
SwapCached:      10072 kB
Active:         109796 kB
Inactive:       150100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1731784 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            5488 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:           9328 kB
Slab:            45560 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180576 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= 62356 MiB
End job on node011 at 2010-06-16 13:58:00