Trace number 2665287

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.12 1802.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa5ab0443a6669cc558112b6f5f13d1cd
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-61
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 -72
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

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-2665287-1276666820.opb>
0.89/0.95	c original problem has 77286 variables (77286 bin, 0 int, 0 impl, 0 cont) and 78287 constraints
0.89/0.95	c problem read
0.89/0.95	c presolving settings loaded
1.99/2.02	o 0
1.99/2.02	c feasible solution found by trivial heuristic, objective value  0.000000e+00
1.99/2.02	c presolving:
6.50/6.55	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598856 impls, 2000 clqs
12.79/12.85	c    (11.4s) probing: 101/77286 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
12.79/12.85	c    (11.4s) probing aborted: 100/100 successive totally useless probings
12.79/12.86	c presolving (2 rounds):
12.79/12.86	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.79/12.86	c  598856 implications, 2000 cliques
12.79/12.86	c presolved problem has 77286 variables (77286 bin, 0 int, 0 impl, 0 cont) and 78287 constraints
12.79/12.86	c    2000 constraints of type <setppc>
12.79/12.86	c   75286 constraints of type <and>
12.79/12.86	c       1 constraints of type <linear>
12.79/12.86	c    1000 constraints of type <logicor>
12.79/12.86	c transformed objective value is always integral (scale: 1)
12.79/12.86	c Presolving Time: 11.05
12.79/12.86	c - non default parameters ----------------------------------------------------------------------
12.79/12.86	c # SCIP version 1.2.1.2
12.79/12.86	c 
12.79/12.86	c # frequency for displaying node information lines
12.79/12.86	c # [type: int, range: [-1,2147483647], default: 100]
12.79/12.86	c display/freq = 10000
12.79/12.86	c 
12.79/12.86	c # maximal time in seconds to run
12.79/12.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.79/12.86	c limits/time = 1799.05
12.79/12.86	c 
12.79/12.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.79/12.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.79/12.86	c limits/memory = 1620
12.79/12.86	c 
12.79/12.86	c # should presolving try to simplify inequalities
12.79/12.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.79/12.86	c constraints/linear/simplifyinequalities = TRUE
12.79/12.86	c 
12.79/12.86	c # should presolving try to simplify knapsacks
12.79/12.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.79/12.86	c constraints/knapsack/simplifyinequalities = TRUE
12.79/12.86	c 
12.79/12.86	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
12.79/12.86	c # [type: int, range: [-1,2147483647], default: -1]
12.79/12.86	c heuristics/undercover/freq = 0
12.79/12.86	c 
12.79/12.86	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.79/12.86	c # [type: int, range: [-1,2147483647], default: -1]
12.79/12.86	c separating/rapidlearning/freq = 0
12.79/12.86	c 
12.79/12.86	c -----------------------------------------------------------------------------------------------
12.79/12.86	c start solving
12.89/12.94	c 
1800.05/1800.71	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-2665287-1276666820/watcher-2665287-1276666820 -o /tmp/evaluation-result-2665287-1276666820/solver-2665287-1276666820 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665287-1276666820.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 15800
/proc/meminfo: memFree=1472176/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=9880 CPUtime=0
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1040 0 0 0 0 0 0 0 22 0 1 0 7974756 10117120 960 1992294400 4194304 9819077 140736733335616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15800/statm: 2470 970 371 1374 0 1091 0

