Trace number 2666640

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.06 1802.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
MD5SUM3feaf3974ec1ffdea6d6674c11d1a071
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
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)15754
Sum of products size (including duplicates)31508
Number of different products15754
Sum of products size31508

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-2666640-1276657434.opb>
0.09/0.17	c original problem has 16254 variables (16254 bin, 0 int, 0 impl, 0 cont) and 16254 constraints
0.09/0.17	c problem read
0.09/0.18	c presolving settings loaded
0.29/0.36	c presolving:
1.39/1.42	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1067522 impls, 0 clqs
2.39/2.41	c    (2.0s) probing: 101/16254 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.41	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.41	c presolving (2 rounds):
2.39/2.41	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.41	c  1067522 implications, 0 cliques
2.39/2.41	c presolved problem has 16254 variables (16254 bin, 0 int, 0 impl, 0 cont) and 16254 constraints
2.39/2.41	c   15754 constraints of type <and>
2.39/2.41	c     500 constraints of type <logicor>
2.39/2.41	c transformed objective value is always integral (scale: 1)
2.39/2.41	c Presolving Time: 1.93
2.39/2.41	c - non default parameters ----------------------------------------------------------------------
2.39/2.41	c # SCIP version 1.2.1.2
2.39/2.41	c 
2.39/2.41	c # frequency for displaying node information lines
2.39/2.41	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.41	c display/freq = 10000
2.39/2.41	c 
2.39/2.41	c # maximal time in seconds to run
2.39/2.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41	c limits/time = 1799.83
2.39/2.41	c 
2.39/2.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41	c limits/memory = 1620
2.39/2.41	c 
2.39/2.41	c # should presolving try to simplify inequalities
2.39/2.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41	c constraints/linear/simplifyinequalities = TRUE
2.39/2.41	c 
2.39/2.41	c # should presolving try to simplify knapsacks
2.39/2.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.41	c 
2.39/2.41	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.39/2.41	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41	c heuristics/undercover/freq = 0
2.39/2.41	c 
2.39/2.41	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.41	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41	c separating/rapidlearning/freq = 0
2.39/2.41	c 
2.39/2.41	c -----------------------------------------------------------------------------------------------
2.39/2.41	c start solving
2.39/2.43	c 
2.89/2.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.89/2.99	c   2.5s|     1 |     0 |  1000 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.09/3.10	o 54
3.09/3.10	c s 2.6s|     1 |     0 |  1000 |     - |  97M|   0 |1000 |  16k|  16k|  16k|  32k|   0 |   0 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
9.49/9.53	c   8.4s|     1 |     0 |  2500 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  33k|1001 |   0 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
14.79/14.84	c  13.5s|     1 |     0 |  4000 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  34k|2005 |   0 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
20.38/20.44	c  18.9s|     1 |     0 |  5500 |     - |  98M|   0 |1000 |  16k|  16k|  16k|  35k|3006 |   0 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
20.48/20.56	o 48
20.48/20.56	c s19.0s|     1 |     0 |  5500 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  35k|3006 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
26.30/26.35	c  24.6s|     1 |     0 |  7000 |     - |  99M|   0 |1000 |  16k|  16k|  16k|  36k|4009 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
32.68/32.80	c  30.8s|     1 |     0 |  8500 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  37k|5013 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
39.28/39.33	c  37.0s|     1 |     0 | 10000 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  38k|6014 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
48.38/48.48	c  46.0s|     1 |     2 | 16797 |     - | 100M|   0 |1000 |  16k|  16k|  16k|  38k|6014 |   0 |  17 | 0.000000e+00 | 4.800000e+01 |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666640-1276657434/watcher-2666640-1276657434 -o /tmp/evaluation-result-2666640-1276657434/solver-2666640-1276657434 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666640-1276657434.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: 2.14 2.07 1.89 3/105 13919
/proc/meminfo: memFree=1757128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=7872 CPUtime=0
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1111 0 0 0 0 0 0 0 25 0 1 0 7037211 8060928 1030 1992294400 4194304 8223781 140737485441840 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13919/statm: 1968 1040 348 984 0 981 0

[startup+0.088125 s]
/proc/loadavg: 2.14 2.07 1.89 3/105 13919
/proc/meminfo: memFree=1757128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=18784 CPUtime=0.08
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3988 0 0 0 7 1 0 0 25 0 1 0 7037211 19234816 3907 1992294400 4194304 8223781 140737485441840 18446744073709551615 6207680 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13919/statm: 4696 3907 366 984 0 3709 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18784

