Trace number 1869597

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.24 1802.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
MD5SUM7a51facc2b0ceeb02915874508a30079
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark41.2657
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved YES
Number of variables21756
Total number of constraints1266468
Number of constraints which are clauses1262688
Number of constraints which are cardinality constraints (but not clauses)3780
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
Number of terms in the objective function 168
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 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 166
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 334
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 

19.19/19.28	c SCIP version 1.1.0.7
19.19/19.28	c LP-Solver Clp 1.8.2
19.19/19.28	c user parameter file <scip.set> not found - using default parameters
19.19/19.28	c read problem <HOME/instance-1869597-1245180326.opb>
19.19/19.28	c original problem has 21756 variables (21756 bin, 0 int, 0 impl, 0 cont) and 1266468 constraints
22.69/22.74	c start presolving problem
22.69/22.74	c presolving:
32.68/32.77	c (round 1) 9584 del vars, 1131751 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 0 upgd conss, 2936383 impls, 0 clqs
32.88/32.93	c (round 2) 9587 del vars, 1136608 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 0 upgd conss, 2936383 impls, 0 clqs
34.37/34.42	c (round 3) 9587 del vars, 1136608 del conss, 9140 chg bounds, 162 chg sides, 324 chg coeffs, 129860 upgd conss, 2936383 impls, 0 clqs
43.96/44.06	c    (22.6s) probing: 1000/12169 (8.2%) - 0 fixings, 0 aggregations, 8630 implications, 0 bound changes
55.36/55.49	c    (34.0s) probing: 2000/12169 (16.4%) - 0 fixings, 0 aggregations, 30913 implications, 0 bound changes
55.46/55.51	c    (34.0s) probing: 2001/12169 (16.4%) - 0 fixings, 0 aggregations, 30943 implications, 0 bound changes
55.46/55.51	c    (34.0s) probing aborted: 2000/2000 successive useless probings
55.46/55.51	c presolving (4 rounds):
55.46/55.51	c  9587 deleted vars, 1136608 deleted constraints, 9140 tightened bounds, 0 added holes, 162 changed sides, 324 changed coefficients
55.46/55.51	c  3001011 implications, 0 cliques
55.46/55.51	c presolved problem has 12169 variables (12169 bin, 0 int, 0 impl, 0 cont) and 129860 constraints
55.46/55.51	c  129860 constraints of type <logicor>
55.46/55.51	c transformed objective value is always integral (scale: 1)
55.46/55.51	c Presolving Time: 31.38
55.46/55.52	c strange?!, PURESAT with obj
55.46/55.52	c -----------------------------------------------------------------------------------------------
55.46/55.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.46/55.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.46/55.52	c limits/memory = c 1620
55.46/55.52	c # maximal time in seconds to run
55.46/55.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.46/55.52	c limits/time = c 1791
55.46/55.52	c # frequency for displaying node information lines
55.46/55.52	c # [type: int, range: [-1,2147483647], default: 100]
55.46/55.52	c display/freq = c 10000
55.46/55.52	c -----------------------------------------------------------------------------------------------
55.46/55.52	c start solving problem
55.46/55.52	c 
167.20/167.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
167.20/167.30	c   146s|     1 |     0 | 20968 | 747M|   0 |  11k|  12k| 129k| 129k|  12k| 129k|   0 |   0 |   0 | 5.000000e+00 |      --      |    Inf

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-1869597-1245180326/watcher-1869597-1245180326 -o /tmp/evaluation-result-1869597-1245180326/solver-1869597-1245180326 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869597-1245180326.opb 

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.07 1.03 1.00 3/64 4070
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=5812 CPUtime=0
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 185633333 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 1453 502 332 1256 0 192 0

[startup+0.024937 s]
/proc/loadavg: 1.07 1.03 1.00 3/64 4070
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=12260 CPUtime=0.01
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 2028 0 0 0 1 0 0 0 18 0 1 0 185633333 12554240 2012 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 3065 2012 378 1256 0 1804 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12260

[startup+0.101953 s]
/proc/loadavg: 1.07 1.03 1.00 3/64 4070
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=20124 CPUtime=0.09
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 3993 0 0 0 8 1 0 0 18 0 1 0 185633333 20606976 3977 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 5031 3977 378 1256 0 3770 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20124

