Trace number 2666722

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.03 1802.43

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
MD5SUM493eec42e81abed935f584a4e365015a
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.11
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)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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-2666722-1276667696.opb>
0.19/0.24	c original problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17171 constraints
0.19/0.24	c problem read
0.19/0.25	c presolving settings loaded
0.39/0.47	o 0
0.39/0.47	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.47	c presolving:
1.00/1.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 126360 impls, 1000 clqs
1.99/2.07	c    (1.6s) probing: 101/16670 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.07	c    (1.6s) probing aborted: 100/100 successive totally useless probings
1.99/2.07	c presolving (2 rounds):
1.99/2.07	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.07	c  126360 implications, 1000 cliques
1.99/2.07	c presolved problem has 16670 variables (16670 bin, 0 int, 0 impl, 0 cont) and 17171 constraints
1.99/2.07	c    1000 constraints of type <setppc>
1.99/2.07	c   15670 constraints of type <and>
1.99/2.07	c       1 constraints of type <linear>
1.99/2.07	c     500 constraints of type <logicor>
1.99/2.07	c transformed objective value is always integral (scale: 1)
1.99/2.07	c Presolving Time: 1.49
1.99/2.07	c - non default parameters ----------------------------------------------------------------------
1.99/2.07	c # SCIP version 1.2.1.2
1.99/2.07	c 
1.99/2.07	c # frequency for displaying node information lines
1.99/2.07	c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.07	c display/freq = 10000
1.99/2.07	c 
1.99/2.07	c # maximal time in seconds to run
1.99/2.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.07	c limits/time = 1799.76
1.99/2.07	c 
1.99/2.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.07	c limits/memory = 1620
1.99/2.07	c 
1.99/2.07	c # should presolving try to simplify inequalities
1.99/2.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.07	c constraints/linear/simplifyinequalities = TRUE
1.99/2.07	c 
1.99/2.07	c # should presolving try to simplify knapsacks
1.99/2.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.07	c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.07	c 
1.99/2.07	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.99/2.07	c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.07	c heuristics/undercover/freq = 0
1.99/2.07	c 
1.99/2.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.07	c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.07	c separating/rapidlearning/freq = 0
1.99/2.07	c 
1.99/2.07	c -----------------------------------------------------------------------------------------------
1.99/2.07	c start solving
1.99/2.09	c 
1800.00/1800.40	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-2666722-1276667696/watcher-2666722-1276667696 -o /tmp/evaluation-result-2666722-1276667696/solver-2666722-1276667696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666722-1276667696.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.00 1.00 1.00 3/106 14552
/proc/meminfo: memFree=1787756/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=7872 CPUtime=0
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 1033 0 0 0 0 0 0 0 18 0 1 0 8064957 8060928 953 1992294400 4194304 8223781 140734189355712 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 1968 963 348 984 0 981 0

