Trace number 2704984

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) 1121.87 1122.28

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9023_3.std.opb
MD5SUMab00cc8e8b09e97f2dcc186b02d98b59
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark6.62899
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184370
Number of constraints which are clauses183170
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 constraint51
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-2704984-1278582424.opb>
2.79/2.85	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184370 constraints
2.79/2.85	c problem read
2.79/2.86	c presolving settings loaded
3.79/3.83	c presolving:
15.89/15.98	c (round 1) 4855 del vars, 13915 del conss, 3653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12562144 impls, 0 clqs
23.38/23.44	c (round 2) 10084 del vars, 36939 del conss, 8654 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12589793 impls, 0 clqs
25.98/26.09	c (round 3) 12422 del vars, 46921 del conss, 10041 chg bounds, 48 chg sides, 44 chg coeffs, 0 upgd conss, 12605617 impls, 0 clqs
27.78/27.86	c (round 4) 13630 del vars, 51670 del conss, 10908 chg bounds, 73 chg sides, 72 chg coeffs, 0 upgd conss, 12616129 impls, 0 clqs
28.98/29.09	c (round 5) 14520 del vars, 54999 del conss, 11511 chg bounds, 90 chg sides, 92 chg coeffs, 0 upgd conss, 12624477 impls, 0 clqs
29.69/29.77	c (round 6) 15075 del vars, 57219 del conss, 11836 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12630688 impls, 0 clqs
30.38/30.42	c (round 7) 15538 del vars, 58831 del conss, 12124 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12636701 impls, 0 clqs
30.87/30.95	c (round 8) 15919 del vars, 60272 del conss, 12364 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12641340 impls, 0 clqs
31.27/31.38	c (round 9) 16250 del vars, 61506 del conss, 12567 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12645359 impls, 0 clqs
31.57/31.67	c (round 10) 16446 del vars, 62337 del conss, 12675 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12648093 impls, 0 clqs
31.78/31.86	c (round 11) 16569 del vars, 62869 del conss, 12747 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12649553 impls, 0 clqs
32.07/32.10	c (round 12) 16634 del vars, 63167 del conss, 12787 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12650346 impls, 0 clqs
32.17/32.23	c (round 13) 16665 del vars, 63327 del conss, 12798 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12650993 impls, 0 clqs
32.37/32.44	c (round 14) 16683 del vars, 63408 del conss, 12816 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651265 impls, 0 clqs
32.47/32.57	c (round 15) 16705 del vars, 63501 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651445 impls, 0 clqs
32.57/32.68	c (round 16) 16709 del vars, 63527 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651485 impls, 0 clqs
33.58/33.67	c (round 17) 16709 del vars, 63529 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs
34.58/34.61	c (round 18) 16709 del vars, 63533 del conss, 12819 chg bounds, 135 chg sides, 262 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs
34.98/35.05	c (round 19) 16709 del vars, 63536 del conss, 12819 chg bounds, 147 chg sides, 291 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs
1121.00/1121.30	c pressed CTRL-C 1 times (5 times for forcing termination)
1121.00/1121.33	c    (1118.5s) probing: 902/38073 (2.4%) - 0 fixings, 0 aggregations, 8325065 implications, 0 bound changes
1121.00/1121.33	c    (1118.5s) probing aborted: solving stopped
1121.00/1121.34	c presolving (20 rounds):
1121.00/1121.34	c  16709 deleted vars, 63536 deleted constraints, 12819 tightened bounds, 0 added holes, 150 changed sides, 314 changed coefficients
1121.00/1121.34	c  49843833 implications, 0 cliques
1121.00/1121.34	c presolved problem has 38073 variables (38073 bin, 0 int, 0 impl, 0 cont) and 120856 constraints
1121.00/1121.34	c    1060 constraints of type <knapsack>
1121.00/1121.34	c  101010 constraints of type <setppc>
1121.00/1121.34	c   18786 constraints of type <logicor>
1121.00/1121.34	c transformed objective value is always integral (scale: 1)
1121.00/1121.34	c Presolving Time: 1117.85
1121.00/1121.34	c - non default parameters ----------------------------------------------------------------------
1121.00/1121.34	c # SCIP version 1.2.1.3
1121.00/1121.34	c 
1121.00/1121.34	c # frequency for displaying node information lines
1121.00/1121.34	c # [type: int, range: [-1,2147483647], default: 100]
1121.00/1121.34	c display/freq = 10000
1121.00/1121.34	c 
1121.00/1121.34	c # maximal time in seconds to run
1121.00/1121.34	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1121.00/1121.34	c limits/time = 1787.15
1121.00/1121.34	c 
1121.00/1121.34	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1121.00/1121.34	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1121.00/1121.34	c limits/memory = 1620
1121.00/1121.34	c 
1121.00/1121.34	c # default clock type (1: CPU user seconds, 2: wall clock time)
1121.00/1121.34	c # [type: int, range: [1,2], default: 1]
1121.00/1121.34	c timing/clocktype = 2
1121.00/1121.34	c 
1121.00/1121.34	c # should presolving try to simplify inequalities
1121.00/1121.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1121.00/1121.34	c constraints/linear/simplifyinequalities = TRUE
1121.00/1121.34	c 
1121.00/1121.34	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1121.00/1121.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1121.00/1121.34	c constraints/indicator/addCouplingCons = TRUE
1121.00/1121.34	c 
1121.00/1121.34	c # should presolving try to simplify knapsacks
1121.00/1121.34	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1121.00/1121.34	c constraints/knapsack/simplifyinequalities = TRUE
1121.00/1121.34	c 
1121.00/1121.34	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1121.00/1121.34	c # [type: int, range: [-1,2147483647], default: -1]
1121.00/1121.34	c separating/rapidlearning/freq = 0
1121.00/1121.34	c 
1121.00/1121.34	c -----------------------------------------------------------------------------------------------
1121.00/1121.34	c start solving
1121.10/1121.44	c 
1121.10/1121.44	c (node 0) switching to memory saving mode (mem: 1357.1M/1620.0M)
1121.64/1122.10	c [src/scip/sepastore.c:60] ERROR: Insufficient memory for reallocation of 1080968 bytes
1121.64/1122.10	c [src/scip/sepastore.c:60] ERROR: No memory in function call
1121.64/1122.10	c [src/scip/sepastore.c:258] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/sepastore.c:375] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/scip.c:13571] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/cons_logicor.c:888] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/cons_logicor.c:1700] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:713] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:755] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:792] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:1912] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:2591] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/solve.c:3206] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/scip/scip.c:6312] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/cmain.c:674] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/cmain.c:849] ERROR: Error <-1> in function call
1121.64/1122.10	c [src/cmain.c:925] ERROR: Error <-1> in function call
1121.64/1122.10	c SCIP Error (-1): c insufficient memory errorc 
1121.64/1122.10	c Time complete: 1121.7.

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-2704984-1278582424/watcher-2704984-1278582424 -o /tmp/evaluation-result-2704984-1278582424/solver-2704984-1278582424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704984-1278582424.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.10 1.06 1.00 3/106 579
/proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=5692 CPUtime=0
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 728 0 0 0 0 0 0 0 15 0 1 0 26448976 5828608 643 1992294400 4194304 8395647 140736267424208 18446744073709551615 5503360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 1423 647 304 1026 0 393 0

