Trace number 2666909

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.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
MD5SUM7e2e59a69914c0aa8f6d18f073e252a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables9457
Total number of constraints449183
Number of constraints which are clauses446880
Number of constraints which are cardinality constraints (but not clauses)2303
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 98
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 98
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 96
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 194
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2666909-1276622427.opb>
7.89/7.93	c original problem has 9457 variables (9457 bin, 0 int, 0 impl, 0 cont) and 449183 constraints
7.89/7.93	c problem read
7.89/7.93	c presolving settings loaded
9.19/9.22	c presolving:
12.58/12.69	c (round 1) 5406 del vars, 396897 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
12.69/12.78	c (round 2) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
13.39/13.40	c (round 3) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 48026 upgd conss, 777226 impls, 0 clqs
18.08/18.10	c    (9.2s) probing: 1000/4050 (24.7%) - 0 fixings, 0 aggregations, 1035 implications, 0 bound changes
23.09/23.14	c    (14.3s) probing: 2000/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
23.09/23.15	c    (14.3s) probing: 2001/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
23.09/23.15	c    (14.3s) probing aborted: 2000/2000 successive useless probings
23.09/23.15	c presolving (4 rounds):
23.09/23.15	c  5407 deleted vars, 401157 deleted constraints, 5105 tightened bounds, 0 added holes, 96 changed sides, 192 changed coefficients
23.09/23.15	c  787356 implications, 0 cliques
23.09/23.15	c presolved problem has 4050 variables (4050 bin, 0 int, 0 impl, 0 cont) and 48026 constraints
23.09/23.15	c   48026 constraints of type <logicor>
23.09/23.15	c transformed objective value is always integral (scale: 1)
23.09/23.15	c Presolving Time: 13.30
23.09/23.15	c - non default parameters ----------------------------------------------------------------------
23.09/23.15	c # SCIP version 1.2.1.2
23.09/23.15	c 
23.09/23.15	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
23.09/23.15	c # [type: int, range: [-1,2147483647], default: -1]
23.09/23.15	c conflict/interconss = 0
23.09/23.15	c 
23.09/23.15	c # should binary conflicts be preferred?
23.09/23.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.09/23.15	c conflict/preferbinary = TRUE
23.09/23.15	c 
23.09/23.15	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
23.09/23.15	c # [type: int, range: [-1,2147483647], default: 0]
23.09/23.15	c constraints/agelimit = 1
23.09/23.15	c 
23.09/23.15	c # should enforcement of pseudo solution be disabled?
23.09/23.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.09/23.15	c constraints/disableenfops = TRUE
23.09/23.15	c 
23.09/23.15	c # frequency for displaying node information lines
23.09/23.15	c # [type: int, range: [-1,2147483647], default: 100]
23.09/23.15	c display/freq = 10000
23.09/23.15	c 
23.09/23.15	c # maximal time in seconds to run
23.09/23.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.09/23.15	c limits/time = 1792.08
23.09/23.15	c 
23.09/23.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.09/23.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.09/23.15	c limits/memory = 1620
23.09/23.15	c 
23.09/23.15	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
23.09/23.15	c # [type: int, range: [-1,2147483647], default: 1]
23.09/23.15	c lp/solvefreq = 0
23.09/23.15	c 
23.09/23.15	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)
23.09/23.15	c # [type: char, range: {lafpsqd}, default: l]
23.09/23.15	c lp/pricing = a
23.09/23.15	c 
23.09/23.15	c # should presolving try to simplify inequalities
23.09/23.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.09/23.15	c constraints/linear/simplifyinequalities = TRUE
23.09/23.15	c 
23.09/23.15	c # should presolving try to simplify knapsacks
23.09/23.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.09/23.15	c constraints/knapsack/simplifyinequalities = TRUE
23.09/23.15	c 
23.09/23.15	c # priority of node selection rule <dfs> in standard mode
23.09/23.15	c # [type: int, range: [-536870912,536870911], default: 0]
23.09/23.15	c nodeselection/dfs/stdpriority = 1000000
23.09/23.15	c 
23.09/23.15	c -----------------------------------------------------------------------------------------------
23.09/23.15	c start solving
23.09/23.15	c 
23.09/23.17	o 97
23.09/23.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.09/23.17	c t14.3s|     1 |     0 |     0 |     - | 242M|   0 |   - |4050 |  48k|   0 |   0 |   0 |   0 |   0 |      --      | 9.700000e+01 |    Inf 
51.58/51.60	c  42.5s|     1 |     0 |  8268 |     - | 263M|   0 |3694 |4050 |  48k|4050 |  48k|   0 |   0 |   0 | 7.000000e+00 | 9.700000e+01 |1285.71%
139.34/139.48	c   130s|     1 |     0 | 18454 |     - | 265M|   0 |2933 |4050 |  48k|4050 |  50k|2000 |   0 |   0 | 1.835921e+01 | 9.700000e+01 | 428.35%
251.90/252.02	c   239s|     1 |     0 | 26858 |     - | 266M|   0 |1855 |4050 |  48k|4050 |  51k|3422 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
522.60/522.84	c   481s|     1 |     0 | 28562 |     - | 266M|   0 |1967 |4050 |  48k|4050 |  51k|3632 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
817.91/818.20	c   746s|     1 |     0 | 30368 |     - | 266M|   0 |1727 |4050 |  48k|4050 |  51k|3638 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
1111.00/1111.48	c  1010s|     1 |     0 | 33696 |     - | 266M|   0 |1628 |4050 |  48k|4050 |  51k|3648 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
1384.51/1385.05	c  1254s|     1 |     0 | 36244 |     - | 266M|   0 |1678 |4050 |  48k|4050 |  51k|3680 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
1663.41/1664.05	c  1503s|     1 |     0 | 37515 |     - | 266M|   0 |1649 |4050 |  48k|4050 |  51k|3692 |   0 |   0 | 2.500000e+01 | 9.700000e+01 | 288.00%
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-2666909-1276622427/watcher-2666909-1276622427 -o /tmp/evaluation-result-2666909-1276622427/solver-2666909-1276622427 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666909-1276622427.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 0.99 0.99 3/106 6182
/proc/meminfo: memFree=1669264/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=6696 CPUtime=0
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 983 0 0 0 0 0 0 0 18 0 1 0 37844345 6856704 902 1992294400 4194304 8223781 140735434720288 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 1674 911 343 984 0 687 0

