Trace number 2666959

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.23 1802.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark483
Best CPU time to get the best result obtained on this benchmark1796.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494728
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494728
Number of bits of the biggest sum of numbers19
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-2666959-1276379007.opb>
10.79/10.85	c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
10.79/10.85	c problem read
10.79/10.85	c presolving settings loaded
13.79/13.82	c presolving:
25.68/25.70	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
31.08/31.19	c    (18.0s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
31.08/31.19	c    (18.0s) probing aborted: 100/100 successive totally useless probings
31.08/31.19	c presolving (2 rounds):
31.08/31.19	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
31.08/31.19	c  1313400 implications, 0 cliques
31.08/31.19	c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
31.08/31.19	c  656900 constraints of type <logicor>
31.08/31.19	c transformed objective value is always integral (scale: 1)
31.08/31.19	c Presolving Time: 16.01
31.08/31.19	c - non default parameters ----------------------------------------------------------------------
31.08/31.19	c # SCIP version 1.2.1.2
31.08/31.19	c 
31.08/31.19	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
31.08/31.19	c # [type: int, range: [-1,2147483647], default: -1]
31.08/31.19	c conflict/interconss = 0
31.08/31.19	c 
31.08/31.19	c # should binary conflicts be preferred?
31.08/31.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.08/31.19	c conflict/preferbinary = TRUE
31.08/31.19	c 
31.08/31.19	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
31.08/31.19	c # [type: int, range: [-1,2147483647], default: 0]
31.08/31.19	c constraints/agelimit = 1
31.08/31.19	c 
31.08/31.19	c # should enforcement of pseudo solution be disabled?
31.08/31.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.08/31.19	c constraints/disableenfops = TRUE
31.08/31.19	c 
31.08/31.19	c # frequency for displaying node information lines
31.08/31.19	c # [type: int, range: [-1,2147483647], default: 100]
31.08/31.19	c display/freq = 10000
31.08/31.19	c 
31.08/31.19	c # maximal time in seconds to run
31.08/31.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.08/31.19	c limits/time = 1789.16
31.08/31.19	c 
31.08/31.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
31.08/31.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.08/31.19	c limits/memory = 1620
31.08/31.19	c 
31.08/31.19	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
31.08/31.19	c # [type: int, range: [-1,2147483647], default: 1]
31.08/31.19	c lp/solvefreq = 0
31.08/31.19	c 
31.08/31.19	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
31.08/31.19	c # [type: char, range: {lafpsqd}, default: l]
31.08/31.19	c lp/pricing = a
31.08/31.19	c 
31.08/31.19	c # should presolving try to simplify inequalities
31.08/31.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.08/31.19	c constraints/linear/simplifyinequalities = TRUE
31.08/31.19	c 
31.08/31.19	c # should presolving try to simplify knapsacks
31.08/31.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.08/31.19	c constraints/knapsack/simplifyinequalities = TRUE
31.08/31.19	c 
31.08/31.19	c # priority of node selection rule <dfs> in standard mode
31.08/31.19	c # [type: int, range: [-536870912,536870911], default: 0]
31.08/31.19	c nodeselection/dfs/stdpriority = 1000000
31.08/31.19	c 
31.08/31.19	c -----------------------------------------------------------------------------------------------
31.08/31.19	c start solving
31.18/31.24	c 
72.27/72.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
72.27/72.40	c  58.5s|     1 |     0 |  1132 |     - | 735M|   0 | 274 |  10k| 656k|  10k| 656k|   0 |   0 |   0 | 1.972643e+02 |      --      |    Inf 
769.69/769.94	c   711s|     1 |     0 |  7383 |     - | 736M|   0 | 273 |  10k| 656k|  10k| 656k|  11 |   0 |   0 | 2.016578e+02 |      --      |    Inf 
933.64/933.92	c   863s|     1 |     0 |  7795 |     - | 749M|   0 | 288 |  10k| 656k|  10k| 656k|  23 |   0 |   0 | 2.073260e+02 |      --      |    Inf 
1226.24/1226.62	c  1115s|     1 |     0 |  8179 |     - | 749M|   0 | 288 |  10k| 656k|  10k| 656k|  33 |   0 |   0 | 2.123382e+02 |      --      |    Inf 
1575.33/1575.85	c  1411s|     1 |     0 |  8542 |     - | 749M|   0 | 304 |  10k| 656k|  10k| 656k|  41 |   0 |   0 | 2.160911e+02 |      --      |    Inf 
1800.09/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666959-1276379007/watcher-2666959-1276379007 -o /tmp/evaluation-result-2666959-1276379007/solver-2666959-1276379007 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666959-1276379007.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: 0.92 0.98 0.99 3/106 13016
/proc/meminfo: memFree=1762060/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=6696 CPUtime=0
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 984 0 0 0 0 0 0 0 21 0 1 0 11556215 6856704 904 1992294400 4194304 8223781 140733685637488 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 1674 904 343 984 0 687 0

[startup+0.051257 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13016
/proc/meminfo: memFree=1762060/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=17328 CPUtime=0.04
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 3659 0 0 0 3 1 0 0 21 0 1 0 11556215 17743872 3575 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 4332 3575 367 984 0 3345 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17328

[startup+0.101261 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13016
/proc/meminfo: memFree=1762060/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=18680 CPUtime=0.09
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 3982 0 0 0 8 1 0 0 21 0 1 0 11556215 19128320 3896 1992294400 4194304 8223781 140733685637488 18446744073709551615 4361608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 4670 3896 365 984 0 3683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18680

[startup+0.301276 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13016
/proc/meminfo: memFree=1762060/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=22708 CPUtime=0.29
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 5005 0 0 0 28 1 0 0 21 0 1 0 11556215 23252992 4919 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 5677 4919 365 984 0 4690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22708

[startup+0.70131 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13016
/proc/meminfo: memFree=1762060/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=31600 CPUtime=0.69
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 7193 0 0 0 67 2 0 0 22 0 1 0 11556215 32358400 7107 1992294400 4194304 8223781 140733685637488 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 7900 7107 365 984 0 6913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31600

[startup+1.50037 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13017
/proc/meminfo: memFree=1729192/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=48192 CPUtime=1.49
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 11342 0 0 0 145 4 0 0 25 0 1 0 11556215 49348608 11256 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 12048 11256 365 984 0 11061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48192

[startup+3.1005 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 13017
/proc/meminfo: memFree=1704144/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=81416 CPUtime=3.09
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 19642 0 0 0 302 7 0 0 25 0 1 0 11556215 83369984 19556 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 20354 19556 365 984 0 19367 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81416

[startup+6.30075 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 13017
/proc/meminfo: memFree=1637928/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=147708 CPUtime=6.29
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 36221 0 0 0 615 14 0 0 25 0 1 0 11556215 151252992 36135 1992294400 4194304 8223781 140733685637488 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13016/statm: 36927 36135 365 984 0 35940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147708

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 13019
/proc/meminfo: memFree=1283784/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=577148 CPUtime=12.69
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 143956 0 0 0 1217 52 0 0 25 0 1 0 11556215 590999552 142852 1992294400 4194304 8223781 140733685637488 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 144287 142852 390 984 0 143300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 577148

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 13019
/proc/meminfo: memFree=1106712/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=665352 CPUtime=25.48
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 236600 0 0 0 2331 217 0 0 25 0 1 0 11556215 681320448 163868 1992294400 4194304 8223781 140733685637488 18446744073709551615 4333587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 166338 163868 444 984 0 165351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 665352

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 13019
/proc/meminfo: memFree=535816/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1310272 CPUtime=51.08
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 442603 0 0 0 4790 318 0 0 25 0 1 0 11556215 1341718528 306350 1992294400 4194304 8223781 140733685637488 18446744073709551615 6359593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 327568 306350 527 984 0 326581 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310272

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 13021
/proc/meminfo: memFree=502460/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1348072 CPUtime=102.27
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 461303 0 0 0 9902 325 0 0 25 0 1 0 11556215 1380425728 314745 1992294400 4194304 8223781 140733685637488 18446744073709551615 6503378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 337018 314745 540 984 0 336031 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1348072

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13023
/proc/meminfo: memFree=493036/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1358420 CPUtime=162.25
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 478613 0 0 0 15890 335 0 0 25 0 1 0 11556215 1391022080 317072 1992294400 4194304 8223781 140733685637488 18446744073709551615 6569367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 339605 317072 540 984 0 338618 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1358420

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13023
/proc/meminfo: memFree=492416/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1359356 CPUtime=222.23
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 492967 0 0 0 21881 342 0 0 25 0 1 0 11556215 1391980544 317210 1992294400 4194304 8223781 140733685637488 18446744073709551615 6565940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 339839 317210 540 984 0 338852 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1359356

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13025
/proc/meminfo: memFree=491548/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1359796 CPUtime=282.22
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 505968 0 0 0 27872 350 0 0 25 0 1 0 11556215 1392431104 317421 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 339949 317421 540 984 0 338962 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1359796

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13027
/proc/meminfo: memFree=490928/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1360900 CPUtime=342.21
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 524030 0 0 0 33861 360 0 0 25 0 1 0 11556215 1393561600 317569 1992294400 4194304 8223781 140733685637488 18446744073709551615 6563230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 340225 317569 540 984 0 339238 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1360900

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13029
/proc/meminfo: memFree=490308/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1362500 CPUtime=402.19
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 539188 0 0 0 39851 368 0 0 25 0 1 0 11556215 1395200000 317721 1992294400 4194304 8223781 140733685637488 18446744073709551615 6358980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 340625 317721 540 984 0 339638 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1362500

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13031
/proc/meminfo: memFree=509900/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1332780 CPUtime=462.16
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 866715 0 0 0 45737 479 0 0 25 0 1 0 11556215 1364766720 311953 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 333195 311963 547 984 0 332208 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1332780

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13031
/proc/meminfo: memFree=512504/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1327644 CPUtime=522.15
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 4308695 0 0 0 50525 1690 0 0 25 0 1 0 11556215 1359507456 311529 1992294400 4194304 8223781 140733685637488 18446744073709551615 6043682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 331911 311529 547 984 0 330924 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1327644

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13033
/proc/meminfo: memFree=508536/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1335284 CPUtime=582.13
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 7746488 0 0 0 55324 2889 0 0 25 0 1 0 11556215 1367330816 312054 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 333821 312066 548 984 0 332834 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1335284

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13035
/proc/meminfo: memFree=500972/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1343056 CPUtime=642.13
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 11166181 0 0 0 60142 4071 0 0 25 0 1 0 11556215 1375289344 315023 1992294400 4194304 8223781 140733685637488 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 335764 314744 548 984 0 334777 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1343056

[startup+702.302 s]

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

/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 24114486 0 0 0 97575 8623 0 0 25 0 1 0 11556215 1517023232 337500 1992294400 4194304 8223781 140733685637488 18446744073709551615 7257565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370367 337500 570 984 0 369380 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1481468

[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/107 13056
/proc/meminfo: memFree=411320/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1481468 CPUtime=1121.96
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 27614689 0 0 0 102286 9910 0 0 25 0 1 0 11556215 1517023232 336235 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370367 336248 570 984 0 369380 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1481468

[startup+1182.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 13058
/proc/meminfo: memFree=414544/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1476332 CPUtime=1181.94
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 27989598 0 0 0 108148 10046 0 0 25 0 1 0 11556215 1511763968 336216 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 369083 336216 570 984 0 368096 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1476332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 13060
/proc/meminfo: memFree=408592/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1481136 CPUtime=1241.93
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 28901422 0 0 0 113820 10373 0 0 25 0 1 0 11556215 1516683264 337858 1992294400 4194304 8223781 140733685637488 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370284 337858 570 984 0 369297 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1481136

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13062
/proc/meminfo: memFree=408840/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1481136 CPUtime=1301.92
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 32409310 0 0 0 118580 11612 0 0 25 0 1 0 11556215 1516683264 337858 1992294400 4194304 8223781 140733685637488 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370284 337858 570 984 0 369297 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1481136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13064
/proc/meminfo: memFree=409072/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1481136 CPUtime=1361.89
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 35912062 0 0 0 123314 12875 0 0 25 0 1 0 11556215 1516683264 337858 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370284 337858 570 984 0 369297 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1481136

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13064
/proc/meminfo: memFree=408716/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1481136 CPUtime=1421.88
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 39413530 0 0 0 128034 14154 0 0 25 0 1 0 11556215 1516683264 337858 1992294400 4194304 8223781 140733685637488 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370284 337858 570 984 0 369297 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1481136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13066
/proc/meminfo: memFree=413304/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1476000 CPUtime=1481.86
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 42793018 0 0 0 132800 15386 0 0 25 0 1 0 11556215 1511424000 336574 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 369000 336574 570 984 0 368013 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1476000

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13068
/proc/meminfo: memFree=413180/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1476000 CPUtime=1541.84
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 42793018 0 0 0 138798 15386 0 0 25 0 1 0 11556215 1511424000 336574 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 369000 336574 570 984 0 368013 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1476000

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13070
/proc/meminfo: memFree=406608/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1483056 CPUtime=1601.82
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 44332513 0 0 0 144246 15936 0 0 25 0 1 0 11556215 1518649344 338367 1992294400 4194304 8223781 140733685637488 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370764 338367 570 984 0 369777 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1483056

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13072
/proc/meminfo: memFree=404624/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1485104 CPUtime=1661.81
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 47832489 0 0 0 148997 17184 0 0 25 0 1 0 11556215 1520746496 338159 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 371276 338168 570 984 0 370289 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1485104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13072
/proc/meminfo: memFree=403508/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1486128 CPUtime=1721.79
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51334933 0 0 0 153744 18435 0 0 25 0 1 0 11556215 1521795072 339135 1992294400 4194304 8223781 140733685637488 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 371532 339135 570 984 0 370545 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1486128

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13074
/proc/meminfo: memFree=407848/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1480992 CPUtime=1781.78
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51772777 0 0 0 159587 18591 0 0 25 0 1 0 11556215 1516535808 337851 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370248 337851 570 984 0 369261 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1480992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13074
/proc/meminfo: memFree=407848/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1480992 CPUtime=1800.09
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51772777 0 0 0 161418 18591 0 0 25 0 1 0 11556215 1516535808 337851 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370248 337851 570 984 0 369261 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1480992

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13016

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13074
/proc/meminfo: memFree=407848/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1480992 CPUtime=1800.88
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51772777 0 0 0 161497 18591 0 0 25 0 1 0 11556215 1516535808 337851 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370248 337851 570 984 0 369261 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 1480992

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13075
/proc/meminfo: memFree=407716/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1480992 CPUtime=1801.68
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51772777 0 0 0 161577 18591 0 0 25 0 1 0 11556215 1516535808 337851 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370248 337851 570 984 0 369261 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 1480992

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13075
/proc/meminfo: memFree=407716/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=1480992 CPUtime=1802.08
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4202496 51772777 0 0 0 161617 18591 0 0 25 0 1 0 11556215 1516535808 337851 1992294400 4194304 8223781 140733685637488 18446744073709551615 5743088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13016/statm: 370248 337851 570 984 0 369261 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1480992

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13075
/proc/meminfo: memFree=407716/2059040 swapFree=4136596/4192956
[pid=13016] ppid=13014 vsize=0 CPUtime=1802.17
/proc/13016/stat : 13016 (pbscip.linux.x8) R 13014 13016 12814 0 -1 4203524 51772777 0 0 0 161618 18599 0 0 25 0 1 0 11556215 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/13016/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.23
CPU user time (s): 1616.19
CPU system time (s): 186.046
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1561524

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

runsolver used 2.99654 second user time and 8.49971 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-12 23:43:28
IDJOB=2666959
IDBENCH=1968
IDSOLVER=1169
FILE ID=node026/2666959-1276379007
PBS_JOBID= 11173238
Free space on /tmp= 62492 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/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.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-2666959-1276379007/watcher-2666959-1276379007 -o /tmp/evaluation-result-2666959-1276379007/solver-2666959-1276379007 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666959-1276379007.opb -t 1800 -m 1800

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=1157074269

node026.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.201
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.40
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.201
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:       1762588 kB
Buffers:         61956 kB
Cached:         142444 kB
SwapCached:      22412 kB
Active:         123636 kB
Inactive:       106112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762588 kB
SwapTotal:     4192956 kB
SwapFree:      4136596 kB
Dirty:           21340 kB
Writeback:           0 kB
AnonPages:       10704 kB
Mapped:           9248 kB
Slab:            45012 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181328 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= 62488 MiB
End job on node026 at 2010-06-13 00:13:31