Trace number 2666600

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.09 1803.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666600-1276652437.opb>
0.09/0.19	c original problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.29/0.38	c presolving:
1.39/1.49	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1062646 impls, 0 clqs
2.49/2.50	c    (2.0s) probing: 101/16222 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.49/2.50	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.49/2.51	c presolving (2 rounds):
2.49/2.51	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.49/2.51	c  1062646 implications, 0 cliques
2.49/2.51	c presolved problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
2.49/2.51	c   15722 constraints of type <and>
2.49/2.51	c     500 constraints of type <logicor>
2.49/2.51	c transformed objective value is always integral (scale: 1)
2.49/2.51	c Presolving Time: 1.97
2.49/2.51	c - non default parameters ----------------------------------------------------------------------
2.49/2.51	c # SCIP version 1.2.1.2
2.49/2.51	c 
2.49/2.51	c # frequency for displaying node information lines
2.49/2.51	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.51	c display/freq = 10000
2.49/2.51	c 
2.49/2.51	c # maximal time in seconds to run
2.49/2.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51	c limits/time = 1799.82
2.49/2.51	c 
2.49/2.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51	c limits/memory = 1620
2.49/2.51	c 
2.49/2.51	c # should presolving try to simplify inequalities
2.49/2.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51	c constraints/linear/simplifyinequalities = TRUE
2.49/2.51	c 
2.49/2.51	c # should presolving try to simplify knapsacks
2.49/2.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51	c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.51	c 
2.49/2.51	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.49/2.51	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51	c heuristics/undercover/freq = 0
2.49/2.51	c 
2.49/2.51	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.51	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51	c separating/rapidlearning/freq = 0
2.49/2.51	c 
2.49/2.51	c -----------------------------------------------------------------------------------------------
2.49/2.51	c start solving
2.49/2.52	c 
3.09/3.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.09/3.11	c   2.6s|     1 |     0 |  1000 |     - |  96M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.22	o 65
3.20/3.22	c s 2.7s|     1 |     0 |  1000 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
9.90/9.99	c   8.8s|     1 |     0 |  2500 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|1001 |   0 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
15.39/15.48	c  14.1s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|2003 |   0 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
15.59/15.61	o 58
15.59/15.61	c s14.2s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|2003 |   0 |   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
21.28/21.31	c  19.7s|     1 |     0 |  5500 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  34k|3003 |   0 |   0 | 0.000000e+00 | 5.800000e+01 |    Inf 
21.38/21.44	o 50
21.38/21.44	c s19.9s|     1 |     0 |  5500 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  34k|3003 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
27.39/27.48	c  25.7s|     1 |     0 |  7002 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4009 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
27.58/27.60	o 48
27.58/27.60	c s25.8s|     1 |     0 |  7002 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|4009 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
33.98/34.02	c  32.0s|     1 |     0 |  8503 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  36k|5013 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
34.08/34.15	o 47
34.08/34.15	c s32.1s|     1 |     0 |  8503 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  36k|5013 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
40.77/40.88	c  38.6s|     1 |     0 | 10003 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|6015 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
40.96/41.01	o 45
40.96/41.01	c s38.7s|     1 |     0 | 10003 |     - | 101M|   0 |1000 |  16k|  16k|  16k|  37k|6015 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
47.27/47.37	c  44.8s|     1 |     2 | 10003 |     - | 101M|   0 |1000 |  16k|  16k|  16k|  37k|6015 |   0 |  21 | 0.000000e+00 | 4.500000e+01 |    Inf 
1800.06/1801.00	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-2666600-1276652437/watcher-2666600-1276652437 -o /tmp/evaluation-result-2666600-1276652437/solver-2666600-1276652437 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666600-1276652437.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.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=6692 CPUtime=0
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 822 0 0 0 0 0 0 0 19 0 1 0 6536011 6852608 742 1992294400 4194304 8223781 140734361600448 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 1673 753 338 984 0 686 0