[startup+0.0488141 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 6182
/proc/meminfo: memFree=1669264/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=13488 CPUtime=0.03
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 2681 0 0 0 3 0 0 0 20 0 1 0 37844345 13811712 2600 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 3372 2600 365 984 0 2385 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13488

[startup+0.100824 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 6182
/proc/meminfo: memFree=1669264/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=16152 CPUtime=0.09
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 3335 0 0 0 8 1 0 0 20 0 1 0 37844345 16539648 3254 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 4038 3254 365 984 0 3051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16152

[startup+0.30094 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 6182
/proc/meminfo: memFree=1669264/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=21068 CPUtime=0.29
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 4579 0 0 0 28 1 0 0 20 0 1 0 37844345 21573632 4498 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 5267 4498 365 984 0 4280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21068

[startup+0.700941 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 6182
/proc/meminfo: memFree=1669264/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=28880 CPUtime=0.69
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 6526 0 0 0 67 2 0 0 21 0 1 0 37844345 29573120 6445 1992294400 4194304 8223781 140735434720288 18446744073709551615 7231842 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 7220 6445 365 984 0 6233 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28880

[startup+1.5011 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6183
/proc/meminfo: memFree=1639000/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=45040 CPUtime=1.49
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 10543 0 0 0 145 4 0 0 23 0 1 0 37844345 46120960 10462 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 11260 10462 365 984 0 10273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45040

[startup+3.10141 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6183
/proc/meminfo: memFree=1616060/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=77776 CPUtime=3.09
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 18710 0 0 0 301 8 0 0 25 0 1 0 37844345 79642624 18629 1992294400 4194304 8223781 140735434720288 18446744073709551615 7189544 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 19444 18629 365 984 0 18457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77776

[startup+6.30104 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6183
/proc/meminfo: memFree=1546868/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=143812 CPUtime=6.29
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 35167 0 0 0 615 14 0 0 25 0 1 0 37844345 147263488 35086 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6182/statm: 35953 35086 365 984 0 34966 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143812

[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6183
/proc/meminfo: memFree=1177844/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=503132 CPUtime=12.69
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 129164 0 0 0 1176 93 0 0 25 0 1 0 37844345 515207168 124007 1992294400 4194304 8223781 140735434720288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 125783 124007 446 984 0 124796 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 503132

[startup+25.5008 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6183
/proc/meminfo: memFree=1266256/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=420952 CPUtime=25.48
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 151958 0 0 0 2431 117 0 0 25 0 1 0 37844345 431054848 100961 1992294400 4194304 8223781 140735434720288 18446744073709551615 6502724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 105238 100961 539 984 0 104251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 420952

[startup+51.1008 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6185
/proc/meminfo: memFree=1263900/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=428120 CPUtime=51.07
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 176549 0 0 0 4970 137 0 0 25 0 1 0 37844345 438394880 101518 1992294400 4194304 8223781 140735434720288 18446744073709551615 6569329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 107030 101518 539 984 0 106043 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 428120

[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6185
/proc/meminfo: memFree=1260180/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=432880 CPUtime=102.27
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 215465 0 0 0 10064 163 0 0 25 0 1 0 37844345 443269120 102487 1992294400 4194304 8223781 140735434720288 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 108220 102487 541 984 0 107233 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 432880

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6187
/proc/meminfo: memFree=1257080/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=434956 CPUtime=162.23
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 959575 0 0 0 15774 449 0 0 25 0 1 0 37844345 445394944 103279 1992294400 4194304 8223781 140735434720288 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 108739 103279 550 984 0 107752 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 434956

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6189
/proc/meminfo: memFree=1253608/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440572 CPUtime=222.21
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 999086 0 0 0 21723 498 0 0 25 0 1 0 37844345 451145728 104147 1992294400 4194304 8223781 140735434720288 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110143 104147 568 984 0 109156 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 440572

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6191
/proc/meminfo: memFree=1250880/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440988 CPUtime=282.2
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 1907721 0 0 0 27367 853 0 0 25 0 1 0 37844345 451571712 104832 1992294400 4194304 8223781 140735434720288 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110247 104832 568 984 0 109260 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 440988

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6191
/proc/meminfo: memFree=1250880/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440988 CPUtime=342.17
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 3687003 0 0 0 32666 1551 0 0 25 0 1 0 37844345 451571712 104797 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110247 104808 568 984 0 109260 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 440988

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6193
/proc/meminfo: memFree=1250756/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440988 CPUtime=402.16
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 5471506 0 0 0 37971 2245 0 0 25 0 1 0 37844345 451571712 104832 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110247 104832 568 984 0 109260 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 440988

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6195
/proc/meminfo: memFree=1250756/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440584 CPUtime=462.13
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 7288597 0 0 0 43268 2945 0 0 25 0 1 0 37844345 451158016 104731 1992294400 4194304 8223781 140735434720288 18446744073709551615 6054167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110146 104731 568 984 0 109159 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 440584

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6197
/proc/meminfo: memFree=1250260/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441320 CPUtime=522.11
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 8429351 0 0 0 48817 3394 0 0 25 0 1 0 37844345 451911680 104961 1992294400 4194304 8223781 140735434720288 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110330 104961 568 984 0 109343 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 441320

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6199
/proc/meminfo: memFree=1250136/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441496 CPUtime=582.09
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 10116911 0 0 0 54147 4062 0 0 25 0 1 0 37844345 452091904 104996 1992294400 4194304 8223781 140735434720288 18446744073709551615 7257364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110374 104996 568 984 0 109387 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 441496

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6199
/proc/meminfo: memFree=1250136/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441092 CPUtime=642.07
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 11829467 0 0 0 59468 4739 0 0 25 0 1 0 37844345 451678208 104895 1992294400 4194304 8223781 140735434720288 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110273 104895 568 984 0 109286 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 441092

[startup+702.301 s]

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

/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 23414836 0 0 0 96928 9264 0 0 25 0 1 0 37844345 452321280 105073 1992294400 4194304 8223781 140735434720288 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110430 105084 568 984 0 109443 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 441720

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6213
/proc/meminfo: memFree=1249640/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440520 CPUtime=1121.9
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 24055671 0 0 0 102672 9518 0 0 25 0 1 0 37844345 451092480 104993 1992294400 4194304 8223781 140735434720288 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110130 104993 568 984 0 109143 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 440520

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6215
/proc/meminfo: memFree=1249640/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440924 CPUtime=1181.88
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 25946896 0 0 0 107932 10256 0 0 25 0 1 0 37844345 451506176 105094 1992294400 4194304 8223781 140735434720288 18446744073709551615 6300090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110231 105094 568 984 0 109244 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 440924

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6215
/proc/meminfo: memFree=1249516/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440924 CPUtime=1241.86
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 27815497 0 0 0 113192 10994 0 0 25 0 1 0 37844345 451506176 105094 1992294400 4194304 8223781 140735434720288 18446744073709551615 6300048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110231 105094 568 984 0 109244 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 440924

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6217
/proc/meminfo: memFree=1249392/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440520 CPUtime=1301.85
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 29589562 0 0 0 118494 11691 0 0 25 0 1 0 37844345 451092480 104993 1992294400 4194304 8223781 140735434720288 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110130 104993 568 984 0 109143 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 440520

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6219
/proc/meminfo: memFree=1250508/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440708 CPUtime=1361.82
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 31086159 0 0 0 123897 12285 0 0 25 0 1 0 37844345 451284992 104834 1992294400 4194304 8223781 140735434720288 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110177 104834 568 984 0 109190 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 440708

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6221
/proc/meminfo: memFree=1249888/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440884 CPUtime=1421.81
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 32194250 0 0 0 129456 12725 0 0 25 0 1 0 37844345 451465216 104996 1992294400 4194304 8223781 140735434720288 18446744073709551615 6300006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110221 104996 568 984 0 109234 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 440884

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6223
/proc/meminfo: memFree=1249888/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440480 CPUtime=1481.78
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 33960235 0 0 0 134761 13417 0 0 25 0 1 0 37844345 451051520 104895 1992294400 4194304 8223781 140735434720288 18446744073709551615 6043630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110120 104895 568 984 0 109133 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 440480

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6223
/proc/meminfo: memFree=1249764/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440480 CPUtime=1541.76
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 35717332 0 0 0 140069 14107 0 0 25 0 1 0 37844345 451051520 104895 1992294400 4194304 8223781 140735434720288 18446744073709551615 6055166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110120 104895 568 984 0 109133 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 440480

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6225
/proc/meminfo: memFree=1249764/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440884 CPUtime=1601.73
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 37462410 0 0 0 145388 14785 0 0 25 0 1 0 37844345 451465216 104996 1992294400 4194304 8223781 140735434720288 18446744073709551615 7257258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110221 104996 568 984 0 109234 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 440884

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6227
/proc/meminfo: memFree=1251128/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440300 CPUtime=1661.71
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38708084 0 0 0 150895 15276 0 0 25 0 1 0 37844345 450867200 104718 1992294400 4194304 8223781 140735434720288 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110075 104718 568 984 0 109088 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 440300

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6229
/proc/meminfo: memFree=1250384/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440504 CPUtime=1721.69
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38732233 0 0 0 156876 15293 0 0 25 0 1 0 37844345 451076096 104804 1992294400 4194304 8223781 140735434720288 18446744073709551615 6562843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110126 104804 570 984 0 109139 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 440504

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6231
/proc/meminfo: memFree=1248772/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=440504 CPUtime=1781.67
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38750673 0 0 0 162858 15309 0 0 25 0 1 0 37844345 451076096 105152 1992294400 4194304 8223781 140735434720288 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110126 105152 570 984 0 109139 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 440504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6231
/proc/meminfo: memFree=1248028/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441060 CPUtime=1800.08
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38760209 0 0 0 164692 15316 0 0 25 0 1 0 37844345 451645440 105404 1992294400 4194304 8223781 140735434720288 18446744073709551615 6358968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110265 105404 580 984 0 109278 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 441060

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6182

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 6231
/proc/meminfo: memFree=1248028/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441060 CPUtime=1800.76
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38761376 0 0 0 164760 15316 0 0 25 0 1 0 37844345 451645440 105343 1992294400 4194304 8223781 140735434720288 18446744073709551615 6563487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110265 105343 580 984 0 109278 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 441060

[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 6232
/proc/meminfo: memFree=1248268/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441060 CPUtime=1801.56
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38761391 0 0 0 164840 15316 0 0 25 0 1 0 37844345 451645440 105358 1992294400 4194304 8223781 140735434720288 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110265 105358 580 984 0 109278 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 441060

[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 6232
/proc/meminfo: memFree=1248268/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441060 CPUtime=1801.96
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38761394 0 0 0 164880 15316 0 0 25 0 1 0 37844345 451645440 105361 1992294400 4194304 8223781 140735434720288 18446744073709551615 6565946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110265 105361 580 984 0 109278 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 441060

[startup+1802.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 6232
/proc/meminfo: memFree=1248268/2059040 swapFree=4136232/4192956
[pid=6182] ppid=6180 vsize=441060 CPUtime=1802.06
/proc/6182/stat : 6182 (pbscip.linux.x8) R 6180 6182 6069 0 -1 4202496 38761396 0 0 0 164890 15316 0 0 25 0 1 0 37844345 451645440 105363 1992294400 4194304 8223781 140735434720288 18446744073709551615 6562879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6182/statm: 110265 105363 580 984 0 109278 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 441060

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.13
CPU user time (s): 1648.92
CPU system time (s): 153.214
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 510492

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

runsolver used 3.05253 second user time and 8.44172 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-15 19:20:28
IDJOB=2666909
IDBENCH=2951
IDSOLVER=1169
FILE ID=node011/2666909-1276622427
PBS_JOBID= 11172341
Free space on /tmp= 62348 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.08.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-2666909-1276622427/watcher-2666909-1276622427 -o /tmp/evaluation-result-2666909-1276622427/solver-2666909-1276622427 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666909-1276622427.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7e2e59a69914c0aa8f6d18f073e252a7
RANDOM SEED=1847500240

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:       1669792 kB
Buffers:        140724 kB
Cached:         168428 kB
SwapCached:      10072 kB
Active:         131784 kB
Inactive:       190440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1669792 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:           19316 kB
Writeback:           0 kB
AnonPages:       11484 kB
Mapped:           9396 kB
Slab:            45292 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182460 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= 62344 MiB
End job on node011 at 2010-06-15 19:50:31