[startup+0.101126 s]
/proc/loadavg: 2.14 2.07 1.89 3/105 13919
/proc/meminfo: memFree=1757128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=19064 CPUtime=0.09
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4062 0 0 0 8 1 0 0 25 0 1 0 7037211 19521536 3981 1992294400 4194304 8223781 140737485441840 18446744073709551615 5652123 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13919/statm: 4766 3981 366 984 0 3779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19064

[startup+0.301145 s]
/proc/loadavg: 2.14 2.07 1.89 3/105 13919
/proc/meminfo: memFree=1757128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=50032 CPUtime=0.29
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 12139 0 0 0 26 3 0 0 25 0 1 0 7037211 51232768 11679 1992294400 4194304 8223781 140737485441840 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 12508 11679 403 984 0 11521 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50032

[startup+0.701185 s]
/proc/loadavg: 2.14 2.07 1.89 3/105 13919
/proc/meminfo: memFree=1757128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=73228 CPUtime=0.69
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 17411 0 0 0 63 6 0 0 25 0 1 0 7037211 74985472 16951 1992294400 4194304 8223781 140737485441840 18446744073709551615 4392932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 18307 16951 427 984 0 17320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73228

[startup+1.50027 s]
/proc/loadavg: 2.14 2.07 1.89 2/106 13920
/proc/meminfo: memFree=1675900/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=96676 CPUtime=1.49
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 24140 0 0 0 132 17 0 0 25 0 1 0 7037211 98996224 22813 1992294400 4194304 8223781 140737485441840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 24169 22813 447 984 0 23182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96676

[startup+3.10042 s]
/proc/loadavg: 2.05 2.05 1.88 2/106 13920
/proc/meminfo: memFree=1664120/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=158676 CPUtime=3.09
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 40694 0 0 0 279 30 0 0 25 0 1 0 7037211 162484224 37260 1992294400 4194304 8223781 140737485441840 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 39669 37260 541 984 0 38682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158676

[startup+6.30074 s]
/proc/loadavg: 2.05 2.05 1.88 2/106 13920
/proc/meminfo: memFree=1609312/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=160004 CPUtime=6.29
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 108422 0 0 0 576 53 0 0 25 0 1 0 7037211 163844096 37359 1992294400 4194304 8223781 140737485441840 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 40001 37359 560 984 0 39014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160004

[startup+12.7014 s]
/proc/loadavg: 1.89 2.02 1.87 2/106 13920
/proc/meminfo: memFree=1600516/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=169112 CPUtime=12.68
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 176910 0 0 0 1155 113 0 0 25 0 1 0 7037211 173170688 39438 1992294400 4194304 8223781 140737485441840 18446744073709551615 5716611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 42278 39438 576 984 0 41291 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 169112

[startup+25.5016 s]
/proc/loadavg: 1.75 1.98 1.86 2/106 13920
/proc/meminfo: memFree=1597664/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=175316 CPUtime=25.49
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 316883 0 0 0 2389 160 0 0 25 0 1 0 7037211 179523584 40367 1992294400 4194304 8223781 140737485441840 18446744073709551615 7302042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 43829 40377 574 984 0 42842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175316

[startup+51.1012 s]
/proc/loadavg: 1.50 1.90 1.84 2/106 13920
/proc/meminfo: memFree=1594936/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=175224 CPUtime=51.07
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 518154 0 0 0 4870 237 0 0 25 0 1 0 7037211 179429376 40854 1992294400 4194304 8223781 140737485441840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 43806 40854 578 984 0 42819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 175224

[startup+102.309 s]
/proc/loadavg: 1.20 1.75 1.79 2/106 13922
/proc/meminfo: memFree=1589728/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=180788 CPUtime=102.26
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 592172 0 0 0 9935 291 0 0 25 0 1 0 7037211 185126912 42150 1992294400 4194304 8223781 140737485441840 18446744073709551615 6448522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 45197 42150 583 984 0 44210 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 180788

[startup+162.301 s]
/proc/loadavg: 1.08 1.62 1.74 2/106 13924
/proc/meminfo: memFree=1585264/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=184888 CPUtime=162.24
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 707799 0 0 0 15863 361 0 0 25 0 1 0 7037211 189325312 43289 1992294400 4194304 8223781 140737485441840 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 46222 43289 583 984 0 45235 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 184888

[startup+222.301 s]
/proc/loadavg: 1.02 1.50 1.69 2/106 13926
/proc/meminfo: memFree=1583528/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=187380 CPUtime=222.22
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 792142 0 0 0 21807 415 0 0 25 0 1 0 7037211 191877120 43699 1992294400 4194304 8223781 140737485441840 18446744073709551615 6568102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 46845 43699 583 984 0 45858 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 187380