[startup+0.301995 s]
/proc/loadavg: 1.07 1.03 1.00 3/64 4070
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=24928 CPUtime=0.29
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 5218 0 0 0 27 2 0 0 19 0 1 0 185633333 25526272 5202 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 6232 5202 378 1256 0 4971 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24928

[startup+0.701079 s]
/proc/loadavg: 1.07 1.03 1.00 3/64 4070
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=34128 CPUtime=0.69
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 7494 0 0 0 66 3 0 0 22 0 1 0 185633333 34947072 7478 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 8532 7478 378 1256 0 7271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34128

[startup+1.50125 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 4071
/proc/meminfo: memFree=1760736/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=53012 CPUtime=1.49
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 12171 0 0 0 143 6 0 0 25 0 1 0 185633333 54284288 12155 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 13253 12164 378 1256 0 11992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53012

[startup+3.10159 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 4071
/proc/meminfo: memFree=1734880/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=90372 CPUtime=3.08
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 21496 0 0 0 298 10 0 0 25 0 1 0 185633333 92540928 21480 1992294400 4194304 9342243 548682068736 18446744073709551615 5542008 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 22593 21480 378 1256 0 21332 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 90372

[startup+6.30226 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 4071
/proc/meminfo: memFree=1655272/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=168096 CPUtime=6.29
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 40852 0 0 0 609 20 0 0 25 0 1 0 185633333 172130304 40836 1992294400 4194304 9342243 548682068736 18446744073709551615 4486084 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 42024 40836 378 1256 0 40763 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 168096

[startup+12.7016 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 4071
/proc/meminfo: memFree=1497704/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=321640 CPUtime=12.68
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 79045 0 0 0 1231 37 0 0 25 0 1 0 185633333 329359360 79029 1992294400 4194304 9342243 548682068736 18446744073709551615 8223027 0 0 4096 0 0 0 0 17 1 0 0
/proc/4070/statm: 80410 79029 378 1256 0 79149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 321640

[startup+25.5013 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 4071
/proc/meminfo: memFree=529448/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1283156 CPUtime=25.48
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 317012 0 0 0 2390 158 0 0 25 0 1 0 185633333 1313951744 316642 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 320789 316642 473 1256 0 319528 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1283156

[startup+51.1017 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 4071
/proc/meminfo: memFree=429480/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1382560 CPUtime=51.06
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 345308 0 0 0 4834 272 0 0 25 0 1 0 185633333 1415741440 341422 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 345640 341422 495 1256 0 344379 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1382560

[startup+102.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 4071
/proc/meminfo: memFree=438952/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1371264 CPUtime=102.23
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 345486 0 0 0 9947 276 0 0 25 0 1 0 185633333 1404174336 339126 1992294400 4194304 9342243 548682068736 18446744073709551615 6961589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 342816 339126 616 1256 0 341555 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1371264

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4071
/proc/meminfo: memFree=439016/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1371264 CPUtime=162.2
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 345486 0 0 0 15942 278 0 0 25 0 1 0 185633333 1404174336 339126 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 342816 339126 616 1256 0 341555 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1371264

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4071
/proc/meminfo: memFree=434920/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1398004 CPUtime=222.18
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 346540 0 0 0 21939 279 0 0 25 0 1 0 185633333 1431556096 340180 1992294400 4194304 9342243 548682068736 18446744073709551615 6952118 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349501 340180 643 1256 0 348240 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1398004

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434856/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=282.17
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347570 0 0 0 27936 281 0 0 25 0 1 0 185633333 1431531520 340183 1992294400 4194304 9342243 548682068736 18446744073709551615 6498454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340183 643 1256 0 348234 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 1397980

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434792/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=342.13
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347570 0 0 0 33932 281 0 0 25 0 1 0 185633333 1431531520 340183 1992294400 4194304 9342243 548682068736 18446744073709551615 6018134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340183 643 1256 0 348234 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1397980

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434728/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=402.12
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 39930 282 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6975348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 1397980

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434728/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=462.1
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 45927 283 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1397980

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434664/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=522.07
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 51924 283 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6975359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 1397980

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434664/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=582.05
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 57921 284 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1397980

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4071
/proc/meminfo: memFree=434600/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=642.04
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 63919 285 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1397980

[startup+702.302 s]

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

/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 111893 293 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1397980

[startup+1182.3 s]
/proc/loadavg: 1.13 1.06 1.02 2/65 4071
/proc/meminfo: memFree=434536/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1181.83
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 117890 293 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1397980

[startup+1242.3 s]
/proc/loadavg: 1.10 1.06 1.02 2/65 4071
/proc/meminfo: memFree=434472/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1241.82
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 123888 294 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1397980

[startup+1302.3 s]
/proc/loadavg: 1.08 1.06 1.02 2/65 4071
/proc/meminfo: memFree=434408/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1301.79
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 129885 294 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6941472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1397980

[startup+1362.3 s]
/proc/loadavg: 1.07 1.06 1.02 2/65 4071
/proc/meminfo: memFree=434408/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1361.76
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 135882 294 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6504865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1397980

[startup+1422.31 s]
/proc/loadavg: 1.02 1.05 1.01 2/65 4071
/proc/meminfo: memFree=434344/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1421.75
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 141880 295 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6938234 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1397980

[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 4071
/proc/meminfo: memFree=434344/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1481.72
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 147876 296 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1397980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 4071
/proc/meminfo: memFree=434280/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1541.7
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 153873 297 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6498454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1397980

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4071
/proc/meminfo: memFree=434280/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1601.68
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 159871 297 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1397980

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4073
/proc/meminfo: memFree=433960/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1661.66
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 165868 298 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6498491 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1397980

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4073
/proc/meminfo: memFree=433960/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1721.64
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 171865 299 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6964056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1397980

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4073
/proc/meminfo: memFree=434088/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1781.61
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 177862 299 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6498487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1397980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4073
/proc/meminfo: memFree=434088/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1800.02
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 179702 300 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6951745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1397980

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4070

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4073
/proc/meminfo: memFree=434088/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1800.71
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 179771 300 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1397980

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4074
/proc/meminfo: memFree=434080/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1801.51
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 179851 300 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6498543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 1397980

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4074
/proc/meminfo: memFree=434080/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=1397980 CPUtime=1801.91
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4194304 347582 0 0 0 179891 300 0 0 25 0 1 0 185633333 1431531520 340195 1992294400 4194304 9342243 548682068736 18446744073709551615 6975333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 349495 340195 643 1256 0 348234 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 1397980

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4074
/proc/meminfo: memFree=1022184/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=0 CPUtime=1802.11
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4195332 347582 0 0 0 179902 309 0 0 25 0 1 0 185633333 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4074
/proc/meminfo: memFree=1022184/2055920 swapFree=4192812/4192956
[pid=4070] ppid=4068 vsize=0 CPUtime=1802.21
/proc/4070/stat : 4070 (pbscip.linux.x8) R 4068 4070 3910 0 -1 4195332 347582 0 0 0 179902 319 0 0 25 0 1 0 185633333 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4070/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.92
CPU time (s): 1802.24
CPU user time (s): 1799.03
CPU system time (s): 3.21151
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1398004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 3.21151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347582
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= 2
involuntary context switches= 2392

runsolver used 1.92271 second user time and 4.13137 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-16 21:25:28
IDJOB=1869597
IDBENCH=2953
IDSOLVER=684
FILE ID=node13/1869597-1245180326
PBS_JOBID= 9363931
Free space on /tmp= 66228 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869597-1245180326/watcher-1869597-1245180326 -o /tmp/evaluation-result-1869597-1245180326/solver-1869597-1245180326 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869597-1245180326.opb

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

MD5SUM BENCH= 7a51facc2b0ceeb02915874508a30079
RANDOM SEED=1768116113

node13.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1794824 kB
Buffers:         36572 kB
Cached:         144640 kB
SwapCached:        144 kB
Active:          91980 kB
Inactive:       103324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1794824 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           56656 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            51640 kB
Committed_AS:   168536 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66216 MiB
End job on node13 at 2009-06-16 21:55:31