[startup+0.0673209 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=15984 CPUtime=0.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 3297 0 0 0 5 1 0 0 19 0 1 0 6536011 16367616 3217 1992294400 4194304 8223781 140734361600448 18446744073709551615 7163976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 3996 3217 366 984 0 3009 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15984

[startup+0.101326 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=18852 CPUtime=0.09
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 4008 0 0 0 8 1 0 0 20 0 1 0 6536011 19304448 3928 1992294400 4194304 8223781 140734361600448 18446744073709551615 4680976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 4713 3928 366 984 0 3726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18852

[startup+0.301362 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=49996 CPUtime=0.29
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 12129 0 0 0 25 4 0 0 20 0 1 0 6536011 51195904 11670 1992294400 4194304 8223781 140734361600448 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 12499 11670 403 984 0 11512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49996

[startup+0.700436 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=71720 CPUtime=0.69
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 17008 0 0 0 63 6 0 0 21 0 1 0 6536011 73441280 16549 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 17930 16549 427 984 0 16943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71720

[startup+1.50058 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1692304/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=97648 CPUtime=1.49
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 24378 0 0 0 130 19 0 0 23 0 1 0 6536011 99991552 23052 1992294400 4194304 8223781 140734361600448 18446744073709551615 5489894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 24412 23052 447 984 0 23425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97648

[startup+3.10087 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1677920/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=158564 CPUtime=3.09
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 40677 0 0 0 275 34 0 0 25 0 1 0 6536011 162369536 37306 1992294400 4194304 8223781 140734361600448 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 39641 37306 541 984 0 38654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158564

[startup+6.30045 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1622616/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=160248 CPUtime=6.29
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 108467 0 0 0 574 55 0 0 25 0 1 0 6536011 164093952 37468 1992294400 4194304 8223781 140734361600448 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 40062 37468 557 984 0 39075 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160248

[startup+12.7006 s]
/proc/loadavg: 0.94 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1613936/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=169564 CPUtime=12.69
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 176966 0 0 0 1152 117 0 0 25 0 1 0 6536011 173633536 39570 1992294400 4194304 8223781 140734361600448 18446744073709551615 5716525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 42391 39570 574 984 0 41404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169564

[startup+25.5019 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1610340/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=174876 CPUtime=25.49
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 316827 0 0 0 2387 162 0 0 25 0 1 0 6536011 179073024 40394 1992294400 4194304 8223781 140734361600448 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 43719 40394 573 984 0 42732 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 174876

[startup+51.1016 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1607736/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=177456 CPUtime=51.07
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 518635 0 0 0 4866 241 0 0 25 0 1 0 6536011 181714944 41009 1992294400 4194304 8223781 140734361600448 18446744073709551615 6505908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 44364 41009 576 984 0 43377 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 177456

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 13111
/proc/meminfo: memFree=1602280/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=183864 CPUtime=102.25
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 585235 0 0 0 9932 293 0 0 25 0 1 0 6536011 188276736 42435 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 45966 42435 581 984 0 44979 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 183864

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13113
/proc/meminfo: memFree=1598312/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=186084 CPUtime=162.22
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 682867 0 0 0 15861 361 0 0 25 0 1 0 6536011 190550016 43304 1992294400 4194304 8223781 140734361600448 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 46521 43304 581 984 0 45534 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 186084

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13113
/proc/meminfo: memFree=1596452/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188796 CPUtime=222.2
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 751105 0 0 0 21808 412 0 0 25 0 1 0 6536011 193327104 43749 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47199 43749 583 984 0 46212 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 188796

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13115
/proc/meminfo: memFree=1596452/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188796 CPUtime=282.18
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 804396 0 0 0 27768 450 0 0 25 0 1 0 6536011 193327104 43768 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47199 43768 583 984 0 46212 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 188796

[startup+342.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13117
/proc/meminfo: memFree=1595460/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188868 CPUtime=342.15
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 837465 0 0 0 33738 477 0 0 25 0 1 0 6536011 193400832 43928 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47217 43928 583 984 0 46230 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 188868

[startup+402.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13119
/proc/meminfo: memFree=1595212/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188924 CPUtime=402.12
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 861505 0 0 0 39709 503 0 0 25 0 1 0 6536011 193458176 43990 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47231 43990 583 984 0 46244 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 188924

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13121
/proc/meminfo: memFree=1595088/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=462.11
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 881325 0 0 0 45685 526 0 0 25 0 1 0 6536011 193474560 43995 1992294400 4194304 8223781 140734361600448 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 43995 583 984 0 46248 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 188940

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13121
/proc/meminfo: memFree=1595088/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=522.08
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 900562 0 0 0 51658 550 0 0 25 0 1 0 6536011 193474560 44000 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44000 583 984 0 46248 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 188940

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13123
/proc/meminfo: memFree=1594964/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=582.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 921166 0 0 0 57632 574 0 0 25 0 1 0 6536011 193474560 44051 1992294400 4194304 8223781 140734361600448 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44051 583 984 0 46248 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 188940

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13125
/proc/meminfo: memFree=1594964/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=642.04
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 940742 0 0 0 63605 599 0 0 25 0 1 0 6536011 193474560 44015 1992294400 4194304 8223781 140734361600448 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44015 583 984 0 46248 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 188940

[startup+702.301 s]

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

/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1174315 0 0 0 105359 828 0 0 25 0 1 0 6536011 196833280 44566 1992294400 4194304 8223781 140734361600448 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48055 44566 583 984 0 47068 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 192220

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 13137
/proc/meminfo: memFree=1591492/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=193092 CPUtime=1121.85
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1266701 0 0 0 111290 895 0 0 25 0 1 0 6536011 197726208 44872 1992294400 4194304 8223781 140734361600448 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48273 44872 583 984 0 47286 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 193092

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13139
/proc/meminfo: memFree=1590748/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=193060 CPUtime=1181.83
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1373941 0 0 0 117215 968 0 0 25 0 1 0 6536011 197693440 45014 1992294400 4194304 8223781 140734361600448 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48265 45014 583 984 0 47278 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 193060

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13150
/proc/meminfo: memFree=1588888/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=194544 CPUtime=1241.79
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1501350 0 0 0 123131 1048 0 0 25 0 1 0 6536011 199213056 45422 1992294400 4194304 8223781 140734361600448 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48636 45422 583 984 0 47649 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 194544

[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 13652
/proc/meminfo: memFree=1579284/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=195984 CPUtime=1301.56
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1662137 0 0 0 129010 1146 0 0 25 0 1 0 6536011 200687616 45487 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48996 45487 583 984 0 48009 0
Current children cumulated CPU time (s) 1301.56
Current children cumulated vsize (KiB) 195984

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13654
/proc/meminfo: memFree=1579532/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=196000 CPUtime=1361.52
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1767020 0 0 0 134932 1220 0 0 25 0 1 0 6536011 200704000 45516 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49000 45516 583 984 0 48013 0
Current children cumulated CPU time (s) 1361.52
Current children cumulated vsize (KiB) 196000

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13654
/proc/meminfo: memFree=1576308/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=199292 CPUtime=1421.51
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1915783 0 0 0 140848 1303 0 0 25 0 1 0 6536011 204075008 46307 1992294400 4194304 8223781 140734361600448 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49823 46307 583 984 0 48836 0
Current children cumulated CPU time (s) 1421.51
Current children cumulated vsize (KiB) 199292

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13656
/proc/meminfo: memFree=1576432/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=198908 CPUtime=1481.48
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2071403 0 0 0 146759 1389 0 0 25 0 1 0 6536011 203681792 46253 1992294400 4194304 8223781 140734361600448 18446744073709551615 6559356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49727 46253 583 984 0 48740 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 198908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13658
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201192 CPUtime=1541.45
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2265894 0 0 0 152654 1491 0 0 25 0 1 0 6536011 206020608 46812 1992294400 4194304 8223781 140734361600448 18446744073709551615 6569353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50298 46812 583 984 0 49311 0
Current children cumulated CPU time (s) 1541.45
Current children cumulated vsize (KiB) 201192

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13660
/proc/meminfo: memFree=1574208/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201592 CPUtime=1601.43
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2468512 0 0 0 158541 1602 0 0 25 0 1 0 6536011 206430208 46882 1992294400 4194304 8223781 140734361600448 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50398 46882 583 984 0 49411 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 201592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13662
/proc/meminfo: memFree=1574580/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=200888 CPUtime=1661.41
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2572227 0 0 0 164475 1666 0 0 25 0 1 0 6536011 205709312 46759 1992294400 4194304 8223781 140734361600448 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50222 46759 583 984 0 49235 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 200888

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13662
/proc/meminfo: memFree=1574084/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201512 CPUtime=1721.39
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2724744 0 0 0 170394 1745 0 0 25 0 1 0 6536011 206348288 46845 1992294400 4194304 8223781 140734361600448 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50378 46845 583 984 0 49391 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 201512

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13664
/proc/meminfo: memFree=1574332/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201148 CPUtime=1781.37
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2909314 0 0 0 176293 1844 0 0 25 0 1 0 6536011 205975552 46795 1992294400 4194304 8223781 140734361600448 18446744073709551615 6591263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50287 46795 583 984 0 49300 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 201148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13664
/proc/meminfo: memFree=1574456/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201280 CPUtime=1800.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2965346 0 0 0 178130 1876 0 0 25 0 1 0 6536011 206110720 46786 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50320 46786 583 984 0 49333 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 201280

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13106

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 13664
/proc/meminfo: memFree=1574456/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201516 CPUtime=1800.46
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2965599 0 0 0 178169 1877 0 0 25 0 1 0 6536011 206352384 46838 1992294400 4194304 8223781 140734361600448 18446744073709551615 6567192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50379 46838 583 984 0 49392 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 201516

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201572 CPUtime=1801.25
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2966797 0 0 0 178248 1877 0 0 25 0 1 0 6536011 206409728 46842 1992294400 4194304 8223781 140734361600448 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50393 46842 583 984 0 49406 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 201572

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201368 CPUtime=1801.65
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2967326 0 0 0 178288 1877 0 0 25 0 1 0 6536011 206200832 46786 1992294400 4194304 8223781 140734361600448 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50342 46786 583 984 0 49355 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 201368

[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201624 CPUtime=1802.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2967601 0 0 0 178328 1878 0 0 25 0 1 0 6536011 206462976 46852 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50406 46852 583 984 0 49419 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 201624

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.03
CPU time (s): 1802.09
CPU user time (s): 1783.29
CPU system time (s): 18.8001
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 261940

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

runsolver used 2.94955 second user time and 8.5617 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-16 03:40:37
IDJOB=2666600
IDBENCH=48113
IDSOLVER=1169
FILE ID=node044/2666600-1276652437
PBS_JOBID= 11172426
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.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-2666600-1276652437/watcher-2666600-1276652437 -o /tmp/evaluation-result-2666600-1276652437/solver-2666600-1276652437 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666600-1276652437.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=1515173753

node044.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.266
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.53
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.266
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:       1771332 kB
Buffers:         26316 kB
Cached:         136860 kB
SwapCached:          0 kB
Active:         122856 kB
Inactive:        99756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1771332 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:       59448 kB
Mapped:          15452 kB
Slab:            43204 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179832 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= 62584 MiB
End job on node044 at 2010-06-16 04:10:40