Trace number 2666744

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.1 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMdfd3914a8aa1cc34e3abdf0a14d8373d
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.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -82
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)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

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

[startup+0.035795 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14044
/proc/meminfo: memFree=1799076/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=12588 CPUtime=0.03
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 2425 0 0 0 2 1 0 0 20 0 1 0 8417134 12890112 2345 1992294400 4194304 8223781 140735775129760 18446744073709551615 7352904 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14044/statm: 3147 2345 366 984 0 2160 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12588

[startup+0.1018 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14044
/proc/meminfo: memFree=1799076/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=19056 CPUtime=0.09
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 4040 0 0 0 8 1 0 0 20 0 1 0 8417134 19513344 3960 1992294400 4194304 8223781 140735775129760 18446744073709551615 4680009 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14044/statm: 4764 3960 366 984 0 3777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19056

[startup+0.301818 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14044
/proc/meminfo: memFree=1799076/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=44980 CPUtime=0.29
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 10849 0 0 0 25 4 0 0 20 0 1 0 8417134 46059520 10405 1992294400 4194304 8223781 140735775129760 18446744073709551615 6207178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 11245 10405 383 984 0 10258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44980

[startup+0.701852 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14044
/proc/meminfo: memFree=1799076/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=62428 CPUtime=0.69
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 15349 0 0 0 62 7 0 0 20 0 1 0 8417134 63926272 14552 1992294400 4194304 8223781 140735775129760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 15607 14552 432 984 0 14620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62428

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14045
/proc/meminfo: memFree=1737316/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=69048 CPUtime=1.49
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 19191 0 0 0 121 28 0 0 23 0 1 0 8417134 70705152 16342 1992294400 4194304 8223781 140735775129760 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 17262 16342 517 984 0 16275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69048

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14045
/proc/meminfo: memFree=1732604/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=132592 CPUtime=3.08
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 36384 0 0 0 272 36 0 0 25 0 1 0 8417134 135774208 30830 1992294400 4194304 8223781 140735775129760 18446744073709551615 6568200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 33148 30831 544 984 0 32161 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 132592

[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14045
/proc/meminfo: memFree=1676060/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=134236 CPUtime=6.29
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 39678 0 0 0 590 39 0 0 25 0 1 0 8417134 137457664 31114 1992294400 4194304 8223781 140735775129760 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 33559 31114 538 984 0 32572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134236

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14045
/proc/meminfo: memFree=1674572/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=135820 CPUtime=12.68
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 45798 0 0 0 1224 44 0 0 25 0 1 0 8417134 139079680 31466 1992294400 4194304 8223781 140735775129760 18446744073709551615 6520924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 33955 31466 538 984 0 32968 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135820

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14045
/proc/meminfo: memFree=1672464/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=137724 CPUtime=25.47
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 55054 0 0 0 2496 51 0 0 25 0 1 0 8417134 141029376 32009 1992294400 4194304 8223781 140735775129760 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 34431 32009 552 984 0 33444 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 137724

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14047
/proc/meminfo: memFree=1670232/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=139772 CPUtime=51.06
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 72695 0 0 0 5043 63 0 0 25 0 1 0 8417134 143126528 32546 1992294400 4194304 8223781 140735775129760 18446744073709551615 6503928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 34943 32546 536 984 0 33956 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139772

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14047
/proc/meminfo: memFree=1666016/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=143836 CPUtime=102.26
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 99345 0 0 0 10142 84 0 0 25 0 1 0 8417134 147288064 33527 1992294400 4194304 8223781 140735775129760 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 35959 33527 536 984 0 34972 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 143836

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14049
/proc/meminfo: memFree=1660932/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=148156 CPUtime=162.23
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 126624 0 0 0 16120 103 0 0 25 0 1 0 8417134 151711744 34180 1992294400 4194304 8223781 140735775129760 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 37039 34180 536 984 0 36052 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 148156

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14051
/proc/meminfo: memFree=1660808/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=156788 CPUtime=222.21
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 151672 0 0 0 22100 121 0 0 25 0 1 0 8417134 160550912 35496 1992294400 4194304 8223781 140735775129760 18446744073709551615 6587931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 39197 35496 536 984 0 38210 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 156788

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14053
/proc/meminfo: memFree=1661304/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152796 CPUtime=282.2
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 178660 0 0 0 28080 140 0 0 25 0 1 0 8417134 156463104 34729 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38199 34729 536 984 0 37212 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 152796

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14053
/proc/meminfo: memFree=1658452/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152760 CPUtime=342.18
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 205745 0 0 0 34061 157 0 0 25 0 1 0 8417134 156426240 34557 1992294400 4194304 8223781 140735775129760 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38190 34557 536 984 0 37203 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 152760

[startup+402.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 14055
/proc/meminfo: memFree=1660684/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152600 CPUtime=402.16
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 234916 0 0 0 40041 175 0 0 25 0 1 0 8417134 156262400 34700 1992294400 4194304 8223781 140735775129760 18446744073709551615 6560154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38150 34700 536 984 0 37163 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 152600

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14066
/proc/meminfo: memFree=1661180/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152472 CPUtime=462.13
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 264820 0 0 0 46019 194 0 0 25 0 1 0 8417134 156131328 34639 1992294400 4194304 8223781 140735775129760 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38118 34639 536 984 0 37131 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 152472

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14068
/proc/meminfo: memFree=1662048/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152616 CPUtime=522.11
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 292905 0 0 0 51996 215 0 0 25 0 1 0 8417134 156278784 34430 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38154 34430 536 984 0 37167 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 152616

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14070
/proc/meminfo: memFree=1660932/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=152856 CPUtime=582.11
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 318190 0 0 0 57979 232 0 0 25 0 1 0 8417134 156524544 34718 1992294400 4194304 8223781 140735775129760 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38214 34718 536 984 0 37227 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 152856

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14070
/proc/meminfo: memFree=1660684/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153000 CPUtime=642.09
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 343562 0 0 0 63960 249 0 0 25 0 1 0 8417134 156672000 34741 1992294400 4194304 8223781 140735775129760 18446744073709551615 6560199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38250 34741 536 984 0 37263 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 153000

[startup+702.301 s]

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

/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 484636 0 0 0 99858 341 0 0 25 0 1 0 8417134 157454336 34905 1992294400 4194304 8223781 140735775129760 18446744073709551615 6502701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38441 34905 536 984 0 37454 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 153764

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14082
/proc/meminfo: memFree=1660932/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153648 CPUtime=1061.97
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 508201 0 0 0 105838 359 0 0 25 0 1 0 8417134 157335552 34696 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38412 34696 536 984 0 37425 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 153648

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14084
/proc/meminfo: memFree=1659568/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=157728 CPUtime=1121.95
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 530829 0 0 0 111822 373 0 0 25 0 1 0 8417134 161513472 35648 1992294400 4194304 8223781 140735775129760 18446744073709551615 6596668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 39432 35648 536 984 0 38445 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 157728

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14086
/proc/meminfo: memFree=1657212/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153612 CPUtime=1181.93
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 554797 0 0 0 117804 389 0 0 25 0 1 0 8417134 157298688 34887 1992294400 4194304 8223781 140735775129760 18446744073709551615 6503936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38403 34887 536 984 0 37416 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 153612

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14086
/proc/meminfo: memFree=1657708/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153620 CPUtime=1241.92
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 577436 0 0 0 123788 404 0 0 25 0 1 0 8417134 157306880 34593 1992294400 4194304 8223781 140735775129760 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38405 34593 536 984 0 37418 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 153620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14088
/proc/meminfo: memFree=1656964/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=157640 CPUtime=1301.92
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 599825 0 0 0 129772 420 0 0 25 0 1 0 8417134 161423360 35572 1992294400 4194304 8223781 140735775129760 18446744073709551615 6590705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 39410 35572 536 984 0 38423 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 157640

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14090
/proc/meminfo: memFree=1660188/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153488 CPUtime=1361.89
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 623866 0 0 0 135752 437 0 0 25 0 1 0 8417134 157171712 34809 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14044/statm: 38372 34809 536 984 0 37385 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 153488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14092
/proc/meminfo: memFree=1659692/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153528 CPUtime=1421.87
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 646564 0 0 0 141735 452 0 0 25 0 1 0 8417134 157212672 34935 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38382 34935 536 984 0 37395 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 153528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14094
/proc/meminfo: memFree=1660188/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153512 CPUtime=1481.85
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 670161 0 0 0 147716 469 0 0 25 0 1 0 8417134 157196288 34804 1992294400 4194304 8223781 140735775129760 18446744073709551615 6567192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14044/statm: 38378 34804 536 984 0 37391 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 153512

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14094
/proc/meminfo: memFree=1659692/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=157604 CPUtime=1541.83
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 693293 0 0 0 153697 486 0 0 25 0 1 0 8417134 161386496 35546 1992294400 4194304 8223781 140735775129760 18446744073709551615 6596931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 39401 35546 536 984 0 38414 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 157604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14096
/proc/meminfo: memFree=1660684/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153392 CPUtime=1601.81
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 717204 0 0 0 159678 503 0 0 25 0 1 0 8417134 157073408 34681 1992294400 4194304 8223781 140735775129760 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38348 34681 536 984 0 37361 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 153392

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14098
/proc/meminfo: memFree=1660684/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153320 CPUtime=1661.8
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 740145 0 0 0 165660 520 0 0 25 0 1 0 8417134 156999680 34664 1992294400 4194304 8223781 140735775129760 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38330 34664 536 984 0 37343 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 153320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14100
/proc/meminfo: memFree=1661056/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153204 CPUtime=1721.78
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 762357 0 0 0 171641 537 0 0 25 0 1 0 8417134 156880896 34572 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38301 34572 536 984 0 37314 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 153204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14102
/proc/meminfo: memFree=1660808/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153176 CPUtime=1781.76
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 784653 0 0 0 177621 555 0 0 25 0 1 0 8417134 156852224 34560 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38294 34560 536 984 0 37307 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 153176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14102
/proc/meminfo: memFree=1661304/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153140 CPUtime=1800.07
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 792027 0 0 0 179448 559 0 0 25 0 1 0 8417134 156815360 34436 1992294400 4194304 8223781 140735775129760 18446744073709551615 6567165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38285 34436 536 984 0 37298 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 153140

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14044

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14102
/proc/meminfo: memFree=1661304/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153140 CPUtime=1800.86
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 792066 0 0 0 179526 560 0 0 25 0 1 0 8417134 156815360 34475 1992294400 4194304 8223781 140735775129760 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38285 34475 536 984 0 37298 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 153140

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14103
/proc/meminfo: memFree=1661048/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153140 CPUtime=1801.66
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 792098 0 0 0 179606 560 0 0 25 0 1 0 8417134 156815360 34507 1992294400 4194304 8223781 140735775129760 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38285 34507 536 984 0 37298 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 153140

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14103
/proc/meminfo: memFree=1661048/2059040 swapFree=4141108/4192956
[pid=14044] ppid=14042 vsize=153140 CPUtime=1802.06
/proc/14044/stat : 14044 (pbscip.linux.x8) R 14042 14044 13584 0 -1 4202496 792114 0 0 0 179646 560 0 0 25 0 1 0 8417134 156815360 34523 1992294400 4194304 8223781 140735775129760 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14044/statm: 38285 34523 536 984 0 37298 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 153140

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.1
CPU user time (s): 1796.48
CPU system time (s): 5.62015
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 158084

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

runsolver used 3.02054 second user time and 8.46971 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-16 08:54:15
IDJOB=2666744
IDBENCH=48257
IDSOLVER=1169
FILE ID=node050/2666744-1276671255
PBS_JOBID= 11172508
Free space on /tmp= 62572 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_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666744-1276671255/watcher-2666744-1276671255 -o /tmp/evaluation-result-2666744-1276671255/solver-2666744-1276671255 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666744-1276671255.opb -t 1800 -m 1800

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

MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d
RANDOM SEED=765431073

node050.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.215
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.215
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:       1799480 kB
Buffers:         55916 kB
Cached:         112896 kB
SwapCached:       7068 kB
Active:         107072 kB
Inactive:        76432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1799480 kB
SwapTotal:     4192956 kB
SwapFree:      4141108 kB
Dirty:            4988 kB
Writeback:           0 kB
AnonPages:       11876 kB
Mapped:          13124 kB
Slab:            54220 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181536 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 node050 at 2010-06-16 09:24:18