Trace number 2665329

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.05 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
MD5SUMde244e44f140b74baa9d32bfcc24f10d
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-59
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
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)31508
Sum of products size (including duplicates)63016
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: Clp 1.11.1] [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-2665329-1276673677.opb>
0.19/0.20	c original problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17255 constraints
0.19/0.20	c problem read
0.19/0.20	c presolving settings loaded
0.39/0.43	o 0
0.39/0.43	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.43	c presolving:
0.89/0.98	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 127032 impls, 1000 clqs
2.00/2.03	c    (1.6s) probing: 101/16754 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.00/2.03	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.00/2.04	c presolving (2 rounds):
2.00/2.04	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.00/2.04	c  127032 implications, 1000 cliques
2.00/2.04	c presolved problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17255 constraints
2.00/2.04	c    1000 constraints of type <setppc>
2.00/2.04	c   15754 constraints of type <and>
2.00/2.04	c       1 constraints of type <linear>
2.00/2.04	c     500 constraints of type <logicor>
2.00/2.04	c transformed objective value is always integral (scale: 1)
2.00/2.04	c Presolving Time: 1.52
2.00/2.04	c - non default parameters ----------------------------------------------------------------------
2.00/2.04	c # SCIP version 1.2.1.2
2.00/2.04	c 
2.00/2.04	c # frequency for displaying node information lines
2.00/2.04	c # [type: int, range: [-1,2147483647], default: 100]
2.00/2.04	c display/freq = 10000
2.00/2.04	c 
2.00/2.04	c # maximal time in seconds to run
2.00/2.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.00/2.04	c limits/time = 1799.81
2.00/2.04	c 
2.00/2.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.00/2.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.00/2.04	c limits/memory = 1620
2.00/2.04	c 
2.00/2.04	c # should presolving try to simplify inequalities
2.00/2.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.00/2.04	c constraints/linear/simplifyinequalities = TRUE
2.00/2.04	c 
2.00/2.04	c # should presolving try to simplify knapsacks
2.00/2.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.00/2.04	c constraints/knapsack/simplifyinequalities = TRUE
2.00/2.04	c 
2.00/2.04	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.00/2.04	c # [type: int, range: [-1,2147483647], default: -1]
2.00/2.04	c heuristics/undercover/freq = 0
2.00/2.04	c 
2.00/2.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.00/2.04	c # [type: int, range: [-1,2147483647], default: -1]
2.00/2.04	c separating/rapidlearning/freq = 0
2.00/2.04	c 
2.00/2.04	c -----------------------------------------------------------------------------------------------
2.00/2.04	c start solving
2.00/2.05	c 
1800.02/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665329-1276673677/watcher-2665329-1276673677 -o /tmp/evaluation-result-2665329-1276673677/solver-2665329-1276673677 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665329-1276673677.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: 1.99 2.07 1.72 3/106 16561
/proc/meminfo: memFree=1795376/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=9436 CPUtime=0
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1069 0 0 0 0 0 0 0 18 0 1 0 8662699 9662464 990 1992294400 4194304 9819077 140735531015344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16561/statm: 2359 999 371 1374 0 980 0

[startup+0.0104769 s]
/proc/loadavg: 1.99 2.07 1.72 3/106 16561
/proc/meminfo: memFree=1795376/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=10464 CPUtime=0
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1491 0 0 0 0 0 0 0 18 0 1 0 8662699 10715136 1411 1992294400 4194304 9819077 140735531015344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16561/statm: 2616 1420 371 1374 0 1237 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10464

[startup+0.101485 s]
/proc/loadavg: 1.99 2.07 1.72 3/106 16561
/proc/meminfo: memFree=1795376/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=24380 CPUtime=0.09
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 5004 0 0 0 8 1 0 0 20 0 1 0 8662699 24965120 4924 1992294400 4194304 9819077 140735531015344 18446744073709551615 4207151 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16561/statm: 6095 4924 389 1374 0 4716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24380

[startup+0.301507 s]
/proc/loadavg: 1.99 2.07 1.72 3/106 16561
/proc/meminfo: memFree=1795376/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=53316 CPUtime=0.29
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 12663 0 0 0 25 4 0 0 20 0 1 0 8662699 54595584 12229 1992294400 4194304 9819077 140735531015344 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 13329 12229 439 1374 0 11950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53316

[startup+0.70155 s]
/proc/loadavg: 1.99 2.07 1.72 3/106 16561
/proc/meminfo: memFree=1795376/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=63600 CPUtime=0.69
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 15365 0 0 0 61 8 0 0 20 0 1 0 8662699 65126400 14578 1992294400 4194304 9819077 140735531015344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 15900 14578 478 1374 0 14521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63600

[startup+1.50164 s]
/proc/loadavg: 1.99 2.07 1.72 2/107 16562
/proc/meminfo: memFree=1732004/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=70984 CPUtime=1.49
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 19399 0 0 0 126 23 0 0 23 0 1 0 8662699 72687616 16558 1992294400 4194304 9819077 140735531015344 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 17746 16558 562 1374 0 16367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70984

[startup+3.10181 s]
/proc/loadavg: 1.99 2.07 1.72 2/107 16562
/proc/meminfo: memFree=1723820/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=143712 CPUtime=3.1
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 35849 0 0 0 281 29 0 0 25 0 1 0 8662699 147161088 30468 1992294400 4194304 9819077 140735531015344 18446744073709551615 7311779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 35928 30468 635 1374 0 34549 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 143712

[startup+6.30115 s]
/proc/loadavg: 1.91 2.05 1.71 2/107 16562
/proc/meminfo: memFree=1672608/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=150728 CPUtime=6.29
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 41419 0 0 0 597 32 0 0 25 0 1 0 8662699 154345472 30631 1992294400 4194304 9819077 140735531015344 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 37682 30631 637 1374 0 36303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150728

[startup+12.7008 s]
/proc/loadavg: 1.84 2.03 1.71 2/107 16562
/proc/meminfo: memFree=1672856/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=151556 CPUtime=12.69
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 48352 0 0 0 1232 37 0 0 25 0 1 0 8662699 155193344 31394 1992294400 4194304 9819077 140735531015344 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 37889 31394 637 1374 0 36510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151556

[startup+25.5012 s]
/proc/loadavg: 1.65 1.98 1.70 2/107 16564
/proc/meminfo: memFree=1674344/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=152520 CPUtime=25.49
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 61282 0 0 0 2503 46 0 0 25 0 1 0 8662699 156180480 30779 1992294400 4194304 9819077 140735531015344 18446744073709551615 7302679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38130 30779 638 1374 0 36751 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 152520

[startup+51.101 s]
/proc/loadavg: 1.43 1.90 1.68 2/107 16564
/proc/meminfo: memFree=1672112/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=153504 CPUtime=51.08
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 87844 0 0 0 5047 61 0 0 25 0 1 0 8662699 157188096 31567 1992294400 4194304 9819077 140735531015344 18446744073709551615 7298075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38376 31567 638 1374 0 36997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153504

[startup+102.309 s]
/proc/loadavg: 1.18 1.76 1.64 2/107 16566
/proc/meminfo: memFree=1674096/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=154272 CPUtime=102.27
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 140182 0 0 0 10132 95 0 0 25 0 1 0 8662699 157974528 30762 1992294400 4194304 9819077 140735531015344 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38568 30762 638 1374 0 37189 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 154272

[startup+162.301 s]
/proc/loadavg: 1.07 1.62 1.60 2/107 16566
/proc/meminfo: memFree=1674096/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=154500 CPUtime=162.23
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 193491 0 0 0 16095 128 0 0 25 0 1 0 8662699 158208000 30821 1992294400 4194304 9819077 140735531015344 18446744073709551615 7309307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38625 30822 638 1374 0 37246 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154500

[startup+222.301 s]
/proc/loadavg: 1.02 1.50 1.55 2/107 16568
/proc/meminfo: memFree=1672856/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=154720 CPUtime=222.22
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 244119 0 0 0 22062 160 0 0 25 0 1 0 8662699 158433280 31078 1992294400 4194304 9819077 140735531015344 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38680 31078 638 1374 0 37301 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 154720

[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.52 2/107 16570
/proc/meminfo: memFree=1672484/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155144 CPUtime=282.2
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 293170 0 0 0 28031 189 0 0 25 0 1 0 8662699 158867456 31534 1992294400 4194304 9819077 140735531015344 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38786 31534 638 1374 0 37407 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 155144

[startup+342.301 s]
/proc/loadavg: 1.00 1.33 1.48 2/107 16572
/proc/meminfo: memFree=1668764/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155172 CPUtime=342.18
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 339507 0 0 0 34001 217 0 0 25 0 1 0 8662699 158896128 30987 1992294400 4194304 9819077 140735531015344 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38793 30987 638 1374 0 37414 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 155172

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.45 2/107 16574
/proc/meminfo: memFree=1669260/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155332 CPUtime=402.16
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 383372 0 0 0 39971 245 0 0 25 0 1 0 8662699 159059968 32003 1992294400 4194304 9819077 140735531015344 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38833 32003 638 1374 0 37454 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 155332

[startup+462.301 s]
/proc/loadavg: 1.00 1.22 1.42 2/107 16574
/proc/meminfo: memFree=1669384/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155360 CPUtime=462.15
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 426631 0 0 0 45942 273 0 0 25 0 1 0 8662699 159088640 31910 1992294400 4194304 9819077 140735531015344 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38840 31910 638 1374 0 37461 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 155360

[startup+522.302 s]
/proc/loadavg: 1.00 1.18 1.39 2/107 16576
/proc/meminfo: memFree=1670128/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155464 CPUtime=522.12
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 468790 0 0 0 51913 299 0 0 25 0 1 0 8662699 159195136 32114 1992294400 4194304 9819077 140735531015344 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38866 32114 638 1374 0 37487 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 155464

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.36 2/107 16578
/proc/meminfo: memFree=1668144/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155464 CPUtime=582.1
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 509768 0 0 0 57887 323 0 0 25 0 1 0 8662699 159195136 32249 1992294400 4194304 9819077 140735531015344 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38866 32249 638 1374 0 37487 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 155464

[startup+642.302 s]
/proc/loadavg: 1.00 1.11 1.34 2/107 16580
/proc/meminfo: memFree=1668144/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=155492 CPUtime=642.09
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 551121 0 0 0 63861 348 0 0 25 0 1 0 8662699 159223808 32167 1992294400 4194304 9819077 140735531015344 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 38873 32167 638 1374 0 37494 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 155492

[startup+702.301 s]

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

/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 790424 0 0 0 99700 497 0 0 25 0 1 0 8662699 162541568 31920 1992294400 4194304 9819077 140735531015344 18446744073709551615 6697192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39683 31920 638 1374 0 38304 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 158732

[startup+1062.3 s]
/proc/loadavg: 1.09 1.08 1.23 2/107 16590
/proc/meminfo: memFree=1667276/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158760 CPUtime=1061.95
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 830870 0 0 0 105673 522 0 0 25 0 1 0 8662699 162570240 32596 1992294400 4194304 9819077 140735531015344 18446744073709551615 7300447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39690 32596 638 1374 0 38311 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 158760

[startup+1122.3 s]
/proc/loadavg: 1.08 1.08 1.22 2/107 16592
/proc/meminfo: memFree=1670252/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158736 CPUtime=1121.93
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 870201 0 0 0 111649 544 0 0 25 0 1 0 8662699 162545664 31679 1992294400 4194304 9819077 140735531015344 18446744073709551615 7294716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39684 31679 638 1374 0 38305 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 158736

[startup+1182.3 s]
/proc/loadavg: 1.08 1.08 1.21 2/107 16594
/proc/meminfo: memFree=1667028/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158700 CPUtime=1181.92
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 907740 0 0 0 117623 569 0 0 25 0 1 0 8662699 162508800 32495 1992294400 4194304 9819077 140735531015344 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39675 32495 638 1374 0 38296 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 158700

[startup+1242.3 s]
/proc/loadavg: 1.07 1.08 1.20 2/107 16596
/proc/meminfo: memFree=1665540/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158732 CPUtime=1241.9
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 947982 0 0 0 123596 594 0 0 25 0 1 0 8662699 162541568 32737 1992294400 4194304 9819077 140735531015344 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39683 32737 638 1374 0 38304 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 158732

[startup+1302.3 s]
/proc/loadavg: 1.06 1.08 1.18 2/107 16598
/proc/meminfo: memFree=1665788/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158732 CPUtime=1301.89
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 987890 0 0 0 129571 618 0 0 25 0 1 0 8662699 162541568 32608 1992294400 4194304 9819077 140735531015344 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39683 32608 638 1374 0 38304 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 158732

[startup+1362.3 s]
/proc/loadavg: 1.06 1.08 1.17 2/107 16598
/proc/meminfo: memFree=1670996/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158736 CPUtime=1361.86
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1027395 0 0 0 135543 643 0 0 25 0 1 0 8662699 162545664 31784 1992294400 4194304 9819077 140735531015344 18446744073709551615 6192272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39684 31784 638 1374 0 38305 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 158736

[startup+1422.31 s]
/proc/loadavg: 1.06 1.07 1.17 2/107 16600
/proc/meminfo: memFree=1665664/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158736 CPUtime=1421.85
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1065444 0 0 0 141520 665 0 0 25 0 1 0 8662699 162545664 32655 1992294400 4194304 9819077 140735531015344 18446744073709551615 6697822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39684 32655 638 1374 0 38305 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 158736

[startup+1482.3 s]
/proc/loadavg: 1.19 1.10 1.17 2/107 16602
/proc/meminfo: memFree=1664920/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=148680 CPUtime=1481.82
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1103679 0 0 0 147495 687 0 0 25 0 1 0 8662699 152248320 30685 1992294400 4194304 9819077 140735531015344 18446744073709551615 7229722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 37170 30687 638 1374 0 35791 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 148680

[startup+1542.3 s]
/proc/loadavg: 1.07 1.08 1.16 2/107 16604
/proc/meminfo: memFree=1665540/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158732 CPUtime=1541.81
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1141191 0 0 0 153472 709 0 0 25 0 1 0 8662699 162541568 32717 1992294400 4194304 9819077 140735531015344 18446744073709551615 7300447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39683 32717 638 1374 0 38304 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 158732

[startup+1602.3 s]
/proc/loadavg: 1.02 1.06 1.15 2/107 16615
/proc/meminfo: memFree=1665044/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158760 CPUtime=1601.77
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1183036 0 0 0 159444 733 0 0 25 0 1 0 8662699 162570240 32863 1992294400 4194304 9819077 140735531015344 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39690 32863 638 1374 0 38311 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 158760

[startup+1662.3 s]
/proc/loadavg: 1.01 1.05 1.14 2/107 16615
/proc/meminfo: memFree=1665168/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158760 CPUtime=1661.76
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1224983 0 0 0 165418 758 0 0 25 0 1 0 8662699 162570240 32770 1992294400 4194304 9819077 140735531015344 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39690 32770 638 1374 0 38311 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 158760

[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.13 2/107 16617
/proc/meminfo: memFree=1666780/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158732 CPUtime=1721.73
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1271116 0 0 0 171390 783 0 0 25 0 1 0 8662699 162541568 32428 1992294400 4194304 9819077 140735531015344 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39683 32428 638 1374 0 38304 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 158732

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.11 2/107 16619
/proc/meminfo: memFree=1668392/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158736 CPUtime=1781.71
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1310971 0 0 0 177365 806 0 0 25 0 1 0 8662699 162545664 32051 1992294400 4194304 9819077 140735531015344 18446744073709551615 6656795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39684 32051 638 1374 0 38305 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 158736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.03 1.11 2/107 16619
/proc/meminfo: memFree=1665168/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158700 CPUtime=1800.02
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1321691 0 0 0 179189 813 0 0 25 0 1 0 8662699 162508800 32643 1992294400 4194304 9819077 140735531015344 18446744073709551615 7300517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39675 32643 638 1374 0 38296 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 158700

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16561

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.03 1.11 2/107 16619
/proc/meminfo: memFree=1665168/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158696 CPUtime=1800.8
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1323886 0 0 0 179266 814 0 0 25 0 1 0 8662699 162504704 31360 1992294400 4194304 9819077 140735531015344 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39674 31360 638 1374 0 38295 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 158696

[startup+1802.2 s]
/proc/loadavg: 1.00 1.03 1.11 2/108 16620
/proc/meminfo: memFree=1669748/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158696 CPUtime=1801.6
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1324154 0 0 0 179346 814 0 0 25 0 1 0 8662699 162504704 31628 1992294400 4194304 9819077 140735531015344 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39674 31628 638 1374 0 38295 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 158696

[startup+1802.6 s]
/proc/loadavg: 1.00 1.03 1.11 2/108 16620
/proc/meminfo: memFree=1669748/2059040 swapFree=4152912/4192956
[pid=16561] ppid=16559 vsize=158696 CPUtime=1802.01
/proc/16561/stat : 16561 (pbscip.linux.x8) R 16559 16561 16420 0 -1 4202496 1324325 0 0 0 179386 815 0 0 25 0 1 0 8662699 162504704 31799 1992294400 4194304 9819077 140735531015344 18446744073709551615 7311256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16561/statm: 39674 31799 638 1374 0 38295 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 158696

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.05
CPU user time (s): 1793.88
CPU system time (s): 8.16576
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 158760

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

runsolver used 2.88056 second user time and 8.61269 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-16 09:34:37
IDJOB=2665329
IDBENCH=48272
IDSOLVER=1168
FILE ID=node035/2665329-1276673677
PBS_JOBID= 11172547
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665329-1276673677/watcher-2665329-1276673677 -o /tmp/evaluation-result-2665329-1276673677/solver-2665329-1276673677 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665329-1276673677.opb -t 1800 -m 1800

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

MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d
RANDOM SEED=2080294981

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1795788 kB
Buffers:         51032 kB
Cached:         113540 kB
SwapCached:       2208 kB
Active:          96308 kB
Inactive:        90216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1795788 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            6588 kB
Writeback:           4 kB
AnonPages:       19860 kB
Mapped:          13724 kB
Slab:            54900 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182984 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= 62452 MiB
End job on node035 at 2010-06-16 10:04:40