[startup+0.078459 s]
/proc/loadavg: 1.10 1.06 1.00 3/106 579
/proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=16668 CPUtime=0.07
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 3470 0 0 0 6 1 0 0 17 0 1 0 26448976 17068032 3381 1992294400 4194304 8395647 140736267424208 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 4167 3381 393 1026 0 3137 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16668

[startup+0.10046 s]
/proc/loadavg: 1.10 1.06 1.00 3/106 579
/proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=18376 CPUtime=0.09
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 3872 0 0 0 8 1 0 0 17 0 1 0 26448976 18817024 3783 1992294400 4194304 8395647 140736267424208 18446744073709551615 6014177 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.300477 s]
/proc/loadavg: 1.10 1.06 1.00 3/106 579
/proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=32748 CPUtime=0.29
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 7461 0 0 0 27 2 0 0 17 0 1 0 26448976 33533952 7372 1992294400 4194304 8395647 140736267424208 18446744073709551615 7324740 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 8187 7372 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700512 s]
/proc/loadavg: 1.10 1.06 1.00 3/106 579
/proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=47008 CPUtime=0.69
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 11007 0 0 0 65 4 0 0 17 0 1 0 26448976 48136192 10918 1992294400 4194304 8395647 140736267424208 18446744073709551615 4437222 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 11752 10918 393 1026 0 10722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47008

