Trace number 2666729

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.1 1802.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1798.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

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-2666729-1276668815.opb>
0.49/0.54	c original problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39001 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
1.00/1.07	o 0
1.00/1.07	c feasible solution found by trivial heuristic, objective value  0.000000e+00
1.00/1.07	c presolving:
2.49/2.59	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 300136 impls, 1000 clqs
4.99/5.04	c    (4.2s) probing: 101/38500 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.99/5.04	c    (4.2s) probing aborted: 100/100 successive totally useless probings
4.99/5.05	c presolving (2 rounds):
4.99/5.05	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.99/5.05	c  300136 implications, 1000 cliques
4.99/5.05	c presolved problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39001 constraints
4.99/5.05	c    1000 constraints of type <setppc>
4.99/5.05	c   37500 constraints of type <and>
4.99/5.05	c       1 constraints of type <linear>
4.99/5.05	c     500 constraints of type <logicor>
4.99/5.05	c transformed objective value is always integral (scale: 1)
4.99/5.05	c Presolving Time: 3.97
4.99/5.05	c - non default parameters ----------------------------------------------------------------------
4.99/5.05	c # SCIP version 1.2.1.2
4.99/5.05	c 
4.99/5.05	c # frequency for displaying node information lines
4.99/5.05	c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.05	c display/freq = 10000
4.99/5.05	c 
4.99/5.05	c # maximal time in seconds to run
4.99/5.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.05	c limits/time = 1799.46
4.99/5.05	c 
4.99/5.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.05	c limits/memory = 1620
4.99/5.05	c 
4.99/5.05	c # should presolving try to simplify inequalities
4.99/5.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.05	c constraints/linear/simplifyinequalities = TRUE
4.99/5.05	c 
4.99/5.05	c # should presolving try to simplify knapsacks
4.99/5.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.05	c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.05	c 
4.99/5.05	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.99/5.05	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.05	c heuristics/undercover/freq = 0
4.99/5.05	c 
4.99/5.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.99/5.05	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.05	c separating/rapidlearning/freq = 0
4.99/5.05	c 
4.99/5.05	c -----------------------------------------------------------------------------------------------
4.99/5.05	c start solving
4.99/5.09	c 
1800.05/1800.80	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-2666729-1276668815/watcher-2666729-1276668815 -o /tmp/evaluation-result-2666729-1276668815/solver-2666729-1276668815 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666729-1276668815.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.89 2.34 1.78 3/106 8767
/proc/meminfo: memFree=1842608/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=8020 CPUtime=0
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 1031 0 0 0 0 0 0 0 18 0 1 0 42483111 8212480 952 1992294400 4194304 8223781 140735776531648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8767/statm: 2005 962 348 984 0 1018 0

[startup+0.066084 s]
/proc/loadavg: 2.89 2.34 1.78 3/106 8767
/proc/meminfo: memFree=1842608/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=16472 CPUtime=0.05
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 3343 0 0 0 5 0 0 0 20 0 1 0 42483111 16867328 3263 1992294400 4194304 8223781 140735776531648 18446744073709551615 6207765 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8767/statm: 4118 3263 366 984 0 3131 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16472

[startup+0.101091 s]
/proc/loadavg: 2.89 2.34 1.78 3/106 8767
/proc/meminfo: memFree=1842608/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=19240 CPUtime=0.09
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 4043 0 0 0 8 1 0 0 20 0 1 0 42483111 19701760 3963 1992294400 4194304 8223781 140735776531648 18446744073709551615 4680333 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8767/statm: 4810 3963 366 984 0 3823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19240

[startup+0.301133 s]
/proc/loadavg: 2.89 2.34 1.78 3/106 8767
/proc/meminfo: memFree=1842608/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=37876 CPUtime=0.29
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 8762 0 0 0 27 2 0 0 20 0 1 0 42483111 38785024 8670 1992294400 4194304 8223781 140735776531648 18446744073709551615 7217045 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8767/statm: 9469 8670 366 984 0 8482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37876

[startup+0.701218 s]
/proc/loadavg: 2.89 2.34 1.78 3/106 8767
/proc/meminfo: memFree=1842608/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=92328 CPUtime=0.69
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 22694 0 0 0 62 7 0 0 21 0 1 0 42483111 94543872 22164 1992294400 4194304 8223781 140735776531648 18446744073709551615 4461481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 23082 22164 383 984 0 22095 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92328

