Trace number 2687771

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) 819.968 820.179

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3034_9.std.opb
MD5SUM377ee7208be6090fd498d8b22f3d2526
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark4.24735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints65679
Number of constraints which are clauses64479
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 constraint10
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-2687771-1278455390.opb>
1.00/1.04	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65679 constraints
1.00/1.04	c problem read
1.00/1.04	c presolving settings loaded
1.29/1.36	c presolving:
4.89/5.00	c (round 1) 1336 del vars, 3534 del conss, 1003 chg bounds, 43 chg sides, 36 chg coeffs, 0 upgd conss, 4448200 impls, 0 clqs
6.09/6.15	c (round 2) 2558 del vars, 8878 del conss, 2113 chg bounds, 77 chg sides, 61 chg coeffs, 0 upgd conss, 4456006 impls, 0 clqs
6.50/6.50	c (round 3) 3045 del vars, 11144 del conss, 2400 chg bounds, 137 chg sides, 103 chg coeffs, 0 upgd conss, 4458955 impls, 0 clqs
6.60/6.68	c (round 4) 3201 del vars, 11935 del conss, 2500 chg bounds, 160 chg sides, 131 chg coeffs, 0 upgd conss, 4459798 impls, 0 clqs
6.69/6.77	c (round 5) 3255 del vars, 12220 del conss, 2526 chg bounds, 160 chg sides, 131 chg coeffs, 0 upgd conss, 4459975 impls, 0 clqs
6.79/6.85	c (round 6) 3267 del vars, 12295 del conss, 2529 chg bounds, 160 chg sides, 131 chg coeffs, 0 upgd conss, 4460029 impls, 0 clqs
6.89/6.92	c (round 7) 3267 del vars, 12304 del conss, 2529 chg bounds, 160 chg sides, 131 chg coeffs, 0 upgd conss, 4460029 impls, 0 clqs
7.49/7.55	c (round 8) 3267 del vars, 12304 del conss, 2529 chg bounds, 160 chg sides, 131 chg coeffs, 53375 upgd conss, 4460029 impls, 0 clqs
7.70/7.77	c (round 9) 3267 del vars, 12313 del conss, 2529 chg bounds, 188 chg sides, 1066 chg coeffs, 53375 upgd conss, 4461043 impls, 1249 clqs
7.99/8.04	c (round 10) 3267 del vars, 12326 del conss, 2529 chg bounds, 574 chg sides, 2470 chg coeffs, 53375 upgd conss, 4461043 impls, 1404 clqs
8.19/8.27	c (round 11) 3267 del vars, 12326 del conss, 2529 chg bounds, 821 chg sides, 3023 chg coeffs, 53375 upgd conss, 4461043 impls, 1427 clqs
202.25/202.31	c    (199.3s) probing: 1000/15395 (6.5%) - 0 fixings, 0 aggregations, 4457457 implications, 0 bound changes
320.61/320.79	c    (316.7s) probing: 2000/15395 (13.0%) - 3 fixings, 1 aggregations, 7969309 implications, 0 bound changes
436.68/436.84	c    (431.8s) probing: 3000/15395 (19.5%) - 15 fixings, 5 aggregations, 10958145 implications, 2 bound changes
551.65/551.88	c    (546.0s) probing: 4000/15395 (26.0%) - 15 fixings, 11 aggregations, 13462734 implications, 2 bound changes
684.42/684.63	c    (678.1s) probing: 5000/15395 (32.5%) - 15 fixings, 13 aggregations, 15831510 implications, 2 bound changes
798.49/798.70	c    (791.7s) probing: 6000/15395 (39.0%) - 15 fixings, 13 aggregations, 17684215 implications, 2 bound changes
817.79/818.00	c pressed CTRL-C 1 times (5 times for forcing termination)
817.79/818.06	c    (811.0s) probing: 6166/15395 (40.1%) - 15 fixings, 13 aggregations, 17978745 implications, 2 bound changes
817.79/818.06	c    (811.0s) probing aborted: solving stopped
817.79/818.06	c (round 12) 3295 del vars, 12326 del conss, 2531 chg bounds, 823 chg sides, 3031 chg coeffs, 53375 upgd conss, 52176827 impls, 1427 clqs
817.79/818.06	c presolving (12 rounds):
817.79/818.06	c  3295 deleted vars, 12326 deleted constraints, 2531 tightened bounds, 0 added holes, 823 changed sides, 3031 changed coefficients
817.79/818.06	c  52176827 implications, 1427 cliques
817.79/818.06	c presolving was interrupted.
817.79/818.06	c Presolving Time: 810.80
817.79/818.06	c - non default parameters ----------------------------------------------------------------------
817.79/818.06	c # SCIP version 1.2.1.2
817.79/818.06	c 
817.79/818.06	c # frequency for displaying node information lines
817.79/818.06	c # [type: int, range: [-1,2147483647], default: 100]
817.79/818.06	c display/freq = 10000
817.79/818.06	c 
817.79/818.06	c # maximal time in seconds to run
817.79/818.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
817.79/818.06	c limits/time = 1798.96
817.79/818.06	c 
817.79/818.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
817.79/818.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
817.79/818.06	c limits/memory = 1620
817.79/818.06	c 
817.79/818.06	c # should presolving try to simplify inequalities
817.79/818.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
817.79/818.06	c constraints/linear/simplifyinequalities = TRUE
817.79/818.06	c 
817.79/818.06	c # should presolving try to simplify knapsacks
817.79/818.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
817.79/818.06	c constraints/knapsack/simplifyinequalities = TRUE
817.79/818.06	c 
817.79/818.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
817.79/818.06	c # [type: int, range: [-1,2147483647], default: -1]
817.79/818.06	c separating/rapidlearning/freq = 0
817.79/818.06	c 
817.79/818.06	c -----------------------------------------------------------------------------------------------
817.79/818.06	c start solving
817.79/818.09	c presolving:
819.29/819.56	c (round 13) 3295 del vars, 12419 del conss, 2531 chg bounds, 830 chg sides, 3805 chg coeffs, 53375 upgd conss, 52176827 impls, 1430 clqs

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-2687771-1278455390/watcher-2687771-1278455390 -o /tmp/evaluation-result-2687771-1278455390/solver-2687771-1278455390 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687771-1278455390.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/105 26179
/proc/meminfo: memFree=1842624/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=7724 CPUtime=0
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 1075 0 0 0 0 0 0 0 25 0 1 0 13747167 7909376 994 1992294400 4194304 8223781 140735866312992 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26179/statm: 1931 1003 348 984 0 944 0