[startup+0.0499511 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14552
/proc/meminfo: memFree=1787756/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=15260 CPUtime=0.04
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 3093 0 0 0 3 1 0 0 20 0 1 0 8064957 15626240 3013 1992294400 4194304 8223781 140734189355712 18446744073709551615 7356663 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 3815 3013 366 984 0 2828 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15260

[startup+0.100954 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14552
/proc/meminfo: memFree=1787756/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=19052 CPUtime=0.09
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 4038 0 0 0 8 1 0 0 20 0 1 0 8064957 19509248 3958 1992294400 4194304 8223781 140734189355712 18446744073709551615 7210418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14552/statm: 4763 3958 366 984 0 3776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19052

[startup+0.300967 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14552
/proc/meminfo: memFree=1787756/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=44880 CPUtime=0.29
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 10822 0 0 0 25 4 0 0 20 0 1 0 8064957 45957120 10378 1992294400 4194304 8223781 140734189355712 18446744073709551615 7256645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 11220 10378 383 984 0 10233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44880

[startup+0.700991 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14552
/proc/meminfo: memFree=1787756/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=62184 CPUtime=0.69
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 15288 0 0 0 62 7 0 0 20 0 1 0 8064957 63676416 14491 1992294400 4194304 8223781 140734189355712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 15546 14491 432 984 0 14559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62184

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14553
/proc/meminfo: memFree=1725996/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=68956 CPUtime=1.49
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 19143 0 0 0 122 27 0 0 23 0 1 0 8064957 70610944 16294 1992294400 4194304 8223781 140734189355712 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 17239 16294 517 984 0 16252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68956

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14553
/proc/meminfo: memFree=1721408/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=132512 CPUtime=3.09
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 36306 0 0 0 276 33 0 0 25 0 1 0 8064957 135692288 30812 1992294400 4194304 8223781 140734189355712 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 33128 30812 536 984 0 32141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132512

[startup+6.30034 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14553
/proc/meminfo: memFree=1664864/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=133720 CPUtime=6.29
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 38898 0 0 0 593 36 0 0 25 0 1 0 8064957 136929280 31026 1992294400 4194304 8223781 140734189355712 18446744073709551615 6532949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 33430 31026 536 984 0 32443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133720

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14553
/proc/meminfo: memFree=1662260/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=136332 CPUtime=12.69
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 46220 0 0 0 1229 40 0 0 25 0 1 0 8064957 139603968 31749 1992294400 4194304 8223781 140734189355712 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 34083 31749 536 984 0 33096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136332

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14553
/proc/meminfo: memFree=1660524/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=137952 CPUtime=25.49
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 54869 0 0 0 2502 47 0 0 25 0 1 0 8064957 141262848 32178 1992294400 4194304 8223781 140734189355712 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 34488 32178 536 984 0 33501 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 137952

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14555
/proc/meminfo: memFree=1659160/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=139916 CPUtime=51.08
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 70563 0 0 0 5049 59 0 0 25 0 1 0 8064957 143273984 32534 1992294400 4194304 8223781 140734189355712 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 34979 32534 536 984 0 33992 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139916

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14555
/proc/meminfo: memFree=1655440/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=144172 CPUtime=102.27
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 97786 0 0 0 10148 79 0 0 25 0 1 0 8064957 147632128 33402 1992294400 4194304 8223781 140734189355712 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 36043 33402 536 984 0 35056 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 144172

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14557
/proc/meminfo: memFree=1653580/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=147324 CPUtime=162.25
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 125560 0 0 0 16125 100 0 0 25 0 1 0 8064957 150859776 33871 1992294400 4194304 8223781 140734189355712 18446744073709551615 6559535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 36831 33871 536 984 0 35844 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 147324

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14559
/proc/meminfo: memFree=1651472/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=150364 CPUtime=222.24
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 151887 0 0 0 22106 118 0 0 25 0 1 0 8064957 153972736 34383 1992294400 4194304 8223781 140734189355712 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 37591 34383 536 984 0 36604 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 150364

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14561
/proc/meminfo: memFree=1650728/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=150572 CPUtime=282.24
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 178431 0 0 0 28089 135 0 0 25 0 1 0 8064957 154185728 34532 1992294400 4194304 8223781 140734189355712 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 37643 34532 536 984 0 36656 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 150572

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14561
/proc/meminfo: memFree=1649736/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=156304 CPUtime=342.22
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 203661 0 0 0 34069 153 0 0 25 0 1 0 8064957 160055296 35479 1992294400 4194304 8223781 140734189355712 18446744073709551615 6583943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 39076 35479 536 984 0 38089 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 156304

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14572
/proc/meminfo: memFree=1650976/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152008 CPUtime=402.19
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 231715 0 0 0 40046 173 0 0 25 0 1 0 8064957 155656192 34511 1992294400 4194304 8223781 140734189355712 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38002 34511 536 984 0 37015 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 152008

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14574
/proc/meminfo: memFree=1650356/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=151800 CPUtime=462.18
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 263977 0 0 0 46023 195 0 0 25 0 1 0 8064957 155443200 34620 1992294400 4194304 8223781 140734189355712 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 37950 34620 536 984 0 36963 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 151800

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14576
/proc/meminfo: memFree=1650852/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=151788 CPUtime=522.16
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 296001 0 0 0 52001 215 0 0 25 0 1 0 8064957 155430912 34501 1992294400 4194304 8223781 140734189355712 18446744073709551615 6562664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 37947 34501 536 984 0 36960 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 151788

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14578
/proc/meminfo: memFree=1650480/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=151912 CPUtime=582.15
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 324321 0 0 0 57981 234 0 0 25 0 1 0 8064957 155557888 34583 1992294400 4194304 8223781 140734189355712 18446744073709551615 6567098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 37978 34583 536 984 0 36991 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 151912

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14578
/proc/meminfo: memFree=1648000/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=156156 CPUtime=642.15
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 349064 0 0 0 63963 252 0 0 25 0 1 0 8064957 159903744 35175 1992294400 4194304 8223781 140734189355712 18446744073709551615 6590705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 39039 35175 536 984 0 38052 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 156156

[startup+702.301 s]

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

/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 492446 0 0 0 99857 350 0 0 25 0 1 0 8064957 155987968 34686 1992294400 4194304 8223781 140734189355712 18446744073709551615 6532678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38083 34686 536 984 0 37096 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 152332

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14590
/proc/meminfo: memFree=1649240/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152416 CPUtime=1062.05
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 514653 0 0 0 105839 366 0 0 25 0 1 0 8064957 156073984 34857 1992294400 4194304 8223781 140734189355712 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38104 34857 536 984 0 37117 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 152416

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14592
/proc/meminfo: memFree=1646760/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152400 CPUtime=1122.04
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 538528 0 0 0 111821 383 0 0 25 0 1 0 8064957 156057600 34748 1992294400 4194304 8223781 140734189355712 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38100 34748 536 984 0 37113 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 152400

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14594
/proc/meminfo: memFree=1649612/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152476 CPUtime=1182.03
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 559542 0 0 0 117803 400 0 0 25 0 1 0 8064957 156135424 34718 1992294400 4194304 8223781 140734189355712 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38119 34718 536 984 0 37132 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 152476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14594
/proc/meminfo: memFree=1649116/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152460 CPUtime=1242.01
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 581848 0 0 0 123785 416 0 0 25 0 1 0 8064957 156119040 34796 1992294400 4194304 8223781 140734189355712 18446744073709551615 6503924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38115 34796 536 984 0 37128 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 152460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14596
/proc/meminfo: memFree=1648868/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152328 CPUtime=1302
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 604053 0 0 0 129769 431 0 0 25 0 1 0 8064957 155983872 34810 1992294400 4194304 8223781 140734189355712 18446744073709551615 6562450 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38082 34810 536 984 0 37095 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 152328

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14598
/proc/meminfo: memFree=1648744/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152352 CPUtime=1361.99
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 626752 0 0 0 135752 447 0 0 25 0 1 0 8064957 156008448 34860 1992294400 4194304 8223781 140734189355712 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38088 34860 536 984 0 37101 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 152352

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14600
/proc/meminfo: memFree=1649364/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152292 CPUtime=1421.98
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 651425 0 0 0 141734 464 0 0 25 0 1 0 8064957 155947008 34702 1992294400 4194304 8223781 140734189355712 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38073 34702 536 984 0 37086 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 152292

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 14602
/proc/meminfo: memFree=1649860/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152364 CPUtime=1481.96
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 674416 0 0 0 147717 479 0 0 25 0 1 0 8064957 156020736 34623 1992294400 4194304 8223781 140734189355712 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38091 34623 536 984 0 37104 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 152364

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 14602
/proc/meminfo: memFree=1649116/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152308 CPUtime=1541.95
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 697183 0 0 0 153702 493 0 0 25 0 1 0 8064957 155963392 34793 1992294400 4194304 8223781 140734189355712 18446744073709551615 6567169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38077 34793 536 984 0 37090 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 152308

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14604
/proc/meminfo: memFree=1648868/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152256 CPUtime=1601.93
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 721476 0 0 0 159682 511 0 0 25 0 1 0 8064957 155910144 34696 1992294400 4194304 8223781 140734189355712 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38064 34696 536 984 0 37077 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 152256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14606
/proc/meminfo: memFree=1649116/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152292 CPUtime=1661.92
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 744475 0 0 0 165662 530 0 0 25 0 1 0 8064957 155947008 34774 1992294400 4194304 8223781 140734189355712 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38073 34774 536 984 0 37086 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 152292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14608
/proc/meminfo: memFree=1648620/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152296 CPUtime=1721.91
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 769056 0 0 0 171643 548 0 0 25 0 1 0 8064957 155951104 34731 1992294400 4194304 8223781 140734189355712 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38074 34731 536 984 0 37087 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 152296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14610
/proc/meminfo: memFree=1648992/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152296 CPUtime=1781.9
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 793294 0 0 0 177626 564 0 0 25 0 1 0 8064957 155951104 34736 1992294400 4194304 8223781 140734189355712 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38074 34736 536 984 0 37087 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 152296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14610
/proc/meminfo: memFree=1648744/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152284 CPUtime=1800
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 799823 0 0 0 179431 569 0 0 25 0 1 0 8064957 155938816 34793 1992294400 4194304 8223781 140734189355712 18446744073709551615 6533044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38071 34793 536 984 0 37084 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 152284

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14552

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14611
/proc/meminfo: memFree=1648612/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152284 CPUtime=1801
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 799854 0 0 0 179531 569 0 0 25 0 1 0 8064957 155938816 34824 1992294400 4194304 8223781 140734189355712 18446744073709551615 6560183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38071 34824 536 984 0 37084 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 152284

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14611
/proc/meminfo: memFree=1645760/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152280 CPUtime=1801.79
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 801368 0 0 0 179610 569 0 0 25 0 1 0 8064957 155934720 34682 1992294400 4194304 8223781 140734189355712 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38070 34682 536 984 0 37083 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 152280

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14611
/proc/meminfo: memFree=1645760/2059040 swapFree=4164944/4192956
[pid=14552] ppid=14550 vsize=152280 CPUtime=1801.99
/proc/14552/stat : 14552 (pbscip.linux.x8) R 14550 14552 13855 0 -1 4202496 801375 0 0 0 179630 569 0 0 25 0 1 0 8064957 155934720 34689 1992294400 4194304 8223781 140734189355712 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14552/statm: 38070 34689 536 984 0 37083 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 152280

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.03
CPU user time (s): 1796.31
CPU system time (s): 5.71313
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 156668

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

runsolver used 2.92755 second user time and 8.5617 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-16 07:54:56
IDJOB=2666722
IDBENCH=48235
IDSOLVER=1169
FILE ID=node029/2666722-1276667696
PBS_JOBID= 11172475
Free space on /tmp= 62576 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_25_2.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-2666722-1276667696/watcher-2666722-1276667696 -o /tmp/evaluation-result-2666722-1276667696/solver-2666722-1276667696 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666722-1276667696.opb -t 1800 -m 1800

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

MD5SUM BENCH= 493eec42e81abed935f584a4e365015a
RANDOM SEED=1158457090

node029.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.221
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.44
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.221
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:       1788160 kB
Buffers:         59672 kB
Cached:         111720 kB
SwapCached:       1508 kB
Active:         101236 kB
Inactive:       104276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1788160 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:            5000 kB
Writeback:           0 kB
AnonPages:       32616 kB
Mapped:          15128 kB
Slab:            43512 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181744 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= 62568 MiB
End job on node029 at 2010-06-16 08:24:58