[startup+1.50139 s]
/proc/loadavg: 2.74 2.32 1.77 2/107 8768
/proc/meminfo: memFree=1737448/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=117764 CPUtime=1.49
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 28839 0 0 0 138 11 0 0 23 0 1 0 42483111 120590336 28309 1992294400 4194304 8223781 140735776531648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 29441 28309 432 984 0 28454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117764

[startup+3.10073 s]
/proc/loadavg: 2.74 2.32 1.77 2/107 8768
/proc/meminfo: memFree=1721328/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=137516 CPUtime=3.09
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 36023 0 0 0 283 26 0 0 25 0 1 0 42483111 140816384 33285 1992294400 4194304 8223781 140735776531648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 34379 33285 459 984 0 33392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137516

[startup+6.30141 s]
/proc/loadavg: 2.74 2.32 1.77 2/107 8768
/proc/meminfo: memFree=1661684/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=278756 CPUtime=6.29
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 74852 0 0 0 578 51 0 0 25 0 1 0 42483111 285446144 65922 1992294400 4194304 8223781 140735776531648 18446744073709551615 6588620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 69689 65922 532 984 0 68702 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 278756

[startup+12.7008 s]
/proc/loadavg: 2.47 2.28 1.76 2/107 8768
/proc/meminfo: memFree=1574512/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=288264 CPUtime=12.68
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 84116 0 0 0 1212 56 0 0 25 0 1 0 42483111 295182336 67316 1992294400 4194304 8223781 140735776531648 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 72066 67316 536 984 0 71079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 288264

[startup+25.5015 s]
/proc/loadavg: 2.24 2.23 1.75 2/107 8770
/proc/meminfo: memFree=1571660/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=292016 CPUtime=25.48
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 100678 0 0 0 2481 67 0 0 25 0 1 0 42483111 299024384 67957 1992294400 4194304 8223781 140735776531648 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 73004 67957 536 984 0 72017 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 292016

[startup+51.1009 s]
/proc/loadavg: 1.82 2.13 1.73 2/107 8773
/proc/meminfo: memFree=1565588/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=297008 CPUtime=51.06
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 137268 0 0 0 5019 87 0 0 25 0 1 0 42483111 304136192 69377 1992294400 4194304 8223781 140735776531648 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 74252 69377 536 984 0 73265 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 297008

[startup+102.309 s]
/proc/loadavg: 1.32 1.94 1.69 2/107 8773
/proc/meminfo: memFree=1556660/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=305700 CPUtime=102.25
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 203572 0 0 0 10101 124 0 0 25 0 1 0 42483111 313036800 71596 1992294400 4194304 8223781 140735776531648 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 76425 71596 536 984 0 75438 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 305700

[startup+162.302 s]
/proc/loadavg: 1.12 1.77 1.64 2/107 8775
/proc/meminfo: memFree=1554180/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=309320 CPUtime=162.21
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 233166 0 0 0 16078 143 0 0 25 0 1 0 42483111 316743680 72116 1992294400 4194304 8223781 140735776531648 18446744073709551615 6571207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 77330 72116 536 984 0 76343 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 309320

[startup+222.301 s]
/proc/loadavg: 1.04 1.62 1.60 2/107 8777
/proc/meminfo: memFree=1552816/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=310120 CPUtime=222.19
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 261659 0 0 0 22061 158 0 0 25 0 1 0 42483111 317562880 72583 1992294400 4194304 8223781 140735776531648 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 77530 72583 536 984 0 76543 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 310120

[startup+282.301 s]
/proc/loadavg: 1.05 1.52 1.56 2/107 8779
/proc/meminfo: memFree=1551452/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=311280 CPUtime=282.17
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 285488 0 0 0 28045 172 0 0 25 0 1 0 42483111 318750720 72932 1992294400 4194304 8223781 140735776531648 18446744073709551615 6560154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 77820 72932 536 984 0 76833 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 311280

[startup+342.302 s]
/proc/loadavg: 1.02 1.42 1.53 2/107 8781
/proc/meminfo: memFree=1549344/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=315908 CPUtime=342.14
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 310890 0 0 0 34028 186 0 0 25 0 1 0 42483111 323489792 73456 1992294400 4194304 8223781 140735776531648 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 78977 73456 536 984 0 77990 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 315908

[startup+402.302 s]
/proc/loadavg: 1.00 1.34 1.49 2/107 8781
/proc/meminfo: memFree=1542152/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=317320 CPUtime=402.12
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 333917 0 0 0 40012 200 0 0 25 0 1 0 42483111 324935680 73680 1992294400 4194304 8223781 140735776531648 18446744073709551615 6536516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 79330 73680 536 984 0 78343 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 317320

