Trace number 2704972

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) 1483.03 1484.09

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6035_5.std.opb
MD5SUM5c066885a5dc7aa42baae564c5305e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark5.95909
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints129108
Number of constraints which are clauses127908
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 constraint21
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-2704972-1278581567.opb>
1.89/1.95	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
1.89/1.95	c problem read
1.89/1.95	c presolving settings loaded
2.49/2.58	c presolving:
10.90/10.98	c (round 1) 3562 del vars, 10054 del conss, 2773 chg bounds, 9 chg sides, 8 chg coeffs, 0 upgd conss, 8765014 impls, 0 clqs
14.59/14.65	c (round 2) 6587 del vars, 22787 del conss, 5581 chg bounds, 24 chg sides, 21 chg coeffs, 0 upgd conss, 8782450 impls, 0 clqs
15.69/15.74	c (round 3) 7614 del vars, 27813 del conss, 6135 chg bounds, 79 chg sides, 65 chg coeffs, 0 upgd conss, 8789356 impls, 0 clqs
16.29/16.30	c (round 4) 8041 del vars, 29721 del conss, 6386 chg bounds, 104 chg sides, 93 chg coeffs, 0 upgd conss, 8792599 impls, 0 clqs
16.59/16.67	c (round 5) 8307 del vars, 30830 del conss, 6527 chg bounds, 132 chg sides, 125 chg coeffs, 0 upgd conss, 8794682 impls, 0 clqs
16.79/16.88	c (round 6) 8447 del vars, 31423 del conss, 6589 chg bounds, 164 chg sides, 157 chg coeffs, 0 upgd conss, 8795840 impls, 0 clqs
16.99/17.01	c (round 7) 8492 del vars, 31685 del conss, 6607 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796342 impls, 0 clqs
17.09/17.11	c (round 8) 8512 del vars, 31784 del conss, 6615 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796540 impls, 0 clqs
17.19/17.20	c (round 9) 8518 del vars, 31821 del conss, 6618 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796608 impls, 0 clqs
17.19/17.29	c (round 10) 8520 del vars, 31832 del conss, 6619 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796630 impls, 0 clqs
982.85/983.21	c    (981.3s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
1480.86/1481.90	c pressed CTRL-C 1 times (5 times for forcing termination)
1480.96/1482.02	c    (1480.1s) probing: 1648/28200 (5.8%) - 1 fixings, 1 aggregations, 11958509 implications, 0 bound changes
1480.96/1482.02	c    (1480.1s) probing aborted: solving stopped
1480.96/1482.03	c (round 11) 8524 del vars, 31843 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49401280 impls, 0 clqs
1480.96/1482.03	c presolving (11 rounds):
1480.96/1482.03	c  8524 deleted vars, 31843 deleted constraints, 6620 tightened bounds, 0 added holes, 174 changed sides, 167 changed coefficients
1480.96/1482.03	c  49401280 implications, 0 cliques
1480.96/1482.03	c presolving was interrupted.
1480.96/1482.03	c Presolving Time: 1479.67
1480.96/1482.03	c - non default parameters ----------------------------------------------------------------------
1480.96/1482.03	c # SCIP version 1.2.1.3
1480.96/1482.03	c 
1480.96/1482.03	c # frequency for displaying node information lines
1480.96/1482.03	c # [type: int, range: [-1,2147483647], default: 100]
1480.96/1482.03	c display/freq = 10000
1480.96/1482.03	c 
1480.96/1482.03	c # maximal time in seconds to run
1480.96/1482.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1480.96/1482.03	c limits/time = 1788.05
1480.96/1482.03	c 
1480.96/1482.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1480.96/1482.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1480.96/1482.03	c limits/memory = 1620
1480.96/1482.03	c 
1480.96/1482.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
1480.96/1482.03	c # [type: int, range: [1,2], default: 1]
1480.96/1482.03	c timing/clocktype = 2
1480.96/1482.03	c 
1480.96/1482.03	c # should presolving try to simplify inequalities
1480.96/1482.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1480.96/1482.03	c constraints/linear/simplifyinequalities = TRUE
1480.96/1482.03	c 
1480.96/1482.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1480.96/1482.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1480.96/1482.03	c constraints/indicator/addCouplingCons = TRUE
1480.96/1482.03	c 
1480.96/1482.03	c # should presolving try to simplify knapsacks
1480.96/1482.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1480.96/1482.03	c constraints/knapsack/simplifyinequalities = TRUE
1480.96/1482.03	c 
1480.96/1482.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1480.96/1482.03	c # [type: int, range: [-1,2147483647], default: -1]
1480.96/1482.03	c separating/rapidlearning/freq = 0
1480.96/1482.03	c 
1480.96/1482.03	c -----------------------------------------------------------------------------------------------
1480.96/1482.03	c start solving
1481.04/1482.17	c presolving:
1481.44/1482.51	c (round 12) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49401280 impls, 0 clqs
1482.43/1483.58	c (round 13) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 97201 upgd conss, 49401280 impls, 0 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-2704972-1278581567/watcher-2704972-1278581567 -o /tmp/evaluation-result-2704972-1278581567/solver-2704972-1278581567 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704972-1278581567.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 0.99 0.91 3/106 30427
/proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=7904 CPUtime=0
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 1176 0 0 0 0 0 0 0 20 0 1 0 26369950 8093696 1087 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 1976 1096 365 1026 0 946 0

[startup+0.0658131 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30427
/proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=15644 CPUtime=0.05
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 3197 0 0 0 5 0 0 0 20 0 1 0 26369950 16019456 3108 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382066 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 3911 3108 393 1026 0 2881 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15644

[startup+0.100819 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30427
/proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=18376 CPUtime=0.09
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 3873 0 0 0 8 1 0 0 20 0 1 0 26369950 18817024 3784 1992294400 4194304 8395647 140735020992784 18446744073709551615 4246004 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 4594 3784 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.300858 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30427
/proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=32748 CPUtime=0.29
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 7462 0 0 0 27 2 0 0 20 0 1 0 26369950 33533952 7373 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 8187 7373 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700933 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30427
/proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=41524 CPUtime=0.69
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 9656 0 0 0 66 3 0 0 20 0 1 0 26369950 42520576 9567 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 10381 9567 393 1026 0 9351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41524

[startup+1.50109 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30428
/proc/meminfo: memFree=1570248/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=65740 CPUtime=1.49
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 15688 0 0 0 144 5 0 0 23 0 1 0 26369950 67317760 15599 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30427/statm: 16435 15599 393 1026 0 15405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65740

[startup+3.10139 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30428
/proc/meminfo: memFree=1487912/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=220840 CPUtime=3.09
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 54208 0 0 0 290 19 0 0 25 0 1 0 26369950 226140160 53765 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 55210 53765 463 1026 0 54180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 220840

[startup+6.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30428
/proc/meminfo: memFree=1297456/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=355920 CPUtime=6.29
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 87776 0 0 0 599 30 0 0 25 0 1 0 26369950 364462080 87333 1992294400 4194304 8395647 140735020992784 18446744073709551615 4742904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 88980 87333 469 1026 0 87950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 355920

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30428
/proc/meminfo: memFree=1159320/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=468644 CPUtime=12.69
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 114360 0 0 0 1230 39 0 0 25 0 1 0 26369950 479891456 113917 1992294400 4194304 8395647 140735020992784 18446744073709551615 6085517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 117161 113917 475 1026 0 116131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 468644

[startup+25.5007 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30430
/proc/meminfo: memFree=1107736/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=523508 CPUtime=25.48
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 127364 0 0 0 2505 43 0 0 25 0 1 0 26369950 536072192 126819 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 130877 126819 489 1026 0 129847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 523508

[startup+51.1006 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30430
/proc/meminfo: memFree=1077976/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=556196 CPUtime=51.07
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 134793 0 0 0 5061 46 0 0 25 0 1 0 26369950 569544704 134248 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 139049 134248 489 1026 0 138019 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 556196

[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30432
/proc/meminfo: memFree=1016224/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=620100 CPUtime=102.26
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 150429 0 0 0 10173 53 0 0 25 0 1 0 26369950 634982400 149884 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 155025 149884 489 1026 0 153995 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 620100

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30432
/proc/meminfo: memFree=952488/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=681304 CPUtime=162.24
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 166189 0 0 0 16165 59 0 0 25 0 1 0 26369950 697655296 165644 1992294400 4194304 8395647 140735020992784 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 170326 165644 489 1026 0 169296 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 681304

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30434
/proc/meminfo: memFree=878088/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=756404 CPUtime=222.21
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 184641 0 0 0 22154 67 0 0 25 0 1 0 26369950 774557696 184096 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 189101 184096 489 1026 0 188071 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 756404

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30436
/proc/meminfo: memFree=752352/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=885604 CPUtime=282.19
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 216289 0 0 0 28140 79 0 0 25 0 1 0 26369950 906858496 215744 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 221401 215744 489 1026 0 220371 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 885604

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30438
/proc/meminfo: memFree=686012/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=950864 CPUtime=342.17
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 232577 0 0 0 34132 85 0 0 25 0 1 0 26369950 973684736 232032 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 237716 232032 489 1026 0 236686 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 950864

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30440
/proc/meminfo: memFree=624756/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1015080 CPUtime=402.16
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 248368 0 0 0 40125 91 0 0 25 0 1 0 26369950 1039441920 247823 1992294400 4194304 8395647 140735020992784 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 253770 247823 489 1026 0 252740 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1015080

[startup+462.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30440
/proc/meminfo: memFree=542048/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1096564 CPUtime=462.13
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 268500 0 0 0 46115 98 0 0 25 0 1 0 26369950 1122881536 267955 1992294400 4194304 8395647 140735020992784 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 274141 267955 489 1026 0 273111 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1096564

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30442
/proc/meminfo: memFree=494928/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1143248 CPUtime=522.11
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 280268 0 0 0 52109 102 0 0 25 0 1 0 26369950 1170685952 279723 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 285812 279723 489 1026 0 284782 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1143248

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30444
/proc/meminfo: memFree=381220/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1256076 CPUtime=582.1
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 308599 0 0 0 58095 115 0 0 25 0 1 0 26369950 1286221824 308054 1992294400 4194304 8395647 140735020992784 18446744073709551615 4962548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 314019 308054 489 1026 0 312989 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1256076

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30446
/proc/meminfo: memFree=337944/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1300592 CPUtime=642.07
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 319411 0 0 0 64089 118 0 0 25 0 1 0 26369950 1331806208 318866 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 325148 318866 489 1026 0 324118 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1300592

[startup+702.301 s]

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

/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 335595 0 0 0 70079 126 0 0 25 0 1 0 26369950 1396576256 335050 1992294400 4194304 8395647 140735020992784 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 340961 335050 489 1026 0 339931 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 1363844

[startup+762.309 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30448
/proc/meminfo: memFree=226716/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1412096 CPUtime=762.04
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 347151 0 0 0 76074 130 0 0 25 0 1 0 26369950 1445986304 346606 1992294400 4194304 8395647 140735020992784 18446744073709551615 5006272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 353024 346606 489 1026 0 351994 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 1412096

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30450
/proc/meminfo: memFree=189516/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1449432 CPUtime=822.01
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 356467 0 0 0 82066 135 0 0 25 0 1 0 26369950 1484218368 355922 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 362358 355922 489 1026 0 361328 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1449432

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30452
/proc/meminfo: memFree=118092/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1522428 CPUtime=881.99
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 374489 0 0 0 88056 143 0 0 25 0 1 0 26369950 1558966272 373944 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 380607 373944 489 1026 0 379577 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1522428

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30454
/proc/meminfo: memFree=80024/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1560908 CPUtime=941.97
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 383771 0 0 0 94050 147 0 0 25 0 1 0 26369950 1598369792 383226 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 390227 383226 489 1026 0 389197 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1560908

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30456
/proc/meminfo: memFree=57332/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1580192 CPUtime=1001.95
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 389439 0 0 0 100045 150 0 0 25 0 1 0 26369950 1618116608 388894 1992294400 4194304 8395647 140735020992784 18446744073709551615 4684137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 395048 388894 495 1026 0 394018 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1580192

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30456
/proc/meminfo: memFree=28564/2059040 swapFree=4134964/4192956
[pid=30427] ppid=30425 vsize=1611476 CPUtime=1061.92
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 396726 0 0 0 106039 153 0 0 25 0 1 0 26369950 1650151424 396181 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 402869 396181 495 1026 0 401839 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1611476

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30458
/proc/meminfo: memFree=9940/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1634624 CPUtime=1121.9
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 402833 0 0 0 112034 156 0 0 25 0 1 0 26369950 1673854976 402288 1992294400 4194304 8395647 140735020992784 18446744073709551615 4221239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 408656 402288 495 1026 0 407626 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1634624

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30460
/proc/meminfo: memFree=9664/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1663896 CPUtime=1181.86
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 410156 0 0 0 118025 161 0 0 25 0 1 0 26369950 1703829504 409611 1992294400 4194304 8395647 140735020992784 18446744073709551615 4698201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 415974 409611 495 1026 0 414944 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1663896

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30462
/proc/meminfo: memFree=10216/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1699132 CPUtime=1241.74
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 418898 0 0 0 124009 165 0 0 25 0 1 0 26369950 1739911168 418353 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 424783 418353 495 1026 0 423753 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1699132

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30464
/proc/meminfo: memFree=10104/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1728372 CPUtime=1301.64
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 426235 0 0 0 129996 168 0 0 25 0 1 0 26369950 1769852928 425690 1992294400 4194304 8395647 140735020992784 18446744073709551615 5608136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 432093 425690 495 1026 0 431063 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 1728372

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30464
/proc/meminfo: memFree=9780/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1766580 CPUtime=1361.51
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 435767 0 0 0 135979 172 0 0 25 0 1 0 26369950 1808977920 435222 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 441645 435222 495 1026 0 440615 0
Current children cumulated CPU time (s) 1361.51
Current children cumulated vsize (KiB) 1766580

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30466
/proc/meminfo: memFree=9460/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1803740 CPUtime=1421.4
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 444773 0 0 0 141963 177 0 0 25 0 1 0 26369950 1847029760 444228 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 450935 444228 495 1026 0 449905 0
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 1803740



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1481.9 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30468
/proc/meminfo: memFree=9280/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1843820 CPUtime=1480.86
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 454548 0 0 0 147904 182 0 0 25 0 1 0 26369950 1888071680 454003 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 460955 454003 495 1026 0 459925 0
Current children cumulated CPU time (s) 1480.86
Current children cumulated vsize (KiB) 1843820

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

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30468
/proc/meminfo: memFree=9280/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1844844 CPUtime=1481.24
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 454939 0 0 0 147942 182 0 0 25 0 1 0 26369950 1889120256 454394 1992294400 4194304 8395647 140735020992784 18446744073709551615 5043030 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30427/statm: 461211 454394 495 1026 0 460181 0
Current children cumulated CPU time (s) 1481.24
Current children cumulated vsize (KiB) 1844844

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -30427

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

[startup+1483 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 30469
/proc/meminfo: memFree=20900/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1864084 CPUtime=1481.94
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 463174 0 0 0 148006 188 0 0 25 0 1 0 26369950 1908822016 459210 1992294400 4194304 8395647 140735020992784 18446744073709551615 4501684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30427/statm: 466021 459210 499 1026 0 464991 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1864084

[startup+1483.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 30469
/proc/meminfo: memFree=9808/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=1875240 CPUtime=1482.74
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 465902 0 0 0 148085 189 0 0 25 0 1 0 26369950 1920245760 461938 1992294400 4194304 8395647 140735020992784 18446744073709551615 4953608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30427/statm: 468810 461938 511 1026 0 467780 0
Current children cumulated CPU time (s) 1482.74
Current children cumulated vsize (KiB) 1875240

[startup+1484 s]
/proc/loadavg: 1.00 0.99 0.91 2/108 30469
/proc/meminfo: memFree=9808/2059040 swapFree=4135548/4192956
[pid=30427] ppid=30425 vsize=0 CPUtime=1482.94
/proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4203524 465902 0 0 0 148095 199 0 0 25 0 1 0 26369950 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/30427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1484.09
CPU time (s): 1483.03
CPU user time (s): 1480.95
CPU system time (s): 2.07968
CPU usage (%): 99.9288
Max. virtual memory (cumulated for all children) (KiB): 1875240

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

runsolver used 2.39764 second user time and 7.08992 second system time

The end

Launcher Data 

Begin job on node009 at 2010-07-08 11:32:47
IDJOB=2704972
IDBENCH=76942
IDSOLVER=1213
FILE ID=node009/2704972-1278581567
PBS_JOBID= 11240107
Free space on /tmp= 62548 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/j60opt/normalized-j6035_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-2704972-1278581567/watcher-2704972-1278581567 -o /tmp/evaluation-result-2704972-1278581567/solver-2704972-1278581567 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704972-1278581567.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c
RANDOM SEED=2109983745

node009.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.262
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.262
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:       1615176 kB
Buffers:        109432 kB
Cached:         246220 kB
SwapCached:      12672 kB
Active:         203024 kB
Inactive:       168684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1615176 kB
SwapTotal:     4192956 kB
SwapFree:      4134964 kB
Dirty:           14060 kB
Writeback:           0 kB
AnonPages:       12440 kB
Mapped:           8432 kB
Slab:            50208 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183276 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= 62540 MiB
End job on node009 at 2010-07-08 11:57:31