[startup+1.50058 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 580
/proc/meminfo: memFree=1727924/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=65768 CPUtime=1.49
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 15711 0 0 0 144 5 0 0 18 0 1 0 26448976 67346432 15622 1992294400 4194304 8395647 140736267424208 18446744073709551615 6014148 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/579/statm: 16442 15622 393 1026 0 15412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65768

[startup+3.10072 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 580
/proc/meminfo: memFree=1692336/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=192752 CPUtime=3.09
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 47666 0 0 0 292 17 0 0 21 0 1 0 26448976 197378048 47223 1992294400 4194304 8395647 140736267424208 18446744073709551615 4497876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 48188 47223 412 1026 0 47158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192752

[startup+6.301 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 580
/proc/meminfo: memFree=1428712/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=398760 CPUtime=6.29
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 98344 0 0 0 593 36 0 0 25 0 1 0 26448976 408330240 97901 1992294400 4194304 8395647 140736267424208 18446744073709551615 7385355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 99690 97901 469 1026 0 98660 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 398760

[startup+12.7016 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 580
/proc/meminfo: memFree=1196336/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=610512 CPUtime=12.69
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 149433 0 0 0 1216 53 0 0 25 0 1 0 26448976 625164288 148990 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 152628 148990 469 1026 0 151598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 610512

[startup+25.5007 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 580
/proc/meminfo: memFree=1136444/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=657992 CPUtime=25.48
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 160812 0 0 0 2492 56 0 0 25 0 1 0 26448976 673783808 160369 1992294400 4194304 8395647 140736267424208 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 164498 160369 475 1026 0 163468 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 657992

[startup+51.1009 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 580
/proc/meminfo: memFree=1075312/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=722288 CPUtime=51.07
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 179892 0 0 0 5045 62 0 0 25 0 1 0 26448976 739622912 175956 1992294400 4194304 8395647 140736267424208 18446744073709551615 6349002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 180572 175956 519 1026 0 179542 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 722288

[startup+102.308 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 582
/proc/meminfo: memFree=1028068/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=771648 CPUtime=102.25
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 191659 0 0 0 10160 65 0 0 25 0 1 0 26448976 790167552 187723 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 192912 187723 519 1026 0 191882 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 771648

[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 584
/proc/meminfo: memFree=946352/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=853404 CPUtime=162.23
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 211803 0 0 0 16152 71 0 0 25 0 1 0 26448976 873885696 207867 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 213351 207867 519 1026 0 212321 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 853404

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 584
/proc/meminfo: memFree=866248/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=934636 CPUtime=222.22
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 231804 0 0 0 22142 80 0 0 25 0 1 0 26448976 957067264 227868 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 233659 227868 519 1026 0 232629 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 934636

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 586
/proc/meminfo: memFree=806232/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=994600 CPUtime=282.21
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 246815 0 0 0 28135 86 0 0 25 0 1 0 26448976 1018470400 242879 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 248650 242879 519 1026 0 247620 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 994600

[startup+342.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 588
/proc/meminfo: memFree=716456/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1083504 CPUtime=342.19
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 269165 0 0 0 34124 95 0 0 25 0 1 0 26448976 1109508096 265229 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 270876 265229 519 1026 0 269846 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1083504

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 590
/proc/meminfo: memFree=656564/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1146160 CPUtime=402.18
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 284408 0 0 0 40117 101 0 0 25 0 1 0 26448976 1173667840 280472 1992294400 4194304 8395647 140736267424208 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 286540 280472 519 1026 0 285510 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1146160

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 592
/proc/meminfo: memFree=566912/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1234024 CPUtime=462.17
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 306461 0 0 0 46107 110 0 0 25 0 1 0 26448976 1263640576 302525 1992294400 4194304 8395647 140736267424208 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 308506 302525 519 1026 0 307476 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1234024

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 592
/proc/meminfo: memFree=500696/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1301804 CPUtime=522.15
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 323411 0 0 0 52098 117 0 0 25 0 1 0 26448976 1333047296 319475 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 325451 319475 519 1026 0 324421 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1301804

[startup+582.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 594
/proc/meminfo: memFree=443036/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1364032 CPUtime=582.13
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 338414 0 0 0 58090 123 0 0 25 0 1 0 26448976 1396768768 334478 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 341008 334478 519 1026 0 339978 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1364032

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 596
/proc/meminfo: memFree=371612/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1430492 CPUtime=642.13
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 355218 0 0 0 64082 131 0 0 25 0 1 0 26448976 1464823808 351282 1992294400 4194304 8395647 140736267424208 18446744073709551615 5215894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 357623 351282 519 1026 0 356593 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1430492

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 598
/proc/meminfo: memFree=307504/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1494980 CPUtime=702.1
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 371208 0 0 0 70074 136 0 0 25 0 1 0 26448976 1530859520 367272 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 373745 367272 519 1026 0 372715 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1494980

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 600
/proc/meminfo: memFree=225416/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1576240 CPUtime=762.1
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 391615 0 0 0 76062 148 0 0 25 0 1 0 26448976 1614069760 387679 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210343 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 394060 387679 519 1026 0 393030 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1576240

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 600
/proc/meminfo: memFree=195036/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1607704 CPUtime=822.08
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 399185 0 0 0 82057 151 0 0 25 0 1 0 26448976 1646288896 395249 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 401926 395249 519 1026 0 400896 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1607704

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 611
/proc/meminfo: memFree=152256/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1649388 CPUtime=882.05
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 409891 0 0 0 88049 156 0 0 25 0 1 0 26448976 1688973312 405955 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 412347 405955 519 1026 0 411317 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1649388

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 613
/proc/meminfo: memFree=107492/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1694864 CPUtime=942.04
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 421090 0 0 0 94043 161 0 0 25 0 1 0 26448976 1735540736 417154 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 423716 417154 519 1026 0 422686 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1694864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 615
/proc/meminfo: memFree=33464/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1772776 CPUtime=1002.02
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 440024 0 0 0 100034 168 0 0 25 0 1 0 26448976 1815322624 436088 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 443194 436088 519 1026 0 442164 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1772776

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 617
/proc/meminfo: memFree=10508/2059040 swapFree=4139820/4192956
[pid=579] ppid=577 vsize=1817088 CPUtime=1062.01
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 450712 0 0 0 106028 173 0 0 25 0 1 0 26448976 1860698112 446776 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 454272 446776 519 1026 0 453242 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1817088



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1121.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 617
/proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956
[pid=579] ppid=577 vsize=1843288 CPUtime=1121
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 457063 0 0 0 111923 177 0 0 25 0 1 0 26448976 1887526912 453127 1992294400 4194304 8395647 140736267424208 18446744073709551615 4698201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 460822 453127 519 1026 0 459792 0
Current children cumulated CPU time (s) 1121
Current children cumulated vsize (KiB) 1843288

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

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

[startup+1121.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 617
/proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956
[pid=579] ppid=577 vsize=1843288 CPUtime=1121.1
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 457072 0 0 0 111933 177 0 0 25 0 1 0 26448976 1887526912 453136 1992294400 4194304 8395647 140736267424208 18446744073709551615 4215707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 460822 453136 528 1026 0 459792 0
Current children cumulated CPU time (s) 1121.1
Current children cumulated vsize (KiB) 1843288

[startup+1121.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 617
/proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956
[pid=579] ppid=577 vsize=1869460 CPUtime=1121.5
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 464052 0 0 0 111967 183 0 0 25 0 1 0 26448976 1914327040 459970 1992294400 4194304 8395647 140736267424208 18446744073709551615 6152678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/579/statm: 467365 459970 541 1026 0 466335 0
Current children cumulated CPU time (s) 1121.5
Current children cumulated vsize (KiB) 1869460

[startup+1122.2 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 618
/proc/meminfo: memFree=7812/2059040 swapFree=4138844/4192956
[pid=579] ppid=577 vsize=0 CPUtime=1121.79
/proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202500 470748 0 0 0 111980 199 0 0 25 0 1 0 26448976 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 10
/proc/579/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1122.28
CPU time (s): 1121.87
CPU user time (s): 1119.8
CPU system time (s): 2.07069
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 1890796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1119.8
system time used= 2.07069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470748
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= 4
involuntary context switches= 2444

runsolver used 1.9837 second user time and 5.18621 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 11:47:05
IDJOB=2704984
IDBENCH=77831
IDSOLVER=1213
FILE ID=node055/2704984-1278582424
PBS_JOBID= 11240072
Free space on /tmp= 62576 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9023_3.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-2704984-1278582424/watcher-2704984-1278582424 -o /tmp/evaluation-result-2704984-1278582424/solver-2704984-1278582424 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704984-1278582424.opb -t 1800 -m 1800

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

MD5SUM BENCH= ab00cc8e8b09e97f2dcc186b02d98b59
RANDOM SEED=89708254

node055.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.224
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.44
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.224
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:       1778308 kB
Buffers:         32268 kB
Cached:         160376 kB
SwapCached:       6292 kB
Active:         131324 kB
Inactive:        74784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1778308 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:           15940 kB
Writeback:           0 kB
AnonPages:       11856 kB
Mapped:          12040 kB
Slab:            52756 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180992 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= 62564 MiB
End job on node055 at 2010-07-08 12:05:49