Trace number 2686848

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) 1456.35 1457.19

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: 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-2686848-1278442909.opb>
2.19/2.22	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
2.19/2.22	c problem read
2.29/2.32	c presolving settings loaded
2.79/2.86	c presolving:
10.49/10.58	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.09/14.18	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.29/15.30	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.89/15.91	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.29/16.33	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.59/16.60	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.69/16.78	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.89/16.94	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.99/17.09	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.18/17.24	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
964.18/964.54	c    (959.3s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
1454.54/1455.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1454.54/1455.03	c    (1449.0s) probing: 1643/28200 (5.8%) - 1 fixings, 1 aggregations, 11924826 implications, 0 bound changes
1454.54/1455.03	c    (1449.0s) probing aborted: solving stopped
1454.54/1455.03	c (round 11) 8524 del vars, 31843 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49331460 impls, 0 clqs
1454.54/1455.03	c presolving (11 rounds):
1454.54/1455.03	c  8524 deleted vars, 31843 deleted constraints, 6620 tightened bounds, 0 added holes, 174 changed sides, 167 changed coefficients
1454.54/1455.03	c  49331460 implications, 0 cliques
1454.54/1455.03	c presolving was interrupted.
1454.54/1455.03	c Presolving Time: 1448.67
1454.54/1455.03	c - non default parameters ----------------------------------------------------------------------
1454.54/1455.03	c # SCIP version 1.2.1.2
1454.54/1455.03	c 
1454.54/1455.03	c # frequency for displaying node information lines
1454.54/1455.03	c # [type: int, range: [-1,2147483647], default: 100]
1454.54/1455.03	c display/freq = 10000
1454.54/1455.03	c 
1454.54/1455.03	c # maximal time in seconds to run
1454.54/1455.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1454.54/1455.03	c limits/time = 1797.79
1454.54/1455.03	c 
1454.54/1455.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1454.54/1455.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1454.54/1455.03	c limits/memory = 1620
1454.54/1455.03	c 
1454.54/1455.03	c # should presolving try to simplify inequalities
1454.54/1455.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1454.54/1455.03	c constraints/linear/simplifyinequalities = TRUE
1454.54/1455.03	c 
1454.54/1455.03	c # should presolving try to simplify knapsacks
1454.54/1455.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1454.54/1455.03	c constraints/knapsack/simplifyinequalities = TRUE
1454.54/1455.03	c 
1454.54/1455.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1454.54/1455.03	c # [type: int, range: [-1,2147483647], default: -1]
1454.54/1455.03	c separating/rapidlearning/freq = 0
1454.54/1455.03	c 
1454.54/1455.03	c -----------------------------------------------------------------------------------------------
1454.54/1455.03	c start solving
1454.65/1455.18	c presolving:
1455.13/1455.62	c (round 12) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49331460 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-2686848-1278442909/watcher-2686848-1278442909 -o /tmp/evaluation-result-2686848-1278442909/solver-2686848-1278442909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686848-1278442909.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.92 0.98 0.99 3/106 22238
/proc/meminfo: memFree=1861388/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=7724 CPUtime=0
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 1071 0 0 0 0 0 0 0 20 0 1 0 12504543 7909376 990 1992294400 4194304 8223781 140736528223920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 1931 1000 348 984 0 944 0

[startup+0.037628 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22238
/proc/meminfo: memFree=1861388/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=11124 CPUtime=0.02
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 2094 0 0 0 2 0 0 0 20 0 1 0 12504543 11390976 2013 1992294400 4194304 8223781 140736528223920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 2781 2013 365 984 0 1794 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11124

[startup+0.10162 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22238
/proc/meminfo: memFree=1861388/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=16044 CPUtime=0.09
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 3301 0 0 0 8 1 0 0 20 0 1 0 12504543 16429056 3220 1992294400 4194304 8223781 140736528223920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 4011 3220 365 984 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044

[startup+0.301643 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22238
/proc/meminfo: memFree=1861388/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=28064 CPUtime=0.29
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 6345 0 0 0 27 2 0 0 20 0 1 0 12504543 28737536 6255 1992294400 4194304 8223781 140736528223920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 7016 6255 365 984 0 6029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28064

[startup+0.701687 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 22238
/proc/meminfo: memFree=1861388/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=37956 CPUtime=0.69
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 8807 0 0 0 66 3 0 0 20 0 1 0 12504543 38866944 8717 1992294400 4194304 8223781 140736528223920 18446744073709551615 5649608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 9489 8717 365 984 0 8502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37956

[startup+1.50178 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1820460/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=58104 CPUtime=1.49
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 13814 0 0 0 144 5 0 0 23 0 1 0 12504543 59498496 13724 1992294400 4194304 8223781 140736528223920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22238/statm: 14526 13724 365 984 0 13539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58104

[startup+3.10096 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1788212/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=206552 CPUtime=3.09
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 50637 0 0 0 289 20 0 0 25 0 1 0 12504543 211509248 50164 1992294400 4194304 8223781 140736528223920 18446744073709551615 5968212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 51638 50164 437 984 0 50651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206552

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1547776/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=355972 CPUtime=6.29
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 87750 0 0 0 591 38 0 0 25 0 1 0 12504543 364515328 87277 1992294400 4194304 8223781 140736528223920 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 88993 87277 441 984 0 88006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 355972

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1407168/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=467640 CPUtime=12.68
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 114288 0 0 0 1209 59 0 0 25 0 1 0 12504543 478863360 113558 1992294400 4194304 8223781 140736528223920 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 116910 113558 445 984 0 115923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 467640

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1355584/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=523532 CPUtime=25.49
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 130079 0 0 0 2431 118 0 0 25 0 1 0 12504543 536096768 126679 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 130883 126679 459 984 0 129896 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 523532

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 22239
/proc/meminfo: memFree=1325700/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=556284 CPUtime=51.07
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 137611 0 0 0 4985 122 0 0 25 0 1 0 12504543 569634816 134211 1992294400 4194304 8223781 140736528223920 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 139071 134211 459 984 0 138084 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 556284

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 22241
/proc/meminfo: memFree=1253532/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=629508 CPUtime=102.27
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 155484 0 0 0 10096 131 0 0 25 0 1 0 12504543 644616192 152084 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 157377 152084 459 984 0 156390 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 629508

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22243
/proc/meminfo: memFree=1196120/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=685644 CPUtime=162.24
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 170800 0 0 0 16086 138 0 0 25 0 1 0 12504543 702099456 166376 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 171411 166376 459 984 0 170424 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 685644

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22244
/proc/meminfo: memFree=1110436/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=771044 CPUtime=222.23
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 192702 0 0 0 22076 147 0 0 25 0 1 0 12504543 789549056 187766 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 192761 187766 460 984 0 191774 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 771044

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22245
/proc/meminfo: memFree=993132/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=893352 CPUtime=282.2
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 222211 0 0 0 28058 162 0 0 25 0 1 0 12504543 914792448 217275 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 223338 217275 460 984 0 222351 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 893352

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22247
/proc/meminfo: memFree=924932/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=960712 CPUtime=342.18
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 239207 0 0 0 34048 170 0 0 25 0 1 0 12504543 983769088 234015 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 240178 234015 460 984 0 239191 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 960712

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22249
/proc/meminfo: memFree=860824/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1025080 CPUtime=402.16
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 255737 0 0 0 40036 180 0 0 25 0 1 0 12504543 1049681920 250289 1992294400 4194304 8223781 140736528223920 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 256270 250289 460 984 0 255283 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1025080

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22251
/proc/meminfo: memFree=780596/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1106672 CPUtime=462.15
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 275457 0 0 0 46025 190 0 0 25 0 1 0 12504543 1133232128 270009 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 276668 270009 460 984 0 275681 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1106672

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22252
/proc/meminfo: memFree=729012/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1156484 CPUtime=522.12
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 289216 0 0 0 52013 199 0 0 25 0 1 0 12504543 1184239616 283000 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 289121 283000 460 984 0 288134 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1156484

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22253
/proc/meminfo: memFree=621380/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1264420 CPUtime=582.1
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 316248 0 0 0 57995 215 0 0 25 0 1 0 12504543 1294766080 309776 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 316105 309776 460 984 0 315118 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1264420

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22255
/proc/meminfo: memFree=552436/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1332752 CPUtime=642.08
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 333662 0 0 0 63983 225 0 0 25 0 1 0 12504543 1364738048 326934 1992294400 4194304 8223781 140736528223920 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 333188 326934 460 984 0 332201 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1332752

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22257
/proc/meminfo: memFree=491676/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1393488 CPUtime=702.06
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 349317 0 0 0 69970 236 0 0 25 0 1 0 12504543 1426931712 342076 1992294400 4194304 8223781 140736528223920 18446744073709551615 4688352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 348372 342076 460 984 0 347385 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 1393488

[startup+762.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22259
/proc/meminfo: memFree=465884/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1418840 CPUtime=762.05
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 355722 0 0 0 75960 245 0 0 25 0 1 0 12504543 1452892160 348481 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 354710 348481 460 984 0 353723 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 1418840

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22260
/proc/meminfo: memFree=416408/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1468348 CPUtime=822.02
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 368144 0 0 0 81948 254 0 0 25 0 1 0 12504543 1503588352 360903 1992294400 4194304 8223781 140736528223920 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 367087 360903 460 984 0 366100 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 1468348

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22261
/proc/meminfo: memFree=350936/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1536496 CPUtime=882.01
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 384408 0 0 0 87934 267 0 0 25 0 1 0 12504543 1573371904 377167 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 384124 377167 460 984 0 383137 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1536496

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22263
/proc/meminfo: memFree=318076/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1569964 CPUtime=941.99
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 392591 0 0 0 93924 275 0 0 25 0 1 0 12504543 1607643136 385350 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 392491 385350 460 984 0 391504 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1569964

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 22265
/proc/meminfo: memFree=293276/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1593244 CPUtime=1001.98
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 398793 0 0 0 99915 283 0 0 25 0 1 0 12504543 1631481856 391552 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 398311 391552 465 984 0 397324 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1593244

[startup+1062.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 22270
/proc/meminfo: memFree=222192/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1621596 CPUtime=1061.95
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 405857 0 0 0 105906 289 0 0 25 0 1 0 12504543 1660514304 398616 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 405399 398616 465 984 0 404412 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1621596

[startup+1122.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 22271
/proc/meminfo: memFree=196772/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1645804 CPUtime=1121.93
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 412102 0 0 0 111897 296 0 0 25 0 1 0 12504543 1685303296 404861 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 411451 404861 465 984 0 410464 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1645804

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22272
/proc/meminfo: memFree=165772/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1678120 CPUtime=1181.92
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 419966 0 0 0 117888 304 0 0 25 0 1 0 12504543 1718394880 412725 1992294400 4194304 8223781 140736528223920 18446744073709551615 4947664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 419530 412725 465 984 0 418543 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1678120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22274
/proc/meminfo: memFree=130680/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1711484 CPUtime=1241.9
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 429151 0 0 0 123877 313 0 0 25 0 1 0 12504543 1752559616 421398 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 427871 421398 465 984 0 426884 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1711484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22276
/proc/meminfo: memFree=98812/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1745840 CPUtime=1301.89
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 437081 0 0 0 129868 321 0 0 25 0 1 0 12504543 1787740160 429328 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 436460 429328 465 984 0 435473 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1745840

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22278
/proc/meminfo: memFree=63224/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1780888 CPUtime=1361.87
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 446725 0 0 0 135857 330 0 0 25 0 1 0 12504543 1823629312 438204 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 445222 438204 465 984 0 444235 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1780888

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22279
/proc/meminfo: memFree=22056/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1821148 CPUtime=1421.85
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 456979 0 0 0 141846 339 0 0 25 0 1 0 12504543 1864855552 448458 1992294400 4194304 8223781 140736528223920 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 455287 448458 465 984 0 454300 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1821148



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1455 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22280
/proc/meminfo: memFree=10684/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1843208 CPUtime=1454.54
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 462350 0 0 0 145109 345 0 0 25 0 1 0 12504543 1887444992 453829 1992294400 4194304 8223781 140736528223920 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 460802 453829 465 984 0 459815 0
Current children cumulated CPU time (s) 1454.54
Current children cumulated vsize (KiB) 1843208

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22238

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

[startup+1455.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22281
/proc/meminfo: memFree=9188/2059040 swapFree=4192956/4192956
[pid=22238] ppid=22236 vsize=1857712 CPUtime=1455.34
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4202496 466375 0 0 0 145173 361 0 0 25 0 1 0 12504543 1902297088 457595 1992294400 4194304 8223781 140736528223920 18446744073709551615 4914769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22238/statm: 464428 457595 468 984 0 463441 0
Current children cumulated CPU time (s) 1455.34
Current children cumulated vsize (KiB) 1857712

[startup+1456.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 22281
/proc/meminfo: memFree=9208/2059040 swapFree=4185400/4192956
[pid=22238] ppid=22236 vsize=1876128 CPUtime=1456
/proc/22238/stat : 22238 (pbscip.linux.x8) D 22236 22238 21236 0 -1 4204544 474404 0 0 0 145225 375 0 0 18 0 1 0 12504543 1921155072 462024 1992294400 4194304 8223781 140736528223920 18446744073709551615 6205568 0 0 4096 16384 18446744071562310694 0 0 17 1 0 0 15
/proc/22238/statm: 469032 462024 470 984 0 468045 0
Current children cumulated CPU time (s) 1456
Current children cumulated vsize (KiB) 1876128

[startup+1457.1 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 22281
/proc/meminfo: memFree=9208/2059040 swapFree=4185400/4192956
[pid=22238] ppid=22236 vsize=0 CPUtime=1456.25
/proc/22238/stat : 22238 (pbscip.linux.x8) R 22236 22238 21236 0 -1 4203524 475045 0 0 0 145239 386 0 0 18 0 1 0 12504543 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 36
/proc/22238/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1456.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1457.19
CPU time (s): 1456.35
CPU user time (s): 1452.4
CPU system time (s): 3.9534
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 1877880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1452.4
system time used= 3.9534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475045
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= 12
involuntary context switches= 15749

runsolver used 2.45463 second user time and 6.86096 second system time

The end

Launcher Data 

Begin job on node005 at 2010-07-06 21:01:49
IDJOB=2686848
IDBENCH=76942
IDSOLVER=1169
FILE ID=node005/2686848-1278442909
PBS_JOBID= 11233465
Free space on /tmp= 62540 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/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-2686848-1278442909/watcher-2686848-1278442909 -o /tmp/evaluation-result-2686848-1278442909/solver-2686848-1278442909 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686848-1278442909.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c
RANDOM SEED=33280458

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861916 kB
Buffers:          3236 kB
Cached:          59852 kB
SwapCached:          0 kB
Active:          21572 kB
Inactive:       101996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861916 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8212 kB
Writeback:           0 kB
AnonPages:       60616 kB
Mapped:          14376 kB
Slab:            51448 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179044 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= 62532 MiB
End job on node005 at 2010-07-06 21:26:07