[startup+0.09456 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 26179
/proc/meminfo: memFree=1842624/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=16048 CPUtime=0.08
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 3301 0 0 0 8 0 0 0 25 0 1 0 13747167 16433152 3220 1992294400 4194304 8223781 140735866312992 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26179/statm: 4012 3220 365 984 0 3025 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16048

[startup+0.10056 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 26179
/proc/meminfo: memFree=1842624/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=17144 CPUtime=0.09
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 3577 0 0 0 9 0 0 0 25 0 1 0 13747167 17555456 3496 1992294400 4194304 8223781 140735866312992 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26179/statm: 4286 3496 365 984 0 3299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17144

[startup+0.300582 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 26179
/proc/meminfo: memFree=1842624/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=23624 CPUtime=0.29
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 5221 0 0 0 28 1 0 0 25 0 1 0 13747167 24190976 5140 1992294400 4194304 8223781 140735866312992 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26179/statm: 5906 5140 365 984 0 4919 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23624

[startup+0.700624 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 26179
/proc/meminfo: memFree=1842624/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=35736 CPUtime=0.69
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 8034 0 0 0 67 2 0 0 25 0 1 0 13747167 36593664 7953 1992294400 4194304 8223781 140735866312992 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26179/statm: 8934 7965 365 984 0 7947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35736

[startup+1.50071 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26180
/proc/meminfo: memFree=1801200/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=116224 CPUtime=1.49
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 28132 0 0 0 140 9 0 0 25 0 1 0 13747167 119013376 27644 1992294400 4194304 8223781 140735866312992 18446744073709551615 6207711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 29056 27644 437 984 0 28069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116224

[startup+3.10088 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26180
/proc/meminfo: memFree=1693692/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=200472 CPUtime=3.09
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 49114 0 0 0 291 18 0 0 25 0 1 0 13747167 205283328 48626 1992294400 4194304 8223781 140735866312992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 50118 48626 441 984 0 49131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200472

[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26180
/proc/meminfo: memFree=1598832/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=253748 CPUtime=6.29
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 62057 0 0 0 599 30 0 0 25 0 1 0 13747167 259837952 61055 1992294400 4194304 8223781 140735866312992 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 63437 61055 445 984 0 62450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 253748

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26180
/proc/meminfo: memFree=1547124/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=310936 CPUtime=12.69
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 90967 0 0 0 1200 69 0 0 25 0 1 0 13747167 318398464 74317 1992294400 4194304 8223781 140735866312992 18446744073709551615 5953941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 77734 74317 483 984 0 76747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 310936

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26180
/proc/meminfo: memFree=1516992/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=342856 CPUtime=25.48
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 98472 0 0 0 2475 73 0 0 25 0 1 0 13747167 351084544 81822 1992294400 4194304 8223781 140735866312992 18446744073709551615 5968632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 85714 81822 483 984 0 84727 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 342856

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26181
/proc/meminfo: memFree=1423868/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=436272 CPUtime=51.07
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 121565 0 0 0 5022 85 0 0 25 0 1 0 13747167 446742528 104659 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 109068 104659 483 984 0 108081 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 436272

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26183
/proc/meminfo: memFree=1280400/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=582816 CPUtime=102.27
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 157840 0 0 0 10119 108 0 0 25 0 1 0 13747167 596803584 140678 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 145704 140678 483 984 0 144717 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 582816

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26184
/proc/meminfo: memFree=1158756/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=704684 CPUtime=162.24
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 188293 0 0 0 16071 153 0 0 25 0 1 0 13747167 721596416 171131 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 176171 171131 483 984 0 175184 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 704684

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26186
/proc/meminfo: memFree=1038352/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=823488 CPUtime=222.23
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 218240 0 0 0 22015 208 0 0 25 0 1 0 13747167 843251712 201078 1992294400 4194304 8223781 140735866312992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 205872 201078 488 984 0 204885 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 823488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26188
/proc/meminfo: memFree=908524/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=952380 CPUtime=282.22
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 250747 0 0 0 27961 261 0 0 25 0 1 0 13747167 975237120 233585 1992294400 4194304 8223781 140735866312992 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 238095 233585 488 984 0 237108 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 952380

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26189
/proc/meminfo: memFree=781920/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1079048 CPUtime=342.2
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 282186 0 0 0 33902 318 0 0 25 0 1 0 13747167 1104945152 265024 1992294400 4194304 8223781 140735866312992 18446744073709551615 4219861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 269762 265024 489 984 0 268775 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1079048

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26191
/proc/meminfo: memFree=671560/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1193936 CPUtime=402.19
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 310660 0 0 0 39852 367 0 0 25 0 1 0 13747167 1222590464 293242 1992294400 4194304 8223781 140735866312992 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 298484 293242 489 984 0 297497 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1193936

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26192
/proc/meminfo: memFree=545080/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1319924 CPUtime=462.17
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 341545 0 0 0 45805 412 0 0 25 0 1 0 13747167 1351602176 324127 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 329981 324127 489 984 0 328994 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1319924

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26194
/proc/meminfo: memFree=454188/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1410492 CPUtime=522.15
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 364935 0 0 0 51765 450 0 0 25 0 1 0 13747167 1444343808 347004 1992294400 4194304 8223781 140735866312992 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 352623 347004 489 984 0 351636 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1410492

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26196
/proc/meminfo: memFree=357096/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1507156 CPUtime=582.14
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 389022 0 0 0 57730 484 0 0 25 0 1 0 13747167 1543327744 371091 1992294400 4194304 8223781 140735866312992 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 376789 371091 489 984 0 375802 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1507156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26197
/proc/meminfo: memFree=255540/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1608512 CPUtime=642.13
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 414454 0 0 0 63702 511 0 0 25 0 1 0 13747167 1647116288 396267 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 402128 396267 489 984 0 401141 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1608512

[startup+702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26199
/proc/meminfo: memFree=173948/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1690380 CPUtime=702.11
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 434880 0 0 0 69675 536 0 0 25 0 1 0 13747167 1730949120 416693 1992294400 4194304 8223781 140735866312992 18446744073709551615 5969501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 422595 416693 489 984 0 421608 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1690380

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26200
/proc/meminfo: memFree=103516/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1758400 CPUtime=762.1
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 452344 0 0 0 75645 565 0 0 25 0 1 0 13747167 1800601600 434157 1992294400 4194304 8223781 140735866312992 18446744073709551615 6207165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 439600 434157 489 984 0 438613 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1758400



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+818.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 26202
/proc/meminfo: memFree=20312/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1845204 CPUtime=817.79
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 473112 0 0 0 81191 588 0 0 25 0 1 0 13747167 1889488896 454925 1992294400 4194304 8223781 140735866312992 18446744073709551615 5968581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 461301 454925 489 984 0 460314 0
Current children cumulated CPU time (s) 817.79
Current children cumulated vsize (KiB) 1845204

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -26179

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

[startup+819.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26203
/proc/meminfo: memFree=18940/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1845720 CPUtime=818.78
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 473677 0 0 0 81290 588 0 0 25 0 1 0 13747167 1890017280 455231 1992294400 4194304 8223781 140735866312992 18446744073709551615 4890558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 461430 455231 490 984 0 460443 0
Current children cumulated CPU time (s) 818.78
Current children cumulated vsize (KiB) 1845720

[startup+819.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26203
/proc/meminfo: memFree=18320/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1845720 CPUtime=819.58
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 474191 0 0 0 81368 590 0 0 25 0 1 0 13747167 1890017280 455231 1992294400 4194304 8223781 140735866312992 18446744073709551615 4890630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 461430 455231 490 984 0 460443 0
Current children cumulated CPU time (s) 819.58
Current children cumulated vsize (KiB) 1845720

[startup+820.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26203
/proc/meminfo: memFree=18320/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=1845720 CPUtime=819.78
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4202496 474191 0 0 0 81388 590 0 0 25 0 1 0 13747167 1890017280 455231 1992294400 4194304 8223781 140735866312992 18446744073709551615 4890361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26179/statm: 461430 455231 490 984 0 460443 0
Current children cumulated CPU time (s) 819.78
Current children cumulated vsize (KiB) 1845720

[startup+820.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26203
/proc/meminfo: memFree=18320/2059040 swapFree=4139600/4192956
[pid=26179] ppid=26177 vsize=0 CPUtime=819.88
/proc/26179/stat : 26179 (pbscip.linux.x8) R 26177 26179 25520 0 -1 4203524 474191 0 0 0 81389 599 0 0 25 0 1 0 13747167 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/26179/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 819.88
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 820.179
CPU time (s): 819.968
CPU user time (s): 813.891
CPU system time (s): 6.07708
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1845720

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

runsolver used 1.39779 second user time and 3.83542 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-07 00:29:50
IDJOB=2687771
IDBENCH=78553
IDSOLVER=1169
FILE ID=node082/2687771-1278455390
PBS_JOBID= 11233541
Free space on /tmp= 62388 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/j30opt/normalized-j3034_9.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-2687771-1278455390/watcher-2687771-1278455390 -o /tmp/evaluation-result-2687771-1278455390/solver-2687771-1278455390 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687771-1278455390.opb -t 1800 -m 1800

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

MD5SUM BENCH= 377ee7208be6090fd498d8b22f3d2526
RANDOM SEED=1985246698

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843152 kB
Buffers:         10760 kB
Cached:         109512 kB
SwapCached:      14792 kB
Active:          60168 kB
Inactive:        82640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843152 kB
SwapTotal:     4192956 kB
SwapFree:      4139600 kB
Dirty:            6416 kB
Writeback:           0 kB
AnonPages:       12568 kB
Mapped:          11812 kB
Slab:            51116 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180432 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62384 MiB
End job on node082 at 2010-07-07 00:43:30