Trace number 2687602

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? (MO) 741.65 741.882

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9021_5.std.opb
MD5SUMaa972c70d521daa1738bd997a5a53983
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark1798.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184309
Number of constraints which are clauses183109
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2687602-1278454618.opb>
3.30/3.31	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
3.30/3.31	c problem read
3.30/3.31	c presolving settings loaded
4.19/4.29	c presolving:
15.29/15.37	c (round 1) 4517 del vars, 13331 del conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs
22.19/22.28	c (round 2) 9805 del vars, 32221 del conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs
24.38/24.42	c (round 3) 11376 del vars, 40367 del conss, 9097 chg bounds, 74 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
25.58/25.67	c (round 4) 12030 del vars, 43159 del conss, 9489 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
26.30/26.38	c (round 5) 12448 del vars, 44885 del conss, 9691 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
26.78/26.83	c (round 6) 12628 del vars, 45709 del conss, 9776 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
27.08/27.16	c (round 7) 12714 del vars, 46109 del conss, 9821 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
27.39/27.43	c (round 8) 12758 del vars, 46319 del conss, 9847 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
27.58/27.67	c (round 9) 12784 del vars, 46438 del conss, 9863 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
27.78/27.89	c (round 10) 12794 del vars, 46496 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
29.19/29.29	c (round 11) 12794 del vars, 46507 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
30.28/30.34	c (round 12) 12794 del vars, 46507 del conss, 9869 chg bounds, 98 chg sides, 212 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
739.47/739.70	c pressed CTRL-C 1 times (5 times for forcing termination)
740.46/740.77	c    (733.8s) probing: 721/41988 (1.7%) - 13 fixings, 1 aggregations, 8200143 implications, 0 bound changes
740.46/740.77	c    (733.8s) probing aborted: solving stopped
740.46/740.77	c (round 13) 12808 del vars, 46507 del conss, 9869 chg bounds, 104 chg sides, 243 chg coeffs, 137802 upgd conss, 45343126 impls, 1911 clqs
740.46/740.77	c presolving (13 rounds):
740.46/740.77	c  12808 deleted vars, 46507 deleted constraints, 9869 tightened bounds, 0 added holes, 104 changed sides, 243 changed coefficients
740.46/740.77	c  45343126 implications, 1911 cliques
740.46/740.77	c presolving was interrupted.
740.46/740.77	c Presolving Time: 733.32
740.46/740.77	c - non default parameters ----------------------------------------------------------------------
740.46/740.77	c # SCIP version 1.2.1.2
740.46/740.77	c 
740.46/740.77	c # frequency for displaying node information lines
740.46/740.77	c # [type: int, range: [-1,2147483647], default: 100]
740.46/740.77	c display/freq = 10000
740.46/740.77	c 
740.46/740.77	c # maximal time in seconds to run
740.46/740.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
740.46/740.77	c limits/time = 1796.69
740.46/740.77	c 
740.46/740.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
740.46/740.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
740.46/740.77	c limits/memory = 1620
740.46/740.77	c 
740.46/740.77	c # should presolving try to simplify inequalities
740.46/740.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
740.46/740.77	c constraints/linear/simplifyinequalities = TRUE
740.46/740.77	c 
740.46/740.77	c # should presolving try to simplify knapsacks
740.46/740.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
740.46/740.77	c constraints/knapsack/simplifyinequalities = TRUE
740.46/740.77	c 
740.46/740.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
740.46/740.77	c # [type: int, range: [-1,2147483647], default: -1]
740.46/740.77	c separating/rapidlearning/freq = 0
740.46/740.77	c 
740.46/740.77	c -----------------------------------------------------------------------------------------------
740.46/740.77	c start solving
740.66/740.97	c presolving:

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-2687602-1278454618/watcher-2687602-1278454618 -o /tmp/evaluation-result-2687602-1278454618/solver-2687602-1278454618 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687602-1278454618.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 21018
/proc/meminfo: memFree=1856816/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=6696 CPUtime=0
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 13668531 6856704 903 1992294400 4194304 8223781 140735955219520 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 1674 912 343 984 0 687 0