[startup+462.301 s]
/proc/loadavg: 1.00 1.28 1.45 2/107 8783
/proc/meminfo: memFree=1545500/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=332496 CPUtime=462.1
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 355973 0 0 0 45998 212 0 0 25 0 1 0 42483111 340475904 75848 1992294400 4194304 8223781 140735776531648 18446744073709551615 6587933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 83124 75848 536 984 0 82137 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 332496

[startup+522.301 s]
/proc/loadavg: 1.00 1.23 1.43 2/107 8785
/proc/meminfo: memFree=1545376/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=323096 CPUtime=522.08
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 381253 0 0 0 51981 227 0 0 25 0 1 0 42483111 330850304 74455 1992294400 4194304 8223781 140735776531648 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 80774 74455 536 984 0 79787 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 323096

[startup+582.301 s]
/proc/loadavg: 1.00 1.18 1.40 2/107 8787
/proc/meminfo: memFree=1539424/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=323252 CPUtime=582.04
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 404659 0 0 0 57965 239 0 0 25 0 1 0 42483111 331010048 74309 1992294400 4194304 8223781 140735776531648 18446744073709551615 6299717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 80813 74309 536 984 0 79826 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 323252

[startup+642.301 s]
/proc/loadavg: 1.00 1.15 1.37 2/107 8789
/proc/meminfo: memFree=1545376/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=323324 CPUtime=642.03
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 425067 0 0 0 63952 251 0 0 25 0 1 0 42483111 331083776 74424 1992294400 4194304 8223781 140735776531648 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 80831 74424 536 984 0 79844 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 323324

[startup+702.302 s]

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

/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 577246 0 0 0 105845 341 0 0 25 0 1 0 42483111 331907072 74397 1992294400 4194304 8223781 140735776531648 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81032 74397 536 984 0 80045 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 324128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 8801
/proc/meminfo: memFree=1545624/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324256 CPUtime=1121.83
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 599745 0 0 0 111828 355 0 0 25 0 1 0 42483111 332038144 74302 1992294400 4194304 8223781 140735776531648 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81064 74302 536 984 0 80077 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 324256

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 8803
/proc/meminfo: memFree=1545872/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324332 CPUtime=1181.8
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 619365 0 0 0 117813 367 0 0 25 0 1 0 42483111 332115968 74222 1992294400 4194304 8223781 140735776531648 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81083 74222 536 984 0 80096 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 324332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 8805
/proc/meminfo: memFree=1545872/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324440 CPUtime=1241.78
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 641942 0 0 0 123799 379 0 0 25 0 1 0 42483111 332226560 74152 1992294400 4194304 8223781 140735776531648 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81110 74152 536 984 0 80123 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 324440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 8805
/proc/meminfo: memFree=1538804/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=334116 CPUtime=1301.76
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 662700 0 0 0 129784 392 0 0 25 0 1 0 42483111 342134784 75903 1992294400 4194304 8223781 140735776531648 18446744073709551615 6590207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 83529 75903 536 984 0 82542 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 334116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 8807
/proc/meminfo: memFree=1545128/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324540 CPUtime=1361.73
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 683994 0 0 0 135767 406 0 0 25 0 1 0 42483111 332328960 74341 1992294400 4194304 8223781 140735776531648 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81135 74341 536 984 0 80148 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 324540

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 8809
/proc/meminfo: memFree=1545376/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324596 CPUtime=1421.71
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 706574 0 0 0 141751 420 0 0 25 0 1 0 42483111 332386304 74280 1992294400 4194304 8223781 140735776531648 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81149 74280 536 984 0 80162 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 324596

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 8811
/proc/meminfo: memFree=1544384/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324596 CPUtime=1481.68
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 729028 0 0 0 147736 432 0 0 25 0 1 0 42483111 332386304 74545 1992294400 4194304 8223781 140735776531648 18446744073709551615 6567165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81149 74545 536 984 0 80162 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 324596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 8813
/proc/meminfo: memFree=1544384/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324548 CPUtime=1541.65
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 750843 0 0 0 153720 445 0 0 25 0 1 0 42483111 332337152 74501 1992294400 4194304 8223781 140735776531648 18446744073709551615 6520928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81137 74501 536 984 0 80150 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 324548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 8813
/proc/meminfo: memFree=1544508/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324532 CPUtime=1601.62
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 773061 0 0 0 159703 459 0 0 25 0 1 0 42483111 332320768 74464 1992294400 4194304 8223781 140735776531648 18446744073709551615 6567552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81133 74464 536 984 0 80146 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 324532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 8815
/proc/meminfo: memFree=1546120/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324636 CPUtime=1661.61
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 795031 0 0 0 165688 473 0 0 25 0 1 0 42483111 332427264 74073 1992294400 4194304 8223781 140735776531648 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81159 74073 536 984 0 80172 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 324636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 8817
/proc/meminfo: memFree=1544260/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324704 CPUtime=1721.58
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 817349 0 0 0 171673 485 0 0 25 0 1 0 42483111 332496896 74533 1992294400 4194304 8223781 140735776531648 18446744073709551615 6359694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81176 74533 536 984 0 80189 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 324704

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.08 2/107 8819
/proc/meminfo: memFree=1545624/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324860 CPUtime=1781.55
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 838314 0 0 0 177658 497 0 0 25 0 1 0 42483111 332656640 74091 1992294400 4194304 8223781 140735776531648 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81215 74091 536 984 0 80228 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 324860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.11 1.03 1.09 2/107 8819
/proc/meminfo: memFree=1544880/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324956 CPUtime=1800.05
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 844589 0 0 0 179504 501 0 0 25 0 1 0 42483111 332754944 74273 1992294400 4194304 8223781 140735776531648 18446744073709551615 6559617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81239 74273 536 984 0 80252 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 324956

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8767

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

