Trace number 2686847

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (MO) 1450.63 1450.99

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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2686847-1278442904.opb>
2.10/2.19	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
2.10/2.19	c problem read
2.10/2.20	c presolving settings loaded
2.80/2.82	c presolving:
10.49/10.50	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
13.99/14.09	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.19/15.21	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
15.79/15.81	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.19/16.23	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.39/16.49	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.59/16.68	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
16.78/16.84	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
16.88/16.99	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.09/17.13	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
962.26/962.57	c    (957.5s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
1448.44/1448.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1448.54/1448.93	c    (1443.1s) probing: 1640/28200 (5.8%) - 1 fixings, 1 aggregations, 11904604 implications, 0 bound changes
1448.54/1448.93	c    (1443.1s) probing aborted: solving stopped
1448.54/1448.93	c (round 11) 8524 del vars, 31843 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49291238 impls, 0 clqs
1448.54/1448.93	c presolving (11 rounds):
1448.54/1448.93	c  8524 deleted vars, 31843 deleted constraints, 6620 tightened bounds, 0 added holes, 174 changed sides, 167 changed coefficients
1448.54/1448.93	c  49291238 implications, 0 cliques
1448.54/1448.93	c presolving was interrupted.
1448.54/1448.93	c Presolving Time: 1442.80
1448.54/1448.93	c - non default parameters ----------------------------------------------------------------------
1448.54/1448.93	c # SCIP version 1.2.1.2
1448.54/1448.93	c 
1448.54/1448.93	c # frequency for displaying node information lines
1448.54/1448.93	c # [type: int, range: [-1,2147483647], default: 100]
1448.54/1448.93	c display/freq = 10000
1448.54/1448.93	c 
1448.54/1448.93	c # maximal time in seconds to run
1448.54/1448.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1448.54/1448.93	c limits/time = 1797.81
1448.54/1448.93	c 
1448.54/1448.93	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1448.54/1448.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1448.54/1448.93	c limits/memory = 1620
1448.54/1448.93	c 
1448.54/1448.93	c # should presolving try to simplify inequalities
1448.54/1448.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1448.54/1448.93	c constraints/linear/simplifyinequalities = TRUE
1448.54/1448.93	c 
1448.54/1448.93	c # should presolving try to simplify knapsacks
1448.54/1448.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1448.54/1448.93	c constraints/knapsack/simplifyinequalities = TRUE
1448.54/1448.93	c 
1448.54/1448.93	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1448.54/1448.93	c # [type: int, range: [-1,2147483647], default: -1]
1448.54/1448.93	c separating/rapidlearning/freq = 0
1448.54/1448.93	c 
1448.54/1448.93	c -----------------------------------------------------------------------------------------------
1448.54/1448.93	c start solving
1448.63/1449.08	c presolving:
1449.13/1449.55	c (round 12) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49291238 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-2686847-1278442904/watcher-2686847-1278442904 -o /tmp/evaluation-result-2686847-1278442904/solver-2686847-1278442904 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2686847-1278442904.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: 0.95 0.97 0.99 3/106 22054
/proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=9288 CPUtime=0
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 1025 0 0 0 0 0 0 0 20 0 1 0 12503362 9510912 946 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 2322 954 371 1374 0 943 0

[startup+0.0143471 s]
/proc/loadavg: 0.95 0.97 0.99 3/106 22054
/proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=11092 CPUtime=0
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 1686 0 0 0 0 0 0 0 20 0 1 0 12503362 11358208 1607 1992294400 4194304 9819077 140734588950736 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 2773 1613 388 1374 0 1394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11092

[startup+0.101353 s]
/proc/loadavg: 0.95 0.97 0.99 3/106 22054
/proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=17608 CPUtime=0.09
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 3320 0 0 0 8 1 0 0 20 0 1 0 12503362 18030592 3241 1992294400 4194304 9819077 140734588950736 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 4643 3244 388 1374 0 3264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17608

[startup+0.301372 s]
/proc/loadavg: 0.95 0.97 0.99 3/106 22054
/proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=29628 CPUtime=0.29
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 6363 0 0 0 27 2 0 0 20 0 1 0 12503362 30339072 6275 1992294400 4194304 9819077 140734588950736 18446744073709551615 5649621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 7407 6275 388 1374 0 6028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29628

[startup+0.701409 s]
/proc/loadavg: 0.95 0.97 0.99 3/106 22054
/proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=39524 CPUtime=0.69
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 8827 0 0 0 66 3 0 0 20 0 1 0 12503362 40472576 8739 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 9881 8739 388 1374 0 8502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39524

[startup+1.50148 s]
/proc/loadavg: 0.95 0.97 0.99 2/107 22055
/proc/meminfo: memFree=1690352/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=59668 CPUtime=1.49
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 13833 0 0 0 144 5 0 0 23 0 1 0 12503362 61100032 13745 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22054/statm: 14917 13745 388 1374 0 13538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59668

[startup+3.10063 s]
/proc/loadavg: 0.95 0.97 0.99 2/107 22055
/proc/meminfo: memFree=1656872/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=208948 CPUtime=3.09
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 50953 0 0 0 290 19 0 0 25 0 1 0 12503362 213962752 50492 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 52237 50492 483 1374 0 50858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208948

[startup+6.30093 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 22055
/proc/meminfo: memFree=1414452/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=358384 CPUtime=6.29
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 88091 0 0 0 593 36 0 0 25 0 1 0 12503362 366985216 87630 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 89596 87630 487 1374 0 88217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 358384

[startup+12.7005 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 22055
/proc/meminfo: memFree=1276688/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=468876 CPUtime=12.69
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 114316 0 0 0 1211 58 0 0 25 0 1 0 12503362 480129024 113598 1992294400 4194304 9819077 140734588950736 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 117219 113598 491 1374 0 115840 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 468876

[startup+25.5017 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 22056
/proc/meminfo: memFree=1224856/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=524772 CPUtime=25.48
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 130118 0 0 0 2436 112 0 0 25 0 1 0 12503362 537366528 126729 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 131193 126729 507 1374 0 129814 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 524772

[startup+51.1011 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 22056
/proc/meminfo: memFree=1195096/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=557524 CPUtime=51.08
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 137694 0 0 0 4991 117 0 0 25 0 1 0 12503362 570904576 134305 1992294400 4194304 9819077 140734588950736 18446744073709551615 4948310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 139381 134305 507 1374 0 138002 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 557524

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22058
/proc/meminfo: memFree=1123052/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=630748 CPUtime=102.27
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 155517 0 0 0 10102 125 0 0 25 0 1 0 12503362 645885952 152128 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 157687 152128 507 1374 0 156308 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 630748

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22059
/proc/meminfo: memFree=1065764/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=686884 CPUtime=162.25
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 170833 0 0 0 16091 134 0 0 25 0 1 0 12503362 703369216 166420 1992294400 4194304 9819077 140734588950736 18446744073709551615 5500487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 171721 166420 507 1374 0 170342 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 686884

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22061
/proc/meminfo: memFree=980080/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=772284 CPUtime=222.24
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 192833 0 0 0 22079 145 0 0 25 0 1 0 12503362 790818816 187908 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 193071 187908 508 1374 0 191692 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 772284

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22062
/proc/meminfo: memFree=862900/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=896640 CPUtime=282.23
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 222756 0 0 0 28065 158 0 0 25 0 1 0 12503362 918159360 217831 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 224160 217831 508 1374 0 222781 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 896640

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22064
/proc/meminfo: memFree=794700/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=961952 CPUtime=342.21
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 239240 0 0 0 34055 166 0 0 25 0 1 0 12503362 985038848 234059 1992294400 4194304 9819077 140734588950736 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 240488 234059 508 1374 0 239109 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 961952

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22066
/proc/meminfo: memFree=729352/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1028368 CPUtime=402.2
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 256304 0 0 0 40044 176 0 0 25 0 1 0 12503362 1053048832 250867 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 257092 250867 508 1374 0 255713 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1028368

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22067
/proc/meminfo: memFree=650364/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1107912 CPUtime=462.17
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 275497 0 0 0 46032 185 0 0 25 0 1 0 12503362 1134501888 270060 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 276978 270060 508 1374 0 275599 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1107912

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22069
/proc/meminfo: memFree=598284/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1157724 CPUtime=522.16
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 289261 0 0 0 52021 195 0 0 25 0 1 0 12503362 1185509376 283056 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 289431 283056 508 1374 0 288052 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1157724

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22070
/proc/meminfo: memFree=489908/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1266684 CPUtime=582.14
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 316552 0 0 0 58002 212 0 0 25 0 1 0 12503362 1297084416 310091 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 316671 310091 508 1374 0 315292 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1266684

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22072
/proc/meminfo: memFree=415260/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1340108 CPUtime=642.14
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 335767 0 0 0 63989 225 0 0 25 0 1 0 12503362 1372270592 328537 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 335027 328537 508 1374 0 333648 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1340108

[startup+702.301 s]

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

/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 356353 0 0 0 75968 243 0 0 25 0 1 0 12503362 1457266688 349123 1992294400 4194304 9819077 140734588950736 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 355778 349123 508 1374 0 354399 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1423112

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22077
/proc/meminfo: memFree=285928/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1469588 CPUtime=822.09
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 368184 0 0 0 81956 253 0 0 25 0 1 0 12503362 1504858112 360954 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 367397 360954 508 1374 0 366018 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1469588

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22078
/proc/meminfo: memFree=219836/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1538756 CPUtime=882.08
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 384647 0 0 0 87945 263 0 0 25 0 1 0 12503362 1575686144 377417 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 384689 377417 508 1374 0 383310 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1538756

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22080
/proc/meminfo: memFree=187720/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1571204 CPUtime=942.06
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 392695 0 0 0 93936 270 0 0 25 0 1 0 12503362 1608912896 385465 1992294400 4194304 9819077 140734588950736 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 392801 385465 508 1374 0 391422 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1571204

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22082
/proc/meminfo: memFree=162672/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1594484 CPUtime=1002.05
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 398897 0 0 0 99929 276 0 0 25 0 1 0 12503362 1632751616 391667 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 398621 391667 513 1374 0 397242 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1594484

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22086
/proc/meminfo: memFree=133532/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1623860 CPUtime=1062.02
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 406214 0 0 0 105919 283 0 0 25 0 1 0 12503362 1662832640 398984 1992294400 4194304 9819077 140734588950736 18446744073709551615 4947073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 405965 398984 513 1374 0 404586 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1623860

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22088
/proc/meminfo: memFree=107864/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1648064 CPUtime=1122.01
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 412420 0 0 0 111912 289 0 0 25 0 1 0 12503362 1687617536 405190 1992294400 4194304 9819077 140734588950736 18446744073709551615 5500430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 412016 405190 513 1374 0 410637 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1648064

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22089
/proc/meminfo: memFree=76616/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1681404 CPUtime=1182
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 420451 0 0 0 117903 297 0 0 25 0 1 0 12503362 1721757696 413221 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 420351 413221 513 1374 0 418972 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1681404

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22091
/proc/meminfo: memFree=42144/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1712724 CPUtime=1241.98
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 429397 0 0 0 123893 305 0 0 25 0 1 0 12503362 1753829376 421655 1992294400 4194304 9819077 140734588950736 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 428181 421655 513 1374 0 426802 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1712724

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22093
/proc/meminfo: memFree=9656/2059040 swapFree=4192956/4192956
[pid=22054] ppid=22052 vsize=1748072 CPUtime=1301.98
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 437443 0 0 0 129884 314 0 0 25 0 1 0 12503362 1790025728 429701 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 437018 429701 513 1374 0 435639 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1748072

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22094
/proc/meminfo: memFree=9296/2059040 swapFree=4186180/4192956
[pid=22054] ppid=22052 vsize=1784132 CPUtime=1361.96
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 447084 0 0 0 135874 322 0 0 25 0 1 0 12503362 1826951168 438574 1992294400 4194304 9819077 140734588950736 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 446033 438574 513 1374 0 444654 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1784132

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22096
/proc/meminfo: memFree=9704/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1826404 CPUtime=1421.94
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 457849 0 0 0 141863 331 0 0 25 0 1 0 12503362 1870237696 449339 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 456601 449339 513 1374 0 455222 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1826404



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1448.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22097
/proc/meminfo: memFree=10116/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1843488 CPUtime=1448.44
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 462148 0 0 0 144509 335 0 0 25 0 1 0 12503362 1887731712 453638 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 460872 453638 513 1374 0 459493 0
Current children cumulated CPU time (s) 1448.44
Current children cumulated vsize (KiB) 1843488

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22054

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

[startup+1449.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 22097
/proc/meminfo: memFree=10116/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1844376 CPUtime=1449.03
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 462765 0 0 0 144559 344 0 0 25 0 1 0 12503362 1888641024 453998 1992294400 4194304 9819077 140734588950736 18446744073709551615 5491560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 461094 453998 514 1374 0 459715 0
Current children cumulated CPU time (s) 1449.03
Current children cumulated vsize (KiB) 1844376

[startup+1450.2 s]
/proc/loadavg: 0.99 0.97 0.99 3/108 22098
/proc/meminfo: memFree=10584/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1869456 CPUtime=1449.83
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 472499 0 0 0 144622 361 0 0 25 0 1 0 12503362 1914322944 460263 1992294400 4194304 9819077 140734588950736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 467364 460263 517 1374 0 465985 0
Current children cumulated CPU time (s) 1449.83
Current children cumulated vsize (KiB) 1869456

[startup+1450.6 s]
/proc/loadavg: 0.99 0.97 0.99 3/108 22098
/proc/meminfo: memFree=10584/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1862800 CPUtime=1450.23
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 474716 0 0 0 144657 366 0 0 25 0 1 0 12503362 1907507200 458420 1992294400 4194304 9819077 140734588950736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 465700 458420 518 1374 0 464321 0
Current children cumulated CPU time (s) 1450.23
Current children cumulated vsize (KiB) 1862800

[startup+1450.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22098
/proc/meminfo: memFree=12904/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=1876416 CPUtime=1450.44
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 478120 0 0 0 144674 370 0 0 25 0 1 0 12503362 1921449984 461824 1992294400 4194304 9819077 140734588950736 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22054/statm: 469104 461824 518 1374 0 467725 0
Current children cumulated CPU time (s) 1450.44
Current children cumulated vsize (KiB) 1876416

[startup+1450.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22098
/proc/meminfo: memFree=12904/2059040 swapFree=4164956/4192956
[pid=22054] ppid=22052 vsize=0 CPUtime=1450.54
/proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4203524 478120 0 0 0 144674 380 0 0 25 0 1 0 12503362 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/22054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1450.54
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1450.99
CPU time (s): 1450.63
CPU user time (s): 1446.74
CPU system time (s): 3.88641
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1876428

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

runsolver used 2.43363 second user time and 6.81996 second system time

The end

Launcher Data 

Begin job on node014 at 2010-07-06 21:01:44
IDJOB=2686847
IDBENCH=76942
IDSOLVER=1168
FILE ID=node014/2686847-1278442904
PBS_JOBID= 11233457
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686847-1278442904/watcher-2686847-1278442904 -o /tmp/evaluation-result-2686847-1278442904/solver-2686847-1278442904 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2686847-1278442904.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c
RANDOM SEED=1656557039

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1731808 kB
Buffers:         24096 kB
Cached:         167792 kB
SwapCached:          0 kB
Active:         117744 kB
Inactive:       134660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1731808 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9912 kB
Writeback:           0 kB
AnonPages:       60544 kB
Mapped:          14508 kB
Slab:            52840 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180356 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= 62560 MiB
End job on node014 at 2010-07-06 21:25:55