[startup+0.0928129 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21018
/proc/meminfo: memFree=1856816/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=15576 CPUtime=0.08
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 3184 0 0 0 8 0 0 0 20 0 1 0 13668531 15949824 3103 1992294400 4194304 8223781 140735955219520 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 3894 3103 365 984 0 2907 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15576

[startup+0.100813 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21018
/proc/meminfo: memFree=1856816/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=16048 CPUtime=0.09
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 3301 0 0 0 8 1 0 0 20 0 1 0 13668531 16433152 3220 1992294400 4194304 8223781 140735955219520 18446744073709551615 4240576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 4012 3220 365 984 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16048

[startup+0.30083 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21018
/proc/meminfo: memFree=1856816/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=28068 CPUtime=0.29
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 6344 0 0 0 27 2 0 0 20 0 1 0 13668531 28741632 6254 1992294400 4194304 8223781 140735955219520 18446744073709551615 7246464 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 7017 6254 365 984 0 6030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28068

[startup+0.700867 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21018
/proc/meminfo: memFree=1856816/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=43348 CPUtime=0.69
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 10117 0 0 0 66 3 0 0 21 0 1 0 13668531 44388352 10027 1992294400 4194304 8223781 140735955219520 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 10837 10027 365 984 0 9850 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43348

[startup+1.50094 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21019
/proc/meminfo: memFree=1812292/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=59944 CPUtime=1.49
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 14266 0 0 0 144 5 0 0 23 0 1 0 13668531 61382656 14176 1992294400 4194304 8223781 140735955219520 18446744073709551615 5650785 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 14986 14176 365 984 0 13999 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59944

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21019
/proc/meminfo: memFree=1784516/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=107460 CPUtime=3.09
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 26131 0 0 0 299 10 0 0 25 0 1 0 13668531 110039040 26041 1992294400 4194304 8223781 140735955219520 18446744073709551615 7246823 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21018/statm: 26865 26041 365 984 0 25878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107460

[startup+6.30037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21019
/proc/meminfo: memFree=1527588/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=386200 CPUtime=6.29
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 95158 0 0 0 591 38 0 0 25 0 1 0 13668531 395468800 94668 1992294400 4194304 8223781 140735955219520 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 96550 94680 441 984 0 95563 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386200

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21021
/proc/meminfo: memFree=1265080/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=626052 CPUtime=12.69
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 153410 0 0 0 1203 66 0 0 25 0 1 0 13668531 641077248 152919 1992294400 4194304 8223781 140735955219520 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 156513 152919 445 984 0 155526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 626052

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21021
/proc/meminfo: memFree=1208660/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=662996 CPUtime=25.48
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 163127 0 0 0 2448 100 0 0 25 0 1 0 13668531 678907904 161865 1992294400 4194304 8223781 140735955219520 18446744073709551615 5966370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 165749 161865 445 984 0 164762 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 662996

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21021
/proc/meminfo: memFree=1109708/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=770720 CPUtime=51.07
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 208641 0 0 0 4918 189 0 0 25 0 1 0 13668531 789217280 186843 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 192680 186843 479 984 0 191693 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 770720

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21023
/proc/meminfo: memFree=1076848/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=803316 CPUtime=102.26
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 216864 0 0 0 10033 193 0 0 25 0 1 0 13668531 822595584 194967 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 200829 194967 479 984 0 199842 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 803316

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21025
/proc/meminfo: memFree=1005052/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=885956 CPUtime=162.24
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 236481 0 0 0 16020 204 0 0 25 0 1 0 13668531 907218944 214584 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 221489 214584 479 984 0 220502 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 885956

[startup+222.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 21028
/proc/meminfo: memFree=930900/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=953620 CPUtime=222.21
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 253242 0 0 0 22010 211 0 0 25 0 1 0 13668531 976506880 231089 1992294400 4194304 8223781 140735955219520 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 238405 231089 479 984 0 237418 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 953620

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 21030
/proc/meminfo: memFree=872868/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1014276 CPUtime=282.19
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 268207 0 0 0 28000 219 0 0 25 0 1 0 13668531 1038618624 245765 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 253569 245765 480 984 0 252582 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1014276

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21032
/proc/meminfo: memFree=777636/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1110912 CPUtime=342.18
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 292016 0 0 0 33987 231 0 0 25 0 1 0 13668531 1137573888 269574 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 277728 269574 480 984 0 276741 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1110912

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21034
/proc/meminfo: memFree=686248/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1203604 CPUtime=402.16
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 315834 0 0 0 39973 243 0 0 25 0 1 0 13668531 1232490496 292368 1992294400 4194304 8223781 140735955219520 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 300901 292368 480 984 0 299914 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1203604

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21036
/proc/meminfo: memFree=597092/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1290300 CPUtime=462.14
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 337872 0 0 0 45959 255 0 0 25 0 1 0 13668531 1321267200 314406 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 322575 314406 480 984 0 321588 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1290300

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21036
/proc/meminfo: memFree=476448/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1410728 CPUtime=522.13
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 368464 0 0 0 51941 272 0 0 25 0 1 0 13668531 1444585472 344998 1992294400 4194304 8223781 140735955219520 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 352682 344998 480 984 0 351695 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1410728

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21038
/proc/meminfo: memFree=358772/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1530636 CPUtime=582.1
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 398166 0 0 0 57918 292 0 0 25 0 1 0 13668531 1567371264 374187 1992294400 4194304 8223781 140735955219520 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 382659 374187 480 984 0 381672 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1530636

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21040
/proc/meminfo: memFree=259200/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1628072 CPUtime=642.1
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 423394 0 0 0 63900 310 0 0 25 0 1 0 13668531 1667145728 398646 1992294400 4194304 8223781 140735955219520 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 407018 398646 480 984 0 406031 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1628072

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21042
/proc/meminfo: memFree=154420/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1735012 CPUtime=702.07
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 449781 0 0 0 69873 334 0 0 25 0 1 0 13668531 1776652288 425033 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 433753 425033 480 984 0 432766 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 1735012



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+739.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21042
/proc/meminfo: memFree=44804/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1845832 CPUtime=739.47
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 477503 0 0 0 73597 350 0 0 25 0 1 0 13668531 1890131968 452243 1992294400 4194304 8223781 140735955219520 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 461458 452243 480 984 0 460471 0
Current children cumulated CPU time (s) 739.47
Current children cumulated vsize (KiB) 1845832

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21018

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

[startup+740.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21043
/proc/meminfo: memFree=37108/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1856068 CPUtime=740.36
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 479810 0 0 0 73685 351 0 0 25 0 1 0 13668531 1900613632 454550 1992294400 4194304 8223781 140735955219520 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 464017 454550 480 984 0 463030 0
Current children cumulated CPU time (s) 740.36
Current children cumulated vsize (KiB) 1856068

[startup+741.408 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21043
/proc/meminfo: memFree=31776/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=1858484 CPUtime=741.16
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4202496 480930 0 0 0 73765 351 0 0 25 0 1 0 13668531 1903087616 455411 1992294400 4194304 8223781 140735955219520 18446744073709551615 4890981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21018/statm: 464621 455411 486 984 0 463634 0
Current children cumulated CPU time (s) 741.16
Current children cumulated vsize (KiB) 1858484

[startup+741.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21043
/proc/meminfo: memFree=31776/2059040 swapFree=4147816/4192956
[pid=21018] ppid=21016 vsize=0 CPUtime=741.55
/proc/21018/stat : 21018 (pbscip.linux.x8) R 21016 21018 20286 0 -1 4203524 480930 0 0 0 73795 360 0 0 25 0 1 0 13668531 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21018/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 741.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 741.882
CPU time (s): 741.65
CPU user time (s): 737.96
CPU system time (s): 3.69044
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1858484

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

runsolver used 1.2938 second user time and 3.44848 second system time

The end

Launcher Data 

Begin job on node051 at 2010-07-07 00:16:58
IDJOB=2687602
IDBENCH=78108
IDSOLVER=1169
FILE ID=node051/2687602-1278454618
PBS_JOBID= 11233514
Free space on /tmp= 62516 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.std.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-2687602-1278454618/watcher-2687602-1278454618 -o /tmp/evaluation-result-2687602-1278454618/solver-2687602-1278454618 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687602-1278454618.opb -t 1800 -m 1800

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

MD5SUM BENCH= aa972c70d521daa1738bd997a5a53983
RANDOM SEED=632233072

node051.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.201
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.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1857344 kB
Buffers:          7412 kB
Cached:         101668 kB
SwapCached:       4216 kB
Active:          20912 kB
Inactive:       108504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857344 kB
SwapTotal:     4192956 kB
SwapFree:      4147816 kB
Dirty:           10172 kB
Writeback:           0 kB
AnonPages:       17060 kB
Mapped:          12032 kB
Slab:            50156 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181264 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= 62512 MiB
End job on node051 at 2010-07-07 00:29:20