Trace number 2704983

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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (MO) 1156.66 1157.09

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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704983-1278582826.opb>
2.79/2.86	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
2.79/2.86	c problem read
2.79/2.86	c presolving settings loaded
3.79/3.84	c presolving:
15.88/15.94	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.88/22.91	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.88/24.98	c (round 3) 11376 del vars, 40367 del conss, 9097 chg bounds, 79 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
26.08/26.16	c (round 4) 12030 del vars, 43159 del conss, 9489 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
26.68/26.79	c (round 5) 12448 del vars, 44885 del conss, 9691 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
27.08/27.15	c (round 6) 12628 del vars, 45709 del conss, 9776 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
27.39/27.40	c (round 7) 12714 del vars, 46109 del conss, 9821 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
27.49/27.59	c (round 8) 12758 del vars, 46319 del conss, 9847 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
27.68/27.75	c (round 9) 12784 del vars, 46438 del conss, 9863 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
27.78/27.88	c (round 10) 12794 del vars, 46496 del conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
28.89/28.98	c (round 11) 12794 del vars, 46507 del conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
29.97/30.08	c (round 12) 12794 del vars, 46507 del conss, 9869 chg bounds, 104 chg sides, 212 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
1154.47/1154.91	c pressed CTRL-C 1 times (5 times for forcing termination)
1155.67/1156.16	c    (1153.3s) probing: 721/41988 (1.7%) - 13 fixings, 1 aggregations, 8200143 implications, 0 bound changes
1155.67/1156.16	c    (1153.3s) probing aborted: solving stopped
1155.67/1156.17	c (round 13) 12808 del vars, 46507 del conss, 9869 chg bounds, 110 chg sides, 243 chg coeffs, 137802 upgd conss, 45343126 impls, 1911 clqs
1155.67/1156.17	c presolving (13 rounds):
1155.67/1156.17	c  12808 deleted vars, 46507 deleted constraints, 9869 tightened bounds, 0 added holes, 110 changed sides, 243 changed coefficients
1155.67/1156.17	c  45343126 implications, 1911 cliques
1155.67/1156.17	c presolving was interrupted.
1155.67/1156.17	c Presolving Time: 1152.67
1155.67/1156.17	c - non default parameters ----------------------------------------------------------------------
1155.67/1156.17	c # SCIP version 1.2.1.3
1155.67/1156.17	c 
1155.67/1156.17	c # frequency for displaying node information lines
1155.67/1156.17	c # [type: int, range: [-1,2147483647], default: 100]
1155.67/1156.17	c display/freq = 10000
1155.67/1156.17	c 
1155.67/1156.17	c # maximal time in seconds to run
1155.67/1156.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1155.67/1156.17	c limits/time = 1787.14
1155.67/1156.17	c 
1155.67/1156.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1155.67/1156.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1155.67/1156.17	c limits/memory = 1620
1155.67/1156.17	c 
1155.67/1156.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
1155.67/1156.17	c # [type: int, range: [1,2], default: 1]
1155.67/1156.17	c timing/clocktype = 2
1155.67/1156.17	c 
1155.67/1156.17	c # should presolving try to simplify inequalities
1155.67/1156.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1155.67/1156.17	c constraints/linear/simplifyinequalities = TRUE
1155.67/1156.17	c 
1155.67/1156.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1155.67/1156.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1155.67/1156.17	c constraints/indicator/addCouplingCons = TRUE
1155.67/1156.17	c 
1155.67/1156.17	c # should presolving try to simplify knapsacks
1155.67/1156.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1155.67/1156.17	c constraints/knapsack/simplifyinequalities = TRUE
1155.67/1156.17	c 
1155.67/1156.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1155.67/1156.17	c # [type: int, range: [-1,2147483647], default: -1]
1155.67/1156.17	c separating/rapidlearning/freq = 0
1155.67/1156.17	c 
1155.67/1156.17	c -----------------------------------------------------------------------------------------------
1155.67/1156.17	c start solving
1155.86/1156.39	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-2704983-1278582826/watcher-2704983-1278582826 -o /tmp/evaluation-result-2704983-1278582826/solver-2704983-1278582826 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704983-1278582826.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 0.94 3/106 28434
/proc/meminfo: memFree=1830964/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=7904 CPUtime=0
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 1066 0 0 0 0 0 0 0 18 0 1 0 26496212 8093696 977 1992294400 4194304 8395647 140736179892592 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 1976 987 365 1026 0 946 0