[startup+1801.4 s]
/proc/loadavg: 1.11 1.03 1.09 2/107 8819
/proc/meminfo: memFree=1544880/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324956 CPUtime=1800.65
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 844599 0 0 0 179564 501 0 0 25 0 1 0 42483111 332754944 74283 1992294400 4194304 8223781 140735776531648 18446744073709551615 6560132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81239 74283 536 984 0 80252 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 324956

[startup+1802.2 s]
/proc/loadavg: 1.11 1.03 1.09 2/108 8820
/proc/meminfo: memFree=1544872/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324956 CPUtime=1801.44
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 844611 0 0 0 179643 501 0 0 25 0 1 0 42483111 332754944 74295 1992294400 4194304 8223781 140735776531648 18446744073709551615 6502710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81239 74295 536 984 0 80252 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 324956

[startup+1802.6 s]
/proc/loadavg: 1.11 1.03 1.09 2/108 8820
/proc/meminfo: memFree=1544872/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324956 CPUtime=1801.84
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 844617 0 0 0 179683 501 0 0 25 0 1 0 42483111 332754944 74301 1992294400 4194304 8223781 140735776531648 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81239 74301 536 984 0 80252 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 324956

[startup+1802.8 s]
/proc/loadavg: 1.11 1.03 1.09 2/108 8820
/proc/meminfo: memFree=1544748/2059040 swapFree=4139944/4192956
[pid=8767] ppid=8765 vsize=324956 CPUtime=1802.05
/proc/8767/stat : 8767 (pbscip.linux.x8) R 8765 8767 8516 0 -1 4202496 844620 0 0 0 179704 501 0 0 25 0 1 0 42483111 332754944 74304 1992294400 4194304 8223781 140735776531648 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8767/statm: 81239 74304 536 984 0 80252 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 324956

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.84
CPU time (s): 1802.1
CPU user time (s): 1797.05
CPU system time (s): 5.04923
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 334500

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

runsolver used 2.93355 second user time and 8.5707 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 08:13:35
IDJOB=2666729
IDBENCH=48242
IDSOLVER=1169
FILE ID=node010/2666729-1276668815
PBS_JOBID= 11172514
Free space on /tmp= 62532 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/bsg/normalized-bsg_500_60_5.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-2666729-1276668815/watcher-2666729-1276668815 -o /tmp/evaluation-result-2666729-1276668815/solver-2666729-1276668815 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666729-1276668815.opb -t 1800 -m 1800

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

MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6
RANDOM SEED=42428863

node010.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.267
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.267
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:       1843136 kB
Buffers:         29004 kB
Cached:          94656 kB
SwapCached:       5996 kB
Active:          24776 kB
Inactive:       111708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843136 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            5516 kB
Writeback:           0 kB
AnonPages:       11316 kB
Mapped:          12948 kB
Slab:            57472 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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= 62528 MiB
End job on node010 at 2010-06-16 08:43:38