[startup+0.044033 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 15800
/proc/meminfo: memFree=1472176/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=17276 CPUtime=0.03
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 3122 0 0 0 3 0 0 0 24 0 1 0 7974756 17690624 3042 1992294400 4194304 9819077 140736733335616 18446744073709551615 4373936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15800/statm: 4319 3042 389 1374 0 2940 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17276

[startup+0.102042 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 15800
/proc/meminfo: memFree=1472176/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=25952 CPUtime=0.09
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 5285 0 0 0 8 1 0 0 24 0 1 0 7974756 26574848 5205 1992294400 4194304 9819077 140736733335616 18446744073709551615 8668207 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15800/statm: 6488 5205 389 1374 0 5109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25952

[startup+0.301071 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 15800
/proc/meminfo: memFree=1472176/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=49384 CPUtime=0.29
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 11215 0 0 0 26 3 0 0 25 0 1 0 7974756 50569216 11135 1992294400 4194304 9819077 140736733335616 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15800/statm: 12346 11135 389 1374 0 10967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49384

[startup+0.701129 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 15800
/proc/meminfo: memFree=1472176/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=84108 CPUtime=0.69
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 19925 0 0 0 63 6 0 0 25 0 1 0 7974756 86126592 19845 1992294400 4194304 9819077 140736733335616 18446744073709551615 8668235 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15800/statm: 21027 19845 389 1374 0 19648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84108

[startup+1.50124 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 15801
/proc/meminfo: memFree=1369372/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=200568 CPUtime=1.49
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 49498 0 0 0 133 16 0 0 25 0 1 0 7974756 205381632 48916 1992294400 4194304 9819077 140736733335616 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 50142 48916 450 1374 0 48763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 200568

[startup+3.10147 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 15801
/proc/meminfo: memFree=1268312/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=218564 CPUtime=3.09
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 53768 0 0 0 290 19 0 0 25 0 1 0 7974756 223809536 53186 1992294400 4194304 9819077 140736733335616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 54641 53186 478 1374 0 53262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 218564

[startup+6.30092 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 15801
/proc/meminfo: memFree=1241652/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=253032 CPUtime=6.29
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 64504 0 0 0 592 37 0 0 25 0 1 0 7974756 259104768 61832 1992294400 4194304 9819077 140736733335616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 63258 61832 499 1374 0 61879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 253032

[startup+12.7008 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 15803
/proc/meminfo: memFree=1212264/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=268284 CPUtime=12.69
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 72281 0 0 0 1216 53 0 0 25 0 1 0 7974756 274722816 65612 1992294400 4194304 9819077 140736733335616 18446744073709551615 4780843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 67071 65612 620 1374 0 65692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268284

[startup+25.5017 s]
/proc/loadavg: 0.95 1.00 0.99 2/107 15803
/proc/meminfo: memFree=960296/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=596808 CPUtime=25.48
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 148361 0 0 0 2467 81 0 0 25 0 1 0 7974756 611131392 128371 1992294400 4194304 9819077 140736733335616 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 149202 128371 636 1374 0 147823 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 596808

[startup+51.1013 s]
/proc/loadavg: 0.96 1.00 0.99 2/107 15803
/proc/meminfo: memFree=961040/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=627016 CPUtime=51.08
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 172049 0 0 0 5013 95 0 0 25 0 1 0 7974756 642064384 128047 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 156754 128047 638 1374 0 155375 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 627016

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 15805
/proc/meminfo: memFree=962652/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=630020 CPUtime=102.27
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 200340 0 0 0 10116 111 0 0 25 0 1 0 7974756 645140480 128095 1992294400 4194304 9819077 140736733335616 18446744073709551615 6519223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 157505 128095 638 1374 0 156126 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 630020

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15807
/proc/meminfo: memFree=958684/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=631340 CPUtime=162.24
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 228980 0 0 0 16097 127 0 0 25 0 1 0 7974756 646492160 128648 1992294400 4194304 9819077 140736733335616 18446744073709551615 6676951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 157835 128648 638 1374 0 156456 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 631340

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15807
/proc/meminfo: memFree=956204/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=634088 CPUtime=222.23
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 282605 0 0 0 22069 154 0 0 25 0 1 0 7974756 649306112 129258 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 158522 129258 639 1374 0 157143 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 634088

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15809
/proc/meminfo: memFree=958560/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=634856 CPUtime=282.19
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 332729 0 0 0 28040 179 0 0 25 0 1 0 7974756 650092544 128755 1992294400 4194304 9819077 140736733335616 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 158714 128755 639 1374 0 157335 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 634856

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15811
/proc/meminfo: memFree=957692/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=635500 CPUtime=342.17
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 369679 0 0 0 34020 197 0 0 25 0 1 0 7974756 650752000 128857 1992294400 4194304 9819077 140736733335616 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 158875 128857 639 1374 0 157496 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 635500

[startup+402.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15813
/proc/meminfo: memFree=953724/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=636228 CPUtime=402.16
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 413067 0 0 0 39997 219 0 0 25 0 1 0 7974756 651497472 130064 1992294400 4194304 9819077 140736733335616 18446744073709551615 6198619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 159057 130064 639 1374 0 157678 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 636228

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15815
/proc/meminfo: memFree=956576/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=637356 CPUtime=462.14
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 459217 0 0 0 45972 242 0 0 25 0 1 0 7974756 652652544 129145 1992294400 4194304 9819077 140736733335616 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 159339 129145 639 1374 0 157960 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 637356

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15815
/proc/meminfo: memFree=944300/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=638120 CPUtime=522.11
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 489890 0 0 0 51952 259 0 0 25 0 1 0 7974756 653434880 132190 1992294400 4194304 9819077 140736733335616 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 159530 132190 639 1374 0 158151 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 638120

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15817
/proc/meminfo: memFree=957072/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=639172 CPUtime=582.09
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 530506 0 0 0 57930 279 0 0 25 0 1 0 7974756 654512128 128976 1992294400 4194304 9819077 140736733335616 18446744073709551615 6198590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 159793 128976 639 1374 0 158414 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 639172

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15819
/proc/meminfo: memFree=956824/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=639108 CPUtime=642.07
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 554467 0 0 0 63914 293 0 0 25 0 1 0 7974756 654446592 129009 1992294400 4194304 9819077 140736733335616 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 159777 129009 639 1374 0 158398 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 639108

[startup+702.301 s]

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

/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 751345 0 0 0 105798 394 0 0 25 0 1 0 7974756 656150528 130426 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160193 130426 639 1374 0 158814 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 640772

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15831
/proc/meminfo: memFree=946284/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=640840 CPUtime=1121.9
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 783158 0 0 0 111780 410 0 0 25 0 1 0 7974756 656220160 131675 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160210 131675 639 1374 0 158831 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 640840

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15833
/proc/meminfo: memFree=955584/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=641320 CPUtime=1181.88
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 811203 0 0 0 117763 425 0 0 25 0 1 0 7974756 656711680 129279 1992294400 4194304 9819077 140736733335616 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160330 129279 639 1374 0 158951 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 641320

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15844
/proc/meminfo: memFree=954592/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=641384 CPUtime=1241.83
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 840233 0 0 0 123744 439 0 0 25 0 1 0 7974756 656777216 129249 1992294400 4194304 9819077 140736733335616 18446744073709551615 7295923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160346 129249 639 1374 0 158967 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 641384

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15846
/proc/meminfo: memFree=955832/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=641540 CPUtime=1301.82
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 869839 0 0 0 129728 454 0 0 25 0 1 0 7974756 656936960 129031 1992294400 4194304 9819077 140736733335616 18446744073709551615 6697822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160385 129031 639 1374 0 159006 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 641540

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15848
/proc/meminfo: memFree=952484/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=641900 CPUtime=1361.79
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 892413 0 0 0 135713 466 0 0 25 0 1 0 7974756 657305600 129962 1992294400 4194304 9819077 140736733335616 18446744073709551615 6697312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160475 129962 639 1374 0 159096 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 641900

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15848
/proc/meminfo: memFree=941076/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=642116 CPUtime=1421.78
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 916758 0 0 0 141700 478 0 0 25 0 1 0 7974756 657526784 132719 1992294400 4194304 9819077 140736733335616 18446744073709551615 7300432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160529 132719 639 1374 0 159150 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 642116

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15850
/proc/meminfo: memFree=948640/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=642692 CPUtime=1481.75
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 947249 0 0 0 147680 495 0 0 25 0 1 0 7974756 658116608 130953 1992294400 4194304 9819077 140736733335616 18446744073709551615 7293672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160673 130953 639 1374 0 159294 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 642692

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 15852
/proc/meminfo: memFree=955708/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=643304 CPUtime=1541.73
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 977169 0 0 0 153663 510 0 0 25 0 1 0 7974756 658743296 129123 1992294400 4194304 9819077 140736733335616 18446744073709551615 6676951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160826 129123 639 1374 0 159447 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 643304

[startup+1602.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 15854
/proc/meminfo: memFree=954716/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=643820 CPUtime=1601.7
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 999676 0 0 0 159649 521 0 0 25 0 1 0 7974756 659271680 129441 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 160955 129441 639 1374 0 159576 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 643820

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 15856
/proc/meminfo: memFree=949384/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=644268 CPUtime=1661.69
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1022948 0 0 0 165634 535 0 0 25 0 1 0 7974756 659730432 130758 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161067 130758 639 1374 0 159688 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 644268

[startup+1722.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 15856
/proc/meminfo: memFree=951492/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=644936 CPUtime=1721.67
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1056008 0 0 0 171616 551 0 0 25 0 1 0 7974756 660414464 130514 1992294400 4194304 9819077 140736733335616 18446744073709551615 6198743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161234 130514 639 1374 0 159855 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 644936

[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 15858
/proc/meminfo: memFree=939712/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645484 CPUtime=1781.65
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1081135 0 0 0 177600 565 0 0 25 0 1 0 7974756 660975616 133084 1992294400 4194304 9819077 140736733335616 18446744073709551615 7294763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161371 133084 639 1374 0 159992 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 645484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 15858
/proc/meminfo: memFree=940332/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645736 CPUtime=1800.05
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1092217 0 0 0 179435 570 0 0 25 0 1 0 7974756 661233664 132961 1992294400 4194304 9819077 140736733335616 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161434 132961 639 1374 0 160055 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 645736

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15800

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 15858
/proc/meminfo: memFree=940332/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645736 CPUtime=1800.74
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1092245 0 0 0 179504 570 0 0 25 0 1 0 7974756 661233664 132989 1992294400 4194304 9819077 140736733335616 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161434 132989 639 1374 0 160055 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 645736

[startup+1802.2 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 15859
/proc/meminfo: memFree=940076/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645736 CPUtime=1801.54
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1092278 0 0 0 179584 570 0 0 25 0 1 0 7974756 661233664 133022 1992294400 4194304 9819077 140736733335616 18446744073709551615 7294742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161434 133022 639 1374 0 160055 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 645736

[startup+1802.6 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 15859
/proc/meminfo: memFree=940076/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645736 CPUtime=1801.94
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1092287 0 0 0 179624 570 0 0 25 0 1 0 7974756 661233664 133031 1992294400 4194304 9819077 140736733335616 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161434 133031 639 1374 0 160055 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 645736

[startup+1802.7 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 15859
/proc/meminfo: memFree=940076/2059040 swapFree=4192956/4192956
[pid=15800] ppid=15798 vsize=645736 CPUtime=1802.04
/proc/15800/stat : 15800 (pbscip.linux.x8) R 15798 15800 14970 0 -1 4202496 1092290 0 0 0 179634 570 0 0 25 0 1 0 7974756 661233664 133034 1992294400 4194304 9819077 140736733335616 18446744073709551615 6191108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15800/statm: 161434 133034 639 1374 0 160055 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 645736

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.77
CPU time (s): 1802.12
CPU user time (s): 1796.36
CPU system time (s): 5.75812
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 645736

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

runsolver used 2.94155 second user time and 8.5587 second system time

The end

Launcher Data 

Begin job on node039 at 2010-06-16 07:40:20
IDJOB=2665287
IDBENCH=48230
IDSOLVER=1168
FILE ID=node039/2665287-1276666820
PBS_JOBID= 11172476
Free space on /tmp= 62548 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_1000_60_2.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-2665287-1276666820/watcher-2665287-1276666820 -o /tmp/evaluation-result-2665287-1276666820/solver-2665287-1276666820 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665287-1276666820.opb -t 1800 -m 1800

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

MD5SUM BENCH= a5ab0443a6669cc558112b6f5f13d1cd
RANDOM SEED=534472459

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1472704 kB
Buffers:        124216 kB
Cached:         319676 kB
SwapCached:          0 kB
Active:         162260 kB
Inactive:       340972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1472704 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8368 kB
Writeback:           0 kB
AnonPages:       59324 kB
Mapped:          15324 kB
Slab:            61288 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182764 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= 62544 MiB
End job on node039 at 2010-06-16 08:10:23