[startup+0.0848251 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 28434
/proc/meminfo: memFree=1830964/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=16804 CPUtime=0.07
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 3480 0 0 0 7 0 0 0 20 0 1 0 26496212 17207296 3391 1992294400 4194304 8395647 140736179892592 18446744073709551615 5758083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 4201 3391 393 1026 0 3171 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16804

[startup+0.100828 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 28434
/proc/meminfo: memFree=1830964/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=18376 CPUtime=0.09
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 3872 0 0 0 9 0 0 0 20 0 1 0 26496212 18817024 3783 1992294400 4194304 8395647 140736179892592 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.300867 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 28434
/proc/meminfo: memFree=1830964/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=32748 CPUtime=0.29
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 7461 0 0 0 27 2 0 0 20 0 1 0 26496212 33533952 7372 1992294400 4194304 8395647 140736179892592 18446744073709551615 7361686 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 8187 7372 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700945 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 28434
/proc/meminfo: memFree=1830964/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=47008 CPUtime=0.69
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 11007 0 0 0 66 3 0 0 21 0 1 0 26496212 48136192 10918 1992294400 4194304 8395647 140736179892592 18446744073709551615 4212754 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 11752 10918 393 1026 0 10722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47008

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28435
/proc/meminfo: memFree=1781108/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=65768 CPUtime=1.49
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 15711 0 0 0 144 5 0 0 23 0 1 0 26496212 67346432 15622 1992294400 4194304 8395647 140736179892592 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28434/statm: 16442 15622 393 1026 0 15412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65768

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28435
/proc/meminfo: memFree=1744900/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=190700 CPUtime=3.09
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 47061 0 0 0 292 17 0 0 25 0 1 0 26496212 195276800 46618 1992294400 4194304 8395647 140736179892592 18446744073709551615 7385719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 47675 46628 412 1026 0 46645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190700

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28435
/proc/meminfo: memFree=1483384/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=396992 CPUtime=6.29
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 97969 0 0 0 595 34 0 0 25 0 1 0 26496212 406519808 97526 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 99248 97526 469 1026 0 98218 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 396992

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28435
/proc/meminfo: memFree=1250512/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=615252 CPUtime=12.69
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 150628 0 0 0 1217 52 0 0 25 0 1 0 26496212 630018048 150185 1992294400 4194304 8395647 140736179892592 18446744073709551615 4684129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 153813 150185 469 1026 0 152783 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 615252

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28435
/proc/meminfo: memFree=1182560/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=663560 CPUtime=25.48
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 162616 0 0 0 2492 56 0 0 25 0 1 0 26496212 679485440 162173 1992294400 4194304 8395647 140736179892592 18446744073709551615 6085526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 165890 162173 475 1026 0 164860 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 663560

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28437
/proc/meminfo: memFree=1077408/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=773716 CPUtime=51.05
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 192410 0 0 0 5038 67 0 0 25 0 1 0 26496212 792285184 188474 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 193429 188474 518 1026 0 192399 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 773716

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28437
/proc/meminfo: memFree=1044796/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=807184 CPUtime=102.25
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 200540 0 0 0 10153 72 0 0 25 0 1 0 26496212 826556416 196604 1992294400 4194304 8395647 140736179892592 18446744073709551615 6068852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 201796 196604 518 1026 0 200766 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 807184

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28439
/proc/meminfo: memFree=981184/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=874368 CPUtime=162.22
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 216423 0 0 0 16144 78 0 0 25 0 1 0 26496212 895352832 212487 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 218592 212487 518 1026 0 217562 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 874368

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28441
/proc/meminfo: memFree=930592/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=924036 CPUtime=222.2
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 229023 0 0 0 22137 83 0 0 25 0 1 0 26496212 946212864 225087 1992294400 4194304 8395647 140736179892592 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 231009 225087 518 1026 0 229979 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 924036

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28443
/proc/meminfo: memFree=867352/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=989228 CPUtime=282.18
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 244779 0 0 0 28129 89 0 0 25 0 1 0 26496212 1012969472 240843 1992294400 4194304 8395647 140736179892592 18446744073709551615 4742904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 247307 240843 518 1026 0 246277 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 989228

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28443
/proc/meminfo: memFree=835864/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1021316 CPUtime=342.15
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 252641 0 0 0 34124 91 0 0 25 0 1 0 26496212 1045827584 248705 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 255329 248705 518 1026 0 254299 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1021316

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28445
/proc/meminfo: memFree=747452/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1110632 CPUtime=402.13
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 274967 0 0 0 40113 100 0 0 25 0 1 0 26496212 1137287168 271031 1992294400 4194304 8395647 140736179892592 18446744073709551615 5215872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 277658 271031 518 1026 0 276628 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1110632

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28456
/proc/meminfo: memFree=668364/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1188224 CPUtime=462.1
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 294064 0 0 0 46102 108 0 0 25 0 1 0 26496212 1216741376 290128 1992294400 4194304 8395647 140736179892592 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 297056 290128 518 1026 0 296026 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1188224

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28458
/proc/meminfo: memFree=616532/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1240564 CPUtime=522.08
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 307094 0 0 0 52095 113 0 0 25 0 1 0 26496212 1270337536 303158 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 310141 303158 518 1026 0 309111 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1240564

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28460
/proc/meminfo: memFree=562840/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1293664 CPUtime=582.06
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 320598 0 0 0 58087 119 0 0 25 0 1 0 26496212 1324711936 316662 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 323416 316662 518 1026 0 322386 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1293664

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28460
/proc/meminfo: memFree=490424/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1363032 CPUtime=642.05
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 338425 0 0 0 64079 126 0 0 25 0 1 0 26496212 1395744768 334489 1992294400 4194304 8395647 140736179892592 18446744073709551615 4228079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 340758 334489 518 1026 0 339728 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1363032

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28462
/proc/meminfo: memFree=426316/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1427124 CPUtime=702.02
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 354428 0 0 0 70070 132 0 0 25 0 1 0 26496212 1461374976 350492 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 356781 350492 518 1026 0 355751 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 1427124

[startup+762.308 s]
/proc/loadavg: 1.04 1.01 0.94 2/107 28464
/proc/meminfo: memFree=374608/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1478772 CPUtime=762.01
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 367326 0 0 0 76063 138 0 0 25 0 1 0 26496212 1514262528 363390 1992294400 4194304 8395647 140736179892592 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 369693 363390 518 1026 0 368663 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 1478772

[startup+822.301 s]
/proc/loadavg: 1.01 1.01 0.94 2/107 28466
/proc/meminfo: memFree=319428/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1535648 CPUtime=821.98
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 381152 0 0 0 82054 144 0 0 25 0 1 0 26496212 1572503552 377216 1992294400 4194304 8395647 140736179892592 18446744073709551615 5215822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 383912 377216 518 1026 0 382882 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 1535648

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28468
/proc/meminfo: memFree=257180/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1597508 CPUtime=881.96
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 396635 0 0 0 88044 152 0 0 25 0 1 0 26496212 1635848192 392699 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 399377 392699 518 1026 0 398347 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 1597508

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28468
/proc/meminfo: memFree=212292/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1644068 CPUtime=941.94
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 408284 0 0 0 94036 158 0 0 25 0 1 0 26496212 1683525632 404348 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 411017 404348 518 1026 0 409987 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 1644068

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28470
/proc/meminfo: memFree=168892/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1683684 CPUtime=1001.92
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 418649 0 0 0 100029 163 0 0 25 0 1 0 26496212 1724092416 414713 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 420921 414713 518 1026 0 419891 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1683684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28472
/proc/meminfo: memFree=131940/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1724328 CPUtime=1061.9
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 428019 0 0 0 106022 168 0 0 25 0 1 0 26496212 1765711872 424083 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 431082 424083 518 1026 0 430052 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1724328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28474
/proc/meminfo: memFree=102180/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1755872 CPUtime=1121.88
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 435514 0 0 0 112016 172 0 0 25 0 1 0 26496212 1798012928 431578 1992294400 4194304 8395647 140736179892592 18446744073709551615 5210543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 438968 431578 518 1026 0 437938 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1755872



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1154.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28474
/proc/meminfo: memFree=12900/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1844076 CPUtime=1154.47
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 457709 0 0 0 115266 181 0 0 25 0 1 0 26496212 1888333824 453773 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 461019 453773 518 1026 0 459989 0
Current children cumulated CPU time (s) 1154.47
Current children cumulated vsize (KiB) 1844076

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28434

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

[startup+1155.02 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28474
/proc/meminfo: memFree=12900/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1845100 CPUtime=1154.58
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 457993 0 0 0 115276 182 0 0 25 0 1 0 26496212 1889382400 454057 1992294400 4194304 8395647 140736179892592 18446744073709551615 7385719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 461275 454065 518 1026 0 460245 0
Current children cumulated CPU time (s) 1154.58
Current children cumulated vsize (KiB) 1845100

[startup+1155.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28474
/proc/meminfo: memFree=12900/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1858384 CPUtime=1155.37
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 460877 0 0 0 115353 184 0 0 25 0 1 0 26496212 1902985216 456941 1992294400 4194304 8395647 140736179892592 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 464596 456941 518 1026 0 463566 0
Current children cumulated CPU time (s) 1155.37
Current children cumulated vsize (KiB) 1858384

[startup+1156.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 28475
/proc/meminfo: memFree=10548/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=1859912 CPUtime=1156.16
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4202496 461547 0 0 0 115432 184 0 0 25 0 1 0 26496212 1904549888 457611 1992294400 4194304 8395647 140736179892592 18446744073709551615 4914309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28434/statm: 464978 457611 523 1026 0 463948 0
Current children cumulated CPU time (s) 1156.16
Current children cumulated vsize (KiB) 1859912

[startup+1157 s]
/proc/loadavg: 1.00 1.00 0.94 2/108 28475
/proc/meminfo: memFree=10548/2059040 swapFree=4140056/4192956
[pid=28434] ppid=28432 vsize=0 CPUtime=1156.56
/proc/28434/stat : 28434 (pbscip.linux.x8) R 28432 28434 27889 0 -1 4203524 461547 0 0 0 115464 192 0 0 25 0 1 0 26496212 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/28434/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1156.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1157.09
CPU time (s): 1156.66
CPU user time (s): 1154.64
CPU system time (s): 2.02069
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 1859912

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

runsolver used 1.89671 second user time and 5.50216 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 11:53:47
IDJOB=2704983
IDBENCH=78108
IDSOLVER=1213
FILE ID=node006/2704983-1278582826
PBS_JOBID= 11240109
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 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-2704983-1278582826/watcher-2704983-1278582826 -o /tmp/evaluation-result-2704983-1278582826/solver-2704983-1278582826 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704983-1278582826.opb -t 1800 -m 1800

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

MD5SUM BENCH= aa972c70d521daa1738bd997a5a53983
RANDOM SEED=22736916

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.269
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:       1831492 kB
Buffers:          9980 kB
Cached:         131532 kB
SwapCached:       6064 kB
Active:          40788 kB
Inactive:       114224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1831492 kB
SwapTotal:     4192956 kB
SwapFree:      4140056 kB
Dirty:           15944 kB
Writeback:           0 kB
AnonPages:       11988 kB
Mapped:          12008 kB
Slab:            50780 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 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= 62556 MiB
End job on node006 at 2010-07-08 12:13:04