[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.64 2/106 13928
/proc/meminfo: memFree=1582536/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=187580 CPUtime=282.22
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 956522 0 0 0 27716 506 0 0 25 0 1 0 7037211 192081920 43922 1992294400 4194304 8223781 140737485441840 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 46895 43922 583 984 0 45908 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 187580

[startup+342.301 s]
/proc/loadavg: 1.00 1.33 1.60 2/106 13928
/proc/meminfo: memFree=1580676/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=188900 CPUtime=342.2
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1057019 0 0 0 33646 574 0 0 25 0 1 0 7037211 193433600 44382 1992294400 4194304 8223781 140737485441840 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47225 44382 583 984 0 46238 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 188900

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.56 2/106 13930
/proc/meminfo: memFree=1580056/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=189128 CPUtime=402.18
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1167406 0 0 0 39572 646 0 0 25 0 1 0 7037211 193667072 44476 1992294400 4194304 8223781 140737485441840 18446744073709551615 6482645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47282 44476 583 984 0 46295 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 189128

[startup+462.301 s]
/proc/loadavg: 1.00 1.21 1.52 2/106 13932
/proc/meminfo: memFree=1579932/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=189560 CPUtime=462.17
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1232902 0 0 0 45525 692 0 0 25 0 1 0 7037211 194109440 44479 1992294400 4194304 8223781 140737485441840 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47390 44479 583 984 0 46403 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 189560

[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.49 2/106 13934
/proc/meminfo: memFree=1579560/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=189600 CPUtime=522.15
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1263590 0 0 0 51493 722 0 0 25 0 1 0 7037211 194150400 44590 1992294400 4194304 8223781 140737485441840 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47400 44590 583 984 0 46413 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 189600

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.45 2/106 13936
/proc/meminfo: memFree=1579436/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=189600 CPUtime=582.13
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1285447 0 0 0 57467 746 0 0 25 0 1 0 7037211 194150400 44601 1992294400 4194304 8223781 140737485441840 18446744073709551615 6564760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47400 44601 583 984 0 46413 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 189600

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.42 2/106 13936
/proc/meminfo: memFree=1579436/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=189600 CPUtime=642.12
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1308005 0 0 0 63438 774 0 0 25 0 1 0 7037211 194150400 44600 1992294400 4194304 8223781 140737485441840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 47400 44600 583 984 0 46413 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 189600

[startup+702.302 s]

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

/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 1951392 0 0 0 105028 1173 0 0 25 0 1 0 7037211 199942144 45616 1992294400 4194304 8223781 140737485441840 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 48814 45616 596 984 0 47827 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 195256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 13950
/proc/meminfo: memFree=1575096/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=195064 CPUtime=1121.99
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 2212582 0 0 0 110900 1299 0 0 25 0 1 0 7037211 199745536 45616 1992294400 4194304 8223781 140737485441840 18446744073709551615 6447019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 48766 45616 583 984 0 47779 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 195064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/106 13952
/proc/meminfo: memFree=1575344/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=194436 CPUtime=1181.99
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 2369315 0 0 0 116815 1384 0 0 25 0 1 0 7037211 199102464 45558 1992294400 4194304 8223781 140737485441840 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 48609 45558 583 984 0 47622 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 194436

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/106 13952
/proc/meminfo: memFree=1572740/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=197192 CPUtime=1241.97
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 2532812 0 0 0 122727 1470 0 0 25 0 1 0 7037211 201924608 46157 1992294400 4194304 8223781 140737485441840 18446744073709551615 6592599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49298 46157 583 984 0 48311 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 197192

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/106 13954
/proc/meminfo: memFree=1571500/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198244 CPUtime=1301.96
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 2706592 0 0 0 128638 1558 0 0 25 0 1 0 7037211 203001856 46431 1992294400 4194304 8223781 140737485441840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49561 46431 583 984 0 48574 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 198244

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/106 13956
/proc/meminfo: memFree=1571252/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198624 CPUtime=1361.93
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 2948603 0 0 0 134519 1674 0 0 25 0 1 0 7037211 203390976 46481 1992294400 4194304 8223781 140737485441840 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49656 46481 583 984 0 48669 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 198624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/106 13958
/proc/meminfo: memFree=1571376/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198480 CPUtime=1421.93
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3215034 0 0 0 140395 1798 0 0 25 0 1 0 7037211 203243520 46486 1992294400 4194304 8223781 140737485441840 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49620 46486 583 984 0 48633 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 198480

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 13960
/proc/meminfo: memFree=1574352/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=195352 CPUtime=1481.9
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3386444 0 0 0 146302 1888 0 0 25 0 1 0 7037211 200040448 45741 1992294400 4194304 8223781 140737485441840 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 48838 45741 583 984 0 47851 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 195352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 13960
/proc/meminfo: memFree=1572988/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=197876 CPUtime=1541.89
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3558623 0 0 0 152209 1980 0 0 25 0 1 0 7037211 202625024 46149 1992294400 4194304 8223781 140737485441840 18446744073709551615 6604397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49469 46163 583 984 0 48482 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 197876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 13962
/proc/meminfo: memFree=1572492/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=197496 CPUtime=1601.88
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3754378 0 0 0 158106 2082 0 0 25 0 1 0 7037211 202235904 46196 1992294400 4194304 8223781 140737485441840 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49374 46196 583 984 0 48387 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 197496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 13964
/proc/meminfo: memFree=1572120/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=197672 CPUtime=1661.86
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 3919170 0 0 0 164015 2171 0 0 25 0 1 0 7037211 202416128 46265 1992294400 4194304 8223781 140737485441840 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49418 46265 583 984 0 48431 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 197672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 13966
/proc/meminfo: memFree=1571748/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=195604 CPUtime=1721.84
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4038458 0 0 0 169940 2244 0 0 25 0 1 0 7037211 200298496 46235 1992294400 4194304 8223781 140737485441840 18446744073709551615 6328525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 48901 46235 583 984 0 47914 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 195604

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 13971
/proc/meminfo: memFree=1571128/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=197744 CPUtime=1781.83
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4222495 0 0 0 175838 2345 0 0 25 0 1 0 7037211 202489856 46356 1992294400 4194304 8223781 140737485441840 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49436 46356 583 984 0 48449 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 197744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 13971
/proc/meminfo: memFree=1571004/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=199756 CPUtime=1800.03
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4274304 0 0 0 177626 2377 0 0 25 0 1 0 7037211 204550144 46439 1992294400 4194304 8223781 140737485441840 18446744073709551615 6604142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49939 46450 583 984 0 48952 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 199756

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13919

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13972
/proc/meminfo: memFree=1570996/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198196 CPUtime=1800.93
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4275717 0 0 0 177715 2378 0 0 25 0 1 0 7037211 202952704 46413 1992294400 4194304 8223781 140737485441840 18446744073709551615 6536466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49549 46413 583 984 0 48562 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 198196

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13972
/proc/meminfo: memFree=1570996/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198240 CPUtime=1801.73
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4277173 0 0 0 177794 2379 0 0 25 0 1 0 7037211 202997760 46411 1992294400 4194304 8223781 140737485441840 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49560 46411 583 984 0 48573 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 198240

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13972
/proc/meminfo: memFree=1570996/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198492 CPUtime=1801.92
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4277398 0 0 0 177813 2379 0 0 25 0 1 0 7037211 203255808 46428 1992294400 4194304 8223781 140737485441840 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49623 46428 583 984 0 48636 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 198492

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13972
/proc/meminfo: memFree=1570996/2059040 swapFree=4164948/4192956
[pid=13919] ppid=13917 vsize=198492 CPUtime=1802.02
/proc/13919/stat : 13919 (pbscip.linux.x8) R 13917 13919 13720 0 -1 4202496 4277399 0 0 0 177823 2379 0 0 25 0 1 0 7037211 203255808 46429 1992294400 4194304 8223781 140737485441840 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13919/statm: 49623 46429 583 984 0 48636 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 198492

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.06
CPU user time (s): 1778.25
CPU system time (s): 23.8144
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 259968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.25
system time used= 23.8144
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4277399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2240

runsolver used 2.92355 second user time and 8.5647 second system time

The end

Launcher Data 

Begin job on node084 at 2010-06-16 05:03:54
IDJOB=2666640
IDBENCH=48153
IDSOLVER=1169
FILE ID=node084/2666640-1276657434
PBS_JOBID= 11172465
Free space on /tmp= 62512 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_4.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-2666640-1276657434/watcher-2666640-1276657434 -o /tmp/evaluation-result-2666640-1276657434/solver-2666640-1276657434 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666640-1276657434.opb -t 1800 -m 1800

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

MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071
RANDOM SEED=1184272764

node084.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.229
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.45
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.229
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1757656 kB
Buffers:         76572 kB
Cached:         126344 kB
SwapCached:       1440 kB
Active:          98464 kB
Inactive:       137644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1757656 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       31712 kB
Mapped:          15180 kB
Slab:            43648 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180204 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= 62508 MiB
End job on node084 at 2010-06-16 05:33:56