Trace number 2665518

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.17 1802.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
MD5SUMb1eab2cf935e923f8f1ff9f24be23d02
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark874.009
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41
Optimality of the best value was proved YES
Number of variables25484
Total number of constraints1553328
Number of constraints which are clauses1549096
Number of constraints which are cardinality constraints (but not clauses)4232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint184
Number of terms in the objective function 184
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 184
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 182
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 366
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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665518-1276623055.opb>
26.99/27.08	c original problem has 25484 variables (25484 bin, 0 int, 0 impl, 0 cont) and 1553328 constraints
26.99/27.08	c problem read
26.99/27.08	c presolving settings loaded
31.38/31.45	c presolving:
46.48/46.57	c (round 1) 12623 del vars, 1401237 del conss, 12150 chg bounds, 174 chg sides, 348 chg coeffs, 0 upgd conss, 3167139 impls, 0 clqs
46.77/46.86	c (round 2) 12632 del vars, 1413352 del conss, 12150 chg bounds, 174 chg sides, 348 chg coeffs, 0 upgd conss, 3167139 impls, 0 clqs
46.97/47.03	c (round 3) 12634 del vars, 1413354 del conss, 12150 chg bounds, 175 chg sides, 350 chg coeffs, 0 upgd conss, 3167543 impls, 0 clqs
48.97/49.01	c (round 4) 12634 del vars, 1413354 del conss, 12150 chg bounds, 175 chg sides, 350 chg coeffs, 139974 upgd conss, 3167543 impls, 0 clqs
59.27/59.37	c    (29.2s) probing: 1000/12850 (7.8%) - 0 fixings, 0 aggregations, 15338 implications, 0 bound changes
71.27/71.39	c    (41.2s) probing: 2000/12850 (15.6%) - 0 fixings, 0 aggregations, 49005 implications, 0 bound changes
71.37/71.40	c    (41.2s) probing: 2001/12850 (15.6%) - 0 fixings, 0 aggregations, 49023 implications, 0 bound changes
71.37/71.40	c    (41.2s) probing aborted: 2000/2000 successive useless probings
71.37/71.41	c presolving (5 rounds):
71.37/71.41	c  12634 deleted vars, 1413354 deleted constraints, 12150 tightened bounds, 0 added holes, 175 changed sides, 350 changed coefficients
71.37/71.41	c  3267599 implications, 0 cliques
71.37/71.41	c presolved problem has 12850 variables (12850 bin, 0 int, 0 impl, 0 cont) and 139974 constraints
71.37/71.41	c  139974 constraints of type <logicor>
71.37/71.41	c transformed objective value is always integral (scale: 1)
71.37/71.41	c Presolving Time: 37.95
71.37/71.41	c - non default parameters ----------------------------------------------------------------------
71.37/71.41	c # SCIP version 1.2.1.2
71.37/71.41	c 
71.37/71.41	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
71.37/71.41	c # [type: int, range: [-1,2147483647], default: -1]
71.37/71.41	c conflict/interconss = 0
71.37/71.41	c 
71.37/71.41	c # should binary conflicts be preferred?
71.37/71.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
71.37/71.41	c conflict/preferbinary = TRUE
71.37/71.41	c 
71.37/71.41	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
71.37/71.41	c # [type: int, range: [-1,2147483647], default: 0]
71.37/71.41	c constraints/agelimit = 1
71.37/71.41	c 
71.37/71.41	c # should enforcement of pseudo solution be disabled?
71.37/71.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
71.37/71.41	c constraints/disableenfops = TRUE
71.37/71.41	c 
71.37/71.41	c # frequency for displaying node information lines
71.37/71.41	c # [type: int, range: [-1,2147483647], default: 100]
71.37/71.41	c display/freq = 10000
71.37/71.41	c 
71.37/71.41	c # maximal time in seconds to run
71.37/71.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
71.37/71.41	c limits/time = 1772.93
71.37/71.41	c 
71.37/71.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
71.37/71.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
71.37/71.41	c limits/memory = 1620
71.37/71.41	c 
71.37/71.41	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
71.37/71.41	c # [type: int, range: [-1,2147483647], default: 1]
71.37/71.41	c lp/solvefreq = 0
71.37/71.41	c 
71.37/71.41	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)
71.37/71.41	c # [type: char, range: {lafpsqd}, default: l]
71.37/71.41	c lp/pricing = a
71.37/71.41	c 
71.37/71.41	c # should presolving try to simplify inequalities
71.37/71.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
71.37/71.41	c constraints/linear/simplifyinequalities = TRUE
71.37/71.41	c 
71.37/71.41	c # should presolving try to simplify knapsacks
71.37/71.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
71.37/71.41	c constraints/knapsack/simplifyinequalities = TRUE
71.37/71.41	c 
71.37/71.41	c # priority of node selection rule <dfs> in standard mode
71.37/71.41	c # [type: int, range: [-536870912,536870911], default: 0]
71.37/71.41	c nodeselection/dfs/stdpriority = 1000000
71.37/71.41	c 
71.37/71.41	c -----------------------------------------------------------------------------------------------
71.37/71.41	c start solving
71.37/71.43	c 
71.37/71.47	o 178
71.37/71.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.37/71.47	c t41.3s|     1 |     0 |     0 |     - | 828M|   0 |   - |  12k| 139k|   0 |   0 |   0 |   0 |   0 |      --      | 1.780000e+02 |    Inf 
189.83/189.96	c   159s|     1 |     0 | 22863 |     - | 890M|   0 |  12k|  12k| 139k|  12k| 139k|   0 |   0 |   0 | 8.000000e+00 | 1.780000e+02 |2125.00%
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665518-1276623055/watcher-2665518-1276623055 -o /tmp/evaluation-result-2665518-1276623055/solver-2665518-1276623055 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665518-1276623055.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.02 1.00 3/106 10551
/proc/meminfo: memFree=1737508/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=9288 CPUtime=0
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1058 0 0 0 0 0 0 0 17 0 1 0 3597671 9510912 978 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 2322 987 371 1374 0 943 0

