Trace number 2667006

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.05 1802.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44677
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
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-2667006-1276398813.opb>
0.29/0.37	c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.37	c problem read
0.29/0.37	c presolving settings loaded
0.39/0.44	c presolving:
0.69/0.70	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.19/1.20	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
5.40/5.49	c    (5.0s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
5.40/5.49	c    (5.0s) probing aborted: 100/100 successive totally useless probings
5.40/5.49	c presolving (3 rounds):
5.40/5.49	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
5.40/5.49	c  14784 implications, 392 cliques
5.40/5.49	c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
5.40/5.49	c    7496 constraints of type <knapsack>
5.40/5.49	c     392 constraints of type <setppc>
5.40/5.49	c    8208 constraints of type <logicor>
5.40/5.49	c transformed objective value is always integral (scale: 1)
5.40/5.49	c Presolving Time: 4.96
5.40/5.49	c - non default parameters ----------------------------------------------------------------------
5.40/5.49	c # SCIP version 1.2.1.2
5.40/5.49	c 
5.40/5.49	c # frequency for displaying node information lines
5.40/5.49	c # [type: int, range: [-1,2147483647], default: 100]
5.40/5.49	c display/freq = 10000
5.40/5.49	c 
5.40/5.49	c # maximal time in seconds to run
5.40/5.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.49	c limits/time = 1799.63
5.40/5.49	c 
5.40/5.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.40/5.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.49	c limits/memory = 1620
5.40/5.49	c 
5.40/5.49	c # should presolving try to simplify inequalities
5.40/5.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.49	c constraints/linear/simplifyinequalities = TRUE
5.40/5.49	c 
5.40/5.49	c # should presolving try to simplify knapsacks
5.40/5.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.49	c constraints/knapsack/simplifyinequalities = TRUE
5.40/5.49	c 
5.40/5.49	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.40/5.49	c # [type: int, range: [-1,2147483647], default: -1]
5.40/5.49	c separating/rapidlearning/freq = 0
5.40/5.49	c 
5.40/5.49	c -----------------------------------------------------------------------------------------------
5.40/5.49	c start solving
5.40/5.49	c 
11.59/11.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.59/11.67	c  11.1s|     1 |     0 |  2640 |     - |  33M|   0 | 370 |1344 |  16k|1344 |  16k|   0 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
58.77/58.82	c  58.1s|     1 |     0 |  9026 |     - |  38M|   0 | 385 |1344 |  16k|1344 |  16k|  12 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
68.97/69.00	c  68.2s|     1 |     0 | 10108 |     - |  42M|   0 | 400 |1344 |  16k|1344 |  16k|  20 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
79.56/79.60	c  78.7s|     1 |     0 | 11053 |     - |  47M|   0 | 409 |1344 |  16k|1344 |  16k|  30 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
89.26/89.38	c  88.4s|     1 |     0 | 11824 |     - |  52M|   0 | 411 |1344 |  16k|1344 |  16k|  36 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
98.75/98.85	c  97.8s|     1 |     0 | 12442 |     - |  57M|   0 | 400 |1344 |  16k|1344 |  16k|  42 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
109.86/109.96	c   109s|     1 |     0 | 13514 |     - |  63M|   0 | 406 |1344 |  16k|1344 |  16k|  49 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
266.81/266.93	c   264s|     1 |     2 | 13514 |     - |  63M|   0 | 406 |1344 |  16k|1344 |  16k|  49 |   0 |  47 | 3.191600e+04 |      --      |    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-2667006-1276398813/watcher-2667006-1276398813 -o /tmp/evaluation-result-2667006-1276398813/solver-2667006-1276398813 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667006-1276398813.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.16 2.08 1.91 3/106 22803
/proc/meminfo: memFree=1807748/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=7724 CPUtime=0
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 15485239 7909376 930 1992294400 4194304 8223781 140736308883744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22803/statm: 1931 941 348 984 0 944 0

[startup+0.0221931 s]
/proc/loadavg: 2.16 2.08 1.91 3/106 22803
/proc/meminfo: memFree=1807748/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=10564 CPUtime=0.01
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1931 0 0 0 1 0 0 0 20 0 1 0 15485239 10817536 1851 1992294400 4194304 8223781 140736308883744 18446744073709551615 6207680 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22803/statm: 2641 1851 365 984 0 1654 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10564

[startup+0.101202 s]
/proc/loadavg: 2.16 2.08 1.91 3/106 22803
/proc/meminfo: memFree=1807748/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=12812 CPUtime=0.09
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2491 0 0 0 9 0 0 0 22 0 1 0 15485239 13119488 2411 1992294400 4194304 8223781 140736308883744 18446744073709551615 7162853 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22803/statm: 3203 2411 365 984 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12812

[startup+0.301221 s]
/proc/loadavg: 2.16 2.08 1.91 3/106 22803
/proc/meminfo: memFree=1807748/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=16920 CPUtime=0.29
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 3530 0 0 0 28 1 0 0 22 0 1 0 15485239 17326080 3450 1992294400 4194304 8223781 140736308883744 18446744073709551615 4907159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22803/statm: 4230 3450 365 984 0 3243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16920

[startup+0.701262 s]
/proc/loadavg: 2.16 2.08 1.91 3/106 22803
/proc/meminfo: memFree=1807748/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=53616 CPUtime=0.69
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 14262 0 0 0 61 8 0 0 24 0 1 0 15485239 54902784 12330 1992294400 4194304 8223781 140736308883744 18446744073709551615 4862081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 13404 12330 450 984 0 12417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53616

[startup+1.50136 s]
/proc/loadavg: 2.07 2.07 1.91 3/108 22806
/proc/meminfo: memFree=1757760/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=54824 CPUtime=1.5
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 15600 0 0 0 140 10 0 0 25 0 1 0 15485239 56139776 12640 1992294400 4194304 8223781 140736308883744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 13706 12640 459 984 0 12719 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 54824

[startup+3.10051 s]
/proc/loadavg: 2.07 2.07 1.91 3/108 22806
/proc/meminfo: memFree=1735440/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=55084 CPUtime=3.09
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 16202 0 0 0 298 11 0 0 25 0 1 0 15485239 56406016 12728 1992294400 4194304 8223781 140736308883744 18446744073709551615 4854133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 13771 12728 472 984 0 12784 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55084

[startup+6.30084 s]
/proc/loadavg: 1.98 2.05 1.90 2/107 22806
/proc/meminfo: memFree=1756156/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=85536 CPUtime=6.29
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 24586 0 0 0 613 16 0 0 25 0 1 0 15485239 87588864 19457 1992294400 4194304 8223781 140736308883744 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 21384 19457 576 984 0 20397 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85536

[startup+12.7005 s]
/proc/loadavg: 1.90 2.03 1.90 2/107 22806
/proc/meminfo: memFree=1729868/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=86752 CPUtime=12.69
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 28735 0 0 0 1250 19 0 0 25 0 1 0 15485239 88834048 19901 1992294400 4194304 8223781 140736308883744 18446744073709551615 6563074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 21688 19901 588 984 0 20701 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86752

[startup+25.5008 s]
/proc/loadavg: 1.76 2.00 1.89 2/107 22806
/proc/meminfo: memFree=1729248/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=88580 CPUtime=25.49
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 33535 0 0 0 2526 23 0 0 25 0 1 0 15485239 90705920 20004 1992294400 4194304 8223781 140736308883744 18446744073709551615 6559073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 22145 20004 590 984 0 21158 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88580

[startup+51.1014 s]
/proc/loadavg: 1.46 1.90 1.86 2/107 22808
/proc/meminfo: memFree=1731976/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=86076 CPUtime=51.07
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 44990 0 0 0 5074 33 0 0 25 0 1 0 15485239 88141824 19263 1992294400 4194304 8223781 140736308883744 18446744073709551615 6044382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 21519 19263 594 984 0 20532 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86076

[startup+102.309 s]
/proc/loadavg: 1.20 1.76 1.81 2/107 22808
/proc/meminfo: memFree=1690560/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=128436 CPUtime=102.26
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 71392 0 0 0 10162 64 0 0 25 0 1 0 15485239 131518464 29644 1992294400 4194304 8223781 140736308883744 18446744073709551615 6044367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 32109 29644 605 984 0 31122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128436

[startup+162.301 s]
/proc/loadavg: 1.07 1.62 1.76 2/107 22810
/proc/meminfo: memFree=1683492/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=135752 CPUtime=162.25
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 152028 0 0 0 16101 124 0 0 25 0 1 0 15485239 139010048 31343 1992294400 4194304 8223781 140736308883744 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 33938 31343 595 984 0 32951 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 135752

[startup+222.301 s]
/proc/loadavg: 1.02 1.50 1.71 2/107 22812
/proc/meminfo: memFree=1684856/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=135752 CPUtime=222.23
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 239080 0 0 0 22044 179 0 0 25 0 1 0 15485239 139010048 31329 1992294400 4194304 8223781 140736308883744 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 33938 31329 595 984 0 32951 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 135752

[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.66 2/107 22814
/proc/meminfo: memFree=1683616/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=135556 CPUtime=282.21
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 318780 0 0 0 27988 233 0 0 25 0 1 0 15485239 138809344 30713 1992294400 4194304 8223781 140736308883744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 33889 30713 595 984 0 32902 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 135556

[startup+342.301 s]
/proc/loadavg: 1.00 1.33 1.62 2/107 22816
/proc/meminfo: memFree=1683864/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=136060 CPUtime=342.19
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 409787 0 0 0 33927 292 0 0 25 0 1 0 15485239 139325440 31345 1992294400 4194304 8223781 140736308883744 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34015 31345 595 984 0 33028 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 136060

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.57 2/107 22816
/proc/meminfo: memFree=1683740/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=135668 CPUtime=402.18
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 509365 0 0 0 39864 354 0 0 25 0 1 0 15485239 138924032 31294 1992294400 4194304 8223781 140736308883744 18446744073709551615 6567505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 33917 31294 595 984 0 32930 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135668

[startup+462.302 s]
/proc/loadavg: 1.00 1.22 1.53 2/107 22818
/proc/meminfo: memFree=1685848/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=135748 CPUtime=462.16
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 589955 0 0 0 45808 408 0 0 25 0 1 0 15485239 139005952 31318 1992294400 4194304 8223781 140736308883744 18446744073709551615 6613542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 33937 31318 595 984 0 32950 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 135748

[startup+522.302 s]
/proc/loadavg: 1.00 1.17 1.50 2/107 22820
/proc/meminfo: memFree=1683492/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=136548 CPUtime=522.15
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 667331 0 0 0 51753 462 0 0 25 0 1 0 15485239 139825152 31377 1992294400 4194304 8223781 140736308883744 18446744073709551615 6503901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34137 31377 595 984 0 33150 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 136548

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.46 2/107 22822
/proc/meminfo: memFree=1685104/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=136572 CPUtime=582.14
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 751645 0 0 0 57694 520 0 0 25 0 1 0 15485239 139849728 31379 1992294400 4194304 8223781 140736308883744 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34143 31379 595 984 0 33156 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 136572

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.43 2/107 22824
/proc/meminfo: memFree=1683616/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=136300 CPUtime=642.13
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 830422 0 0 0 63643 570 0 0 25 0 1 0 15485239 139571200 31359 1992294400 4194304 8223781 140736308883744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34075 31359 595 984 0 33088 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 136300

[startup+702.301 s]

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

/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1391588 0 0 0 105270 931 0 0 25 0 1 0 15485239 141803520 32033 1992294400 4194304 8223781 140736308883744 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34620 32033 599 984 0 33633 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 138480

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.24 3/107 22836
/proc/meminfo: memFree=1683740/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=137500 CPUtime=1122
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1437667 0 0 0 111231 969 0 0 25 0 1 0 15485239 140800000 31653 1992294400 4194304 8223781 140736308883744 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34375 31653 599 984 0 33388 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 137500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/107 22838
/proc/meminfo: memFree=1681136/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138228 CPUtime=1181.98
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1495312 0 0 0 117183 1015 0 0 25 0 1 0 15485239 141545472 31864 1992294400 4194304 8223781 140736308883744 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34557 31864 599 984 0 33570 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 138228

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/107 22840
/proc/meminfo: memFree=1680268/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138484 CPUtime=1241.97
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1537222 0 0 0 123147 1050 0 0 25 0 1 0 15485239 141807616 32028 1992294400 4194304 8223781 140736308883744 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34621 32028 599 984 0 33634 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 138484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/107 22840
/proc/meminfo: memFree=1680268/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138484 CPUtime=1301.96
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1569987 0 0 0 129120 1076 0 0 25 0 1 0 15485239 141807616 32011 1992294400 4194304 8223781 140736308883744 18446744073709551615 6563528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34621 32011 599 984 0 33634 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 138484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 22842
/proc/meminfo: memFree=1683244/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=137632 CPUtime=1361.94
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1609101 0 0 0 135085 1109 0 0 25 0 1 0 15485239 140935168 31894 1992294400 4194304 8223781 140736308883744 18446744073709551615 6567490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34408 31894 599 984 0 33421 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 137632

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 22844
/proc/meminfo: memFree=1680392/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138588 CPUtime=1421.92
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1673599 0 0 0 141037 1155 0 0 25 0 1 0 15485239 141914112 32028 1992294400 4194304 8223781 140736308883744 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34647 32028 599 984 0 33660 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 138588

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 22846
/proc/meminfo: memFree=1680144/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138864 CPUtime=1481.91
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1711863 0 0 0 147002 1189 0 0 25 0 1 0 15485239 142196736 32074 1992294400 4194304 8223781 140736308883744 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34716 32074 599 984 0 33729 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 138864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 22848
/proc/meminfo: memFree=1682624/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138000 CPUtime=1541.89
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1778794 0 0 0 152956 1233 0 0 25 0 1 0 15485239 141312000 31754 1992294400 4194304 8223781 140736308883744 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34500 31754 599 984 0 33513 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 138000

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 22848
/proc/meminfo: memFree=1680268/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138456 CPUtime=1601.87
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1853140 0 0 0 158902 1285 0 0 25 0 1 0 15485239 141778944 32017 1992294400 4194304 8223781 140736308883744 18446744073709551615 6564825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34614 32017 599 984 0 33627 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 138456

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 22850
/proc/meminfo: memFree=1680268/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138456 CPUtime=1661.85
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1923074 0 0 0 164855 1330 0 0 25 0 1 0 15485239 141778944 31989 1992294400 4194304 8223781 140736308883744 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34614 31989 599 984 0 33627 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 138456

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 22852
/proc/meminfo: memFree=1680020/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138752 CPUtime=1721.84
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 1984221 0 0 0 170809 1375 0 0 25 0 1 0 15485239 142082048 32072 1992294400 4194304 8223781 140736308883744 18446744073709551615 6564446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34688 32072 599 984 0 33701 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 138752

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22854
/proc/meminfo: memFree=1680516/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138232 CPUtime=1781.82
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2078076 0 0 0 176747 1435 0 0 25 0 1 0 15485239 141549568 31905 1992294400 4194304 8223781 140736308883744 18446744073709551615 6503942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34558 31905 599 984 0 33571 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 138232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22854
/proc/meminfo: memFree=1679772/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138704 CPUtime=1800.03
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2098306 0 0 0 178553 1450 0 0 25 0 1 0 15485239 142032896 32091 1992294400 4194304 8223781 140736308883744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34676 32091 599 984 0 33689 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 138704

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22803

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22855
/proc/meminfo: memFree=1679516/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138704 CPUtime=1800.92
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2099201 0 0 0 178642 1450 0 0 25 0 1 0 15485239 142032896 32138 1992294400 4194304 8223781 140736308883744 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34676 32138 599 984 0 33689 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 138704

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22855
/proc/meminfo: memFree=1679640/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138916 CPUtime=1801.72
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2099647 0 0 0 178722 1450 0 0 25 0 1 0 15485239 142249984 32134 1992294400 4194304 8223781 140736308883744 18446744073709551615 6359014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34729 32134 599 984 0 33742 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 138916

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22855
/proc/meminfo: memFree=1679640/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138916 CPUtime=1801.92
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2099657 0 0 0 178741 1451 0 0 25 0 1 0 15485239 142249984 32144 1992294400 4194304 8223781 140736308883744 18446744073709551615 6564409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34729 32144 599 984 0 33742 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 138916

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 22855
/proc/meminfo: memFree=1679640/2059040 swapFree=4135604/4192956
[pid=22803] ppid=22801 vsize=138916 CPUtime=1802.02
/proc/22803/stat : 22803 (pbscip.linux.x8) R 22801 22803 16313 0 -1 4202496 2100051 0 0 0 178751 1451 0 0 25 0 1 0 15485239 142249984 32106 1992294400 4194304 8223781 140736308883744 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22803/statm: 34729 32106 599 984 0 33742 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 138916

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.05
CPU user time (s): 1787.53
CPU system time (s): 14.5268
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 172948

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

runsolver used 3.05054 second user time and 8.43872 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-13 05:13:33
IDJOB=2667006
IDBENCH=2008
IDSOLVER=1169
FILE ID=node002/2667006-1276398813
PBS_JOBID= 11173267
Free space on /tmp= 62396 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-PB05/manquinho/ttp/normalized-data8_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-2667006-1276398813/watcher-2667006-1276398813 -o /tmp/evaluation-result-2667006-1276398813/solver-2667006-1276398813 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667006-1276398813.opb -t 1800 -m 1800

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=1432319720

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808276 kB
Buffers:         40800 kB
Cached:         134064 kB
SwapCached:      10292 kB
Active:         120028 kB
Inactive:        67172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808276 kB
SwapTotal:     4192956 kB
SwapFree:      4135604 kB
Dirty:            5372 kB
Writeback:           0 kB
AnonPages:       10880 kB
Mapped:           9120 kB
Slab:            41864 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181076 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= 62392 MiB
End job on node002 at 2010-06-13 05:43:35