[startup+0.109548 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 10551
/proc/meminfo: memFree=1737508/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=20732 CPUtime=0.1
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 4132 0 0 0 9 1 0 0 20 0 1 0 3597671 21229568 4052 1992294400 4194304 9819077 140737007634352 18446744073709551615 4525437 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 5183 4052 388 1374 0 3804 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20732

[startup+0.201556 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 10551
/proc/meminfo: memFree=1737508/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=23296 CPUtime=0.19
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 4763 0 0 0 18 1 0 0 20 0 1 0 3597671 23855104 4683 1992294400 4194304 9819077 140737007634352 18446744073709551615 8667812 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 5824 4683 388 1374 0 4445 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23296

[startup+0.301566 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 10551
/proc/meminfo: memFree=1737508/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=24864 CPUtime=0.29
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 5128 0 0 0 28 1 0 0 20 0 1 0 3597671 25460736 5048 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 6216 5048 388 1374 0 4837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24864

[startup+0.701603 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 10551
/proc/meminfo: memFree=1737508/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=32872 CPUtime=0.69
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 7122 0 0 0 67 2 0 0 21 0 1 0 3597671 33660928 7042 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 8218 7042 388 1374 0 6839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32872

[startup+1.50068 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10552
/proc/meminfo: memFree=1703648/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=49032 CPUtime=1.49
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 11158 0 0 0 145 4 0 0 23 0 1 0 3597671 50208768 11078 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 12258 11078 388 1374 0 10879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49032

[startup+3.10083 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10552
/proc/meminfo: memFree=1680956/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=82828 CPUtime=3.09
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 19589 0 0 0 302 7 0 0 25 0 1 0 3597671 84815872 19509 1992294400 4194304 9819077 140737007634352 18446744073709551615 8638112 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 20707 19509 388 1374 0 19328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82828

[startup+6.30112 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10552
/proc/meminfo: memFree=1613748/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=150596 CPUtime=6.29
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 36501 0 0 0 615 14 0 0 25 0 1 0 3597671 154210304 36421 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 37649 36421 388 1374 0 36270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150596

[startup+12.7007 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10552
/proc/meminfo: memFree=1475860/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=282476 CPUtime=12.69
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 69339 0 0 0 1241 28 0 0 25 0 1 0 3597671 289255424 69259 1992294400 4194304 9819077 140737007634352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 70619 69259 388 1374 0 69240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 282476

[startup+25.5019 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10554
/proc/meminfo: memFree=1201200/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=549872 CPUtime=25.48
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 135886 0 0 0 2495 53 0 0 25 0 1 0 3597671 563068928 135806 1992294400 4194304 9819077 140737007634352 18446744073709551615 8668083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10551/statm: 137468 135806 388 1374 0 136089 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 549872

[startup+51.1013 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10554
/proc/meminfo: memFree=661428/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1098988 CPUtime=51.07
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 450969 0 0 0 4746 361 0 0 25 0 1 0 3597671 1125363712 269850 1992294400 4194304 9819077 140737007634352 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 274747 269850 518 1374 0 273368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1098988

[startup+102.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10559
/proc/meminfo: memFree=549704/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1314900 CPUtime=102.26
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 583213 0 0 0 9799 427 0 0 25 0 1 0 3597671 1346457600 297582 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 328725 297582 636 1374 0 327346 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1314900

[startup+162.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 10559
/proc/meminfo: memFree=550944/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1315948 CPUtime=162.25
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 643727 0 0 0 15766 459 0 0 25 0 1 0 3597671 1347530752 297305 1992294400 4194304 9819077 140737007634352 18446744073709551615 7304830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 328987 297305 636 1374 0 327608 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1315948

[startup+222.309 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 10561
/proc/meminfo: memFree=549828/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319840 CPUtime=222.24
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 706487 0 0 0 21733 491 0 0 25 0 1 0 3597671 1351516160 297590 1992294400 4194304 9819077 140737007634352 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329960 297590 652 1374 0 328581 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1319840

[startup+282.302 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 10563
/proc/meminfo: memFree=536684/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319840 CPUtime=282.21
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 748166 0 0 0 27707 514 0 0 25 0 1 0 3597671 1351516160 300899 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329960 300899 652 1374 0 328581 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1319840

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 10565
/proc/meminfo: memFree=548836/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319868 CPUtime=342.2
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 794550 0 0 0 33683 537 0 0 25 0 1 0 3597671 1351544832 297815 1992294400 4194304 9819077 140737007634352 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329967 297815 652 1374 0 328588 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1319868

[startup+402.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 10567
/proc/meminfo: memFree=535692/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319840 CPUtime=402.18
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 828198 0 0 0 39662 556 0 0 25 0 1 0 3597671 1351516160 301165 1992294400 4194304 9819077 140737007634352 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329960 301165 652 1374 0 328581 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1319840

[startup+462.302 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 10567
/proc/meminfo: memFree=538296/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319776 CPUtime=462.17
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 868483 0 0 0 45637 580 0 0 25 0 1 0 3597671 1351450624 300739 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329944 300739 652 1374 0 328565 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1319776

[startup+522.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 10569
/proc/meminfo: memFree=548092/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319716 CPUtime=522.15
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 906877 0 0 0 51615 600 0 0 25 0 1 0 3597671 1351389184 298137 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329929 298137 652 1374 0 328550 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1319716

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10571
/proc/meminfo: memFree=535196/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319488 CPUtime=582.14
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 940758 0 0 0 57596 618 0 0 25 0 1 0 3597671 1351155712 301267 1992294400 4194304 9819077 140737007634352 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329872 301267 652 1374 0 328493 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1319488

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10573
/proc/meminfo: memFree=537180/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319520 CPUtime=642.12
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 981509 0 0 0 63574 638 0 0 25 0 1 0 3597671 1351188480 300937 1992294400 4194304 9819077 140737007634352 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329880 300937 652 1374 0 328501 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1319520

[startup+702.302 s]

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

/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1246335 0 0 0 105424 777 0 0 25 0 1 0 3597671 1350729728 298695 1992294400 4194304 9819077 140737007634352 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329768 298701 652 1374 0 328389 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1319072

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10585
/proc/meminfo: memFree=536312/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319040 CPUtime=1122
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1279091 0 0 0 111406 794 0 0 25 0 1 0 3597671 1350696960 300962 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329760 300962 652 1374 0 328381 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1319040

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10587
/proc/meminfo: memFree=548712/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319008 CPUtime=1181.99
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1316171 0 0 0 117385 814 0 0 25 0 1 0 3597671 1350664192 297883 1992294400 4194304 9819077 140737007634352 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329752 297883 652 1374 0 328373 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1319008

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10589
/proc/meminfo: memFree=546976/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1319012 CPUtime=1241.98
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1346839 0 0 0 123368 830 0 0 25 0 1 0 3597671 1350668288 298377 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329753 298377 652 1374 0 328374 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1319012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10591
/proc/meminfo: memFree=545860/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1301.96
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1377212 0 0 0 129349 847 0 0 25 0 1 0 3597671 1350631424 298753 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 298753 652 1374 0 328365 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1318976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10591
/proc/meminfo: memFree=546480/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318948 CPUtime=1361.94
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1406800 0 0 0 135332 862 0 0 25 0 1 0 3597671 1350602752 298581 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329737 298581 652 1374 0 328358 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1318948

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10593
/proc/meminfo: memFree=537180/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318948 CPUtime=1421.94
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1438126 0 0 0 141314 880 0 0 25 0 1 0 3597671 1350602752 300647 1992294400 4194304 9819077 140737007634352 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329737 300647 652 1374 0 328358 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1318948

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10595
/proc/meminfo: memFree=537180/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318948 CPUtime=1481.91
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1467575 0 0 0 147295 896 0 0 25 0 1 0 3597671 1350602752 300669 1992294400 4194304 9819077 140737007634352 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329737 300669 652 1374 0 328358 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1318948

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10597
/proc/meminfo: memFree=540404/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1541.91
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1496323 0 0 0 153279 912 0 0 25 0 1 0 3597671 1350631424 299893 1992294400 4194304 9819077 140737007634352 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299893 652 1374 0 328365 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1318976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=537428/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1601.88
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1526155 0 0 0 159260 928 0 0 25 0 1 0 3597671 1350631424 300608 1992294400 4194304 9819077 140737007634352 18446744073709551615 6191117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 300608 652 1374 0 328365 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1318976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10599
/proc/meminfo: memFree=541396/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318972 CPUtime=1661.87
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1554189 0 0 0 165243 944 0 0 25 0 1 0 3597671 1350627328 299625 1992294400 4194304 9819077 140737007634352 18446744073709551615 7294708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329743 299625 652 1374 0 328364 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1318972

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10601
/proc/meminfo: memFree=539660/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318972 CPUtime=1721.85
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1583176 0 0 0 171225 960 0 0 25 0 1 0 3597671 1350627328 300240 1992294400 4194304 9819077 140737007634352 18446744073709551615 7300443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329743 300240 652 1374 0 328364 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1318972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10603
/proc/meminfo: memFree=542264/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1781.84
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1611209 0 0 0 177208 976 0 0 25 0 1 0 3597671 1350631424 299392 1992294400 4194304 9819077 140737007634352 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299392 652 1374 0 328365 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1318976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10603
/proc/meminfo: memFree=543380/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1800.04
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1620492 0 0 0 179024 980 0 0 25 0 1 0 3597671 1350631424 299018 1992294400 4194304 9819077 140737007634352 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299018 652 1374 0 328365 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318976

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10551

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10604
/proc/meminfo: memFree=543000/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1801.04
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1620959 0 0 0 179123 981 0 0 25 0 1 0 3597671 1350631424 299485 1992294400 4194304 9819077 140737007634352 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299485 652 1374 0 328365 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 1318976

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10604
/proc/meminfo: memFree=540892/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1801.84
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1621285 0 0 0 179203 981 0 0 25 0 1 0 3597671 1350631424 299811 1992294400 4194304 9819077 140737007634352 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299811 652 1374 0 328365 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1318976

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10604
/proc/meminfo: memFree=540892/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=1318976 CPUtime=1802.04
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4202496 1621409 0 0 0 179223 981 0 0 25 0 1 0 3597671 1350631424 299935 1992294400 4194304 9819077 140737007634352 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10551/statm: 329744 299935 652 1374 0 328365 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1318976

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10604
/proc/meminfo: memFree=540892/2059040 swapFree=4187148/4192956
[pid=10551] ppid=10549 vsize=0 CPUtime=1802.13
/proc/10551/stat : 10551 (pbscip.linux.x8) R 10549 10551 10362 0 -1 4203524 1621409 0 0 0 179223 990 0 0 25 0 1 0 3597671 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10551/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.17
CPU user time (s): 1792.24
CPU system time (s): 9.92949
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1641400

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

runsolver used 2.95355 second user time and 8.5387 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-15 19:30:58
IDJOB=2665518
IDBENCH=2954
IDSOLVER=1168
FILE ID=node048/2665518-1276623055
PBS_JOBID= 11172339
Free space on /tmp= 62400 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665518-1276623055/watcher-2665518-1276623055 -o /tmp/evaluation-result-2665518-1276623055/solver-2665518-1276623055 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665518-1276623055.opb -t 1800 -m 1800

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

MD5SUM BENCH= b1eab2cf935e923f8f1ff9f24be23d02
RANDOM SEED=765709956

node048.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.212
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.42
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.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1738160 kB
Buffers:         35168 kB
Cached:         163152 kB
SwapCached:        280 kB
Active:         136948 kB
Inactive:       115116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738160 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:           61336 kB
Writeback:           0 kB
AnonPages:       53460 kB
Mapped:          15416 kB
Slab:            46988 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181464 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= 62396 MiB
End job on node048 at 2010-06-15 20:01:01