Trace number 2687537

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) 804.205 804.879

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j902_3.std.opb
MD5SUM3657f1c03b4b0d58c64396052496042e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark7.14891
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 constraints176130
Number of constraints which are clauses174930
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 constraint23
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-2687537-1278454263.opb>
3.09/3.11	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176130 constraints
3.09/3.11	c problem read
3.09/3.11	c presolving settings loaded
3.99/4.04	c presolving:
14.59/14.67	c (round 1) 3142 del vars, 9262 del conss, 2087 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12102404 impls, 0 clqs
21.09/21.10	c (round 2) 8056 del vars, 25682 del conss, 6656 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12123127 impls, 0 clqs
22.88/22.98	c (round 3) 9451 del vars, 32813 del conss, 7403 chg bounds, 70 chg sides, 60 chg coeffs, 0 upgd conss, 12130132 impls, 0 clqs
23.79/23.88	c (round 4) 9921 del vars, 34895 del conss, 7657 chg bounds, 93 chg sides, 103 chg coeffs, 0 upgd conss, 12133389 impls, 0 clqs
24.29/24.37	c (round 5) 10147 del vars, 35843 del conss, 7760 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12134890 impls, 0 clqs
24.69/24.72	c (round 6) 10239 del vars, 36264 del conss, 7804 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12135677 impls, 0 clqs
24.89/24.99	c (round 7) 10295 del vars, 36508 del conss, 7832 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136029 impls, 0 clqs
25.20/25.22	c (round 8) 10315 del vars, 36609 del conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136041 impls, 0 clqs
26.58/26.66	c (round 9) 10315 del vars, 36622 del conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 139508 upgd conss, 12136041 impls, 0 clqs
27.29/27.39	c (round 10) 10315 del vars, 36622 del conss, 7849 chg bounds, 123 chg sides, 279 chg coeffs, 139508 upgd conss, 12136287 impls, 476 clqs
777.49/777.78	c    (770.9s) probing: 1000/44467 (2.2%) - 0 fixings, 0 aggregations, 9027561 implications, 0 bound changes
803.28/803.50	c pressed CTRL-C 1 times (5 times for forcing termination)
803.28/803.53	c    (796.6s) probing: 1100/44467 (2.5%) - 0 fixings, 0 aggregations, 9587834 implications, 0 bound changes
803.28/803.53	c    (796.6s) probing aborted: solving stopped
803.28/803.54	c presolving (11 rounds):
803.28/803.54	c  10315 deleted vars, 36622 deleted constraints, 7849 tightened bounds, 0 added holes, 123 changed sides, 279 changed coefficients
803.28/803.54	c  47931161 implications, 532 cliques
803.28/803.54	c presolved problem has 44467 variables (44467 bin, 0 int, 0 impl, 0 cont) and 139514 constraints
803.28/803.54	c    1100 constraints of type <knapsack>
803.28/803.54	c       6 constraints of type <setppc>
803.28/803.54	c  138408 constraints of type <logicor>
803.28/803.54	c transformed objective value is always integral (scale: 1)
803.28/803.54	c Presolving Time: 796.14
803.28/803.54	c - non default parameters ----------------------------------------------------------------------
803.28/803.54	c # SCIP version 1.2.1.2
803.28/803.54	c 
803.28/803.54	c # frequency for displaying node information lines
803.28/803.54	c # [type: int, range: [-1,2147483647], default: 100]
803.28/803.54	c display/freq = 10000
803.28/803.54	c 
803.28/803.54	c # maximal time in seconds to run
803.28/803.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
803.28/803.54	c limits/time = 1796.9
803.28/803.54	c 
803.28/803.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
803.28/803.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
803.28/803.54	c limits/memory = 1620
803.28/803.54	c 
803.28/803.54	c # should presolving try to simplify inequalities
803.28/803.54	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
803.28/803.54	c constraints/linear/simplifyinequalities = TRUE
803.28/803.54	c 
803.28/803.54	c # should presolving try to simplify knapsacks
803.28/803.54	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
803.28/803.54	c constraints/knapsack/simplifyinequalities = TRUE
803.28/803.54	c 
803.28/803.54	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
803.28/803.54	c # [type: int, range: [-1,2147483647], default: -1]
803.28/803.54	c separating/rapidlearning/freq = 0
803.28/803.54	c 
803.28/803.54	c -----------------------------------------------------------------------------------------------
803.28/803.54	c start solving
803.38/803.69	c 
803.38/803.69	c (node 0) switching to memory saving mode (mem: 1363.1M/1620.0M)
803.97/804.69	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
803.97/804.69	c [src/scip/lp.c:3515] ERROR: Insufficient memory for new chunk
803.97/804.69	c [src/scip/lp.c:3515] ERROR: No memory in function call
803.97/804.70	c [src/scip/scip.c:11695] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/cons_logicor.c:859] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/cons_logicor.c:882] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/cons_logicor.c:1702] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:719] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:761] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:798] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:1863] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:2577] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/solve.c:3189] ERROR: Error <-1> in function call
803.97/804.70	c [src/scip/scip.c:6167] ERROR: Error <-1> in function call
803.97/804.70	c [src/cmain.c:657] ERROR: Error <-1> in function call
803.97/804.70	c [src/cmain.c:832] ERROR: Error <-1> in function call
803.97/804.70	c [src/cmain.c:908] ERROR: Error <-1> in function call
803.97/804.70	c SCIP Error (-1): c insufficient memory errorc 
803.97/804.70	c Time complete: 804.02.

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-2687537-1278454263/watcher-2687537-1278454263 -o /tmp/evaluation-result-2687537-1278454263/solver-2687537-1278454263 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687537-1278454263.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.99 0.98 0.99 3/106 23741
/proc/meminfo: memFree=1833632/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=7724 CPUtime=0
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 13639488 7909376 933 1992294400 4194304 8223781 140735978703504 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 1931 943 348 984 0 944 0

[startup+0.0582799 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23741
/proc/meminfo: memFree=1833632/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=13268 CPUtime=0.05
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 2612 0 0 0 5 0 0 0 20 0 1 0 13639488 13586432 2532 1992294400 4194304 8223781 140735978703504 18446744073709551615 6207514 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 3317 2532 365 984 0 2330 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13268

[startup+0.101284 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23741
/proc/meminfo: memFree=1833632/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=16044 CPUtime=0.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 3300 0 0 0 9 0 0 0 20 0 1 0 13639488 16429056 3220 1992294400 4194304 8223781 140735978703504 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 4011 3220 365 984 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044

[startup+0.300306 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23741
/proc/meminfo: memFree=1833632/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=28064 CPUtime=0.29
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 6343 0 0 0 27 2 0 0 20 0 1 0 13639488 28737536 6254 1992294400 4194304 8223781 140735978703504 18446744073709551615 4433316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 7016 6254 365 984 0 6029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28064

[startup+0.700354 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 23741
/proc/meminfo: memFree=1833632/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=43344 CPUtime=0.69
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 10149 0 0 0 65 4 0 0 21 0 1 0 13639488 44384256 10060 1992294400 4194304 8223781 140735978703504 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 10836 10060 365 984 0 9849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43344

[startup+1.50045 s]
/proc/loadavg: 1.23 1.03 1.01 2/107 23742
/proc/meminfo: memFree=1789232/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=59940 CPUtime=1.49
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 14267 0 0 0 144 5 0 0 23 0 1 0 13639488 61378560 14178 1992294400 4194304 8223781 140735978703504 18446744073709551615 6207514 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 14985 14178 365 984 0 13998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59940

[startup+3.10063 s]
/proc/loadavg: 1.23 1.03 1.01 2/107 23742
/proc/meminfo: memFree=1758976/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=110020 CPUtime=3.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 26746 0 0 0 299 10 0 0 25 0 1 0 13639488 112660480 26657 1992294400 4194304 8223781 140735978703504 18446744073709551615 5650591 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23741/statm: 27505 26657 365 984 0 26518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110020

[startup+6.301 s]
/proc/loadavg: 1.21 1.03 1.01 2/107 23742
/proc/meminfo: memFree=1496344/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=390060 CPUtime=6.29
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 96042 0 0 0 589 40 0 0 25 0 1 0 13639488 399421440 95536 1992294400 4194304 8223781 140735978703504 18446744073709551615 4400175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 97515 95536 441 984 0 96528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 390060

[startup+12.7007 s]
/proc/loadavg: 1.20 1.03 1.01 2/107 23742
/proc/meminfo: memFree=1239788/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=625120 CPUtime=12.68
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 152740 0 0 0 1198 70 0 0 25 0 1 0 13639488 640122880 152234 1992294400 4194304 8223781 140735978703504 18446744073709551615 5955854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 156280 152234 445 984 0 155293 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 625120

[startup+25.5012 s]
/proc/loadavg: 1.15 1.03 1.00 2/107 23742
/proc/meminfo: memFree=1201472/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=649688 CPUtime=25.48
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 160496 0 0 0 2415 133 0 0 25 0 1 0 13639488 665280512 157934 1992294400 4194304 8223781 140735978703504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 162422 157934 445 984 0 161435 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 649688

[startup+51.1012 s]
/proc/loadavg: 1.17 1.04 1.01 2/107 23742
/proc/meminfo: memFree=1086648/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=772104 CPUtime=51.08
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 207817 0 0 0 4929 179 0 0 25 0 1 0 13639488 790634496 186826 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 193026 186826 483 984 0 192039 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 772104

[startup+102.308 s]
/proc/loadavg: 1.15 1.05 1.01 2/107 23744
/proc/meminfo: memFree=1060236/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=799240 CPUtime=102.27
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 214373 0 0 0 10045 182 0 0 25 0 1 0 13639488 818421760 193349 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 199810 193349 483 984 0 198823 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 799240

[startup+162.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 23746
/proc/meminfo: memFree=990300/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=871900 CPUtime=162.25
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 232008 0 0 0 16035 190 0 0 25 0 1 0 13639488 892825600 210984 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 217975 210984 483 984 0 216988 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 871900

[startup+222.301 s]
/proc/loadavg: 1.11 1.06 1.01 2/107 23748
/proc/meminfo: memFree=928796/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=931360 CPUtime=222.24
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 247939 0 0 0 22025 199 0 0 25 0 1 0 13639488 953712640 226147 1992294400 4194304 8223781 140735978703504 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 232840 226147 483 984 0 231853 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 931360

[startup+282.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 23749
/proc/meminfo: memFree=851544/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1011516 CPUtime=282.22
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 267219 0 0 0 28013 209 0 0 25 0 1 0 13639488 1035792384 245427 1992294400 4194304 8223781 140735978703504 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 252879 245427 483 984 0 251892 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1011516

[startup+342.301 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 23750
/proc/meminfo: memFree=796736/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1078552 CPUtime=342.2
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 283615 0 0 0 34003 217 0 0 25 0 1 0 13639488 1104437248 261534 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 269638 261534 483 984 0 268651 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1078552

[startup+402.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 23752
/proc/meminfo: memFree=698528/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1171364 CPUtime=402.18
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 306175 0 0 0 39990 228 0 0 25 0 1 0 13639488 1199476736 284094 1992294400 4194304 8223781 140735978703504 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 292841 284094 483 984 0 291854 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1171364

[startup+462.301 s]
/proc/loadavg: 1.08 1.06 1.01 3/108 23757
/proc/meminfo: memFree=538064/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1298000 CPUtime=462.17
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 337761 0 0 0 45973 244 0 0 25 0 1 0 13639488 1329152000 315424 1992294400 4194304 8223781 140735978703504 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 324500 315424 483 984 0 323513 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1298000

[startup+522.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 23759
/proc/meminfo: memFree=470244/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1398732 CPUtime=522.15
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 363988 0 0 0 51954 261 0 0 25 0 1 0 13639488 1432301568 340627 1992294400 4194304 8223781 140735978703504 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 349683 340627 483 984 0 348696 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1398732

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 23760
/proc/meminfo: memFree=394728/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1474796 CPUtime=582.14
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 383408 0 0 0 57936 278 0 0 25 0 1 0 13639488 1510191104 359534 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 368699 359534 483 984 0 367712 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1474796

[startup+642.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 23761
/proc/meminfo: memFree=296024/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1572972 CPUtime=642.13
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 407747 0 0 0 63915 298 0 0 25 0 1 0 13639488 1610723328 383873 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 393243 383873 483 984 0 392256 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1572972

[startup+702.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 23763
/proc/meminfo: memFree=167684/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1702544 CPUtime=702.1
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 439795 0 0 0 69884 326 0 0 25 0 1 0 13639488 1743405056 415921 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 425636 415921 483 984 0 424649 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1702544

[startup+762.309 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 23765
/proc/meminfo: memFree=87704/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1782524 CPUtime=762.09
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 459991 0 0 0 75855 354 0 0 25 0 1 0 13639488 1825304576 435860 1992294400 4194304 8223781 140735978703504 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 445631 435860 483 984 0 444644 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1782524



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+803.5 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 23765
/proc/meminfo: memFree=27192/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1844140 CPUtime=803.28
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 475111 0 0 0 79954 374 0 0 25 0 1 0 13639488 1888399360 450980 1992294400 4194304 8223781 140735978703504 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 461035 450980 488 984 0 460048 0
Current children cumulated CPU time (s) 803.28
Current children cumulated vsize (KiB) 1844140

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

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

[startup+803.8 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 23765
/proc/meminfo: memFree=27192/2059040 swapFree=4164992/4192956
[pid=23741] ppid=23739 vsize=1859916 CPUtime=803.58
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 479695 0 0 0 79982 376 0 0 25 0 1 0 13639488 1904553984 454565 1992294400 4194304 8223781 140735978703504 18446744073709551615 4667257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23741/statm: 464979 454565 506 984 0 463992 0
Current children cumulated CPU time (s) 803.58
Current children cumulated vsize (KiB) 1859916

[startup+804.219 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 23766
/proc/meminfo: memFree=8264/2059040 swapFree=4159324/4192956
[pid=23741] ppid=23739 vsize=1881540 CPUtime=803.82
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202496 485851 0 0 0 79998 384 0 0 18 0 1 0 13639488 1926696960 459786 1992294400 4194304 8223781 140735978703504 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 16
/proc/23741/statm: 470385 459786 508 984 0 469398 0
Current children cumulated CPU time (s) 803.82
Current children cumulated vsize (KiB) 1881540

[startup+804.704 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 23766
/proc/meminfo: memFree=8264/2059040 swapFree=4159324/4192956
[pid=23741] ppid=23739 vsize=0 CPUtime=804.02
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202500 489324 0 0 0 80010 392 0 0 18 0 1 0 13639488 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 44
/proc/23741/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.02
Current children cumulated vsize (KiB) 0

[startup+804.801 s]
/proc/loadavg: 1.07 1.06 1.00 2/108 23766
/proc/meminfo: memFree=8264/2059040 swapFree=4159324/4192956
[pid=23741] ppid=23739 vsize=0 CPUtime=804.12
/proc/23741/stat : 23741 (pbscip.linux.x8) R 23739 23741 22932 0 -1 4202500 489324 0 0 0 80010 402 0 0 18 0 1 0 13639488 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 44
/proc/23741/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.12
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 804.879
CPU time (s): 804.205
CPU user time (s): 800.105
CPU system time (s): 4.09938
CPU usage (%): 99.9163
Max. virtual memory (cumulated for all children) (KiB): 1889888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 800.105
system time used= 4.09938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489324
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= 26
involuntary context switches= 4819

runsolver used 1.3088 second user time and 3.87141 second system time

The end

Launcher Data 

Begin job on node011 at 2010-07-07 00:11:03
IDJOB=2687537
IDBENCH=78061
IDSOLVER=1169
FILE ID=node011/2687537-1278454263
PBS_JOBID= 11233501
Free space on /tmp= 62436 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/j90opt/normalized-j902_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-2687537-1278454263/watcher-2687537-1278454263 -o /tmp/evaluation-result-2687537-1278454263/solver-2687537-1278454263 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687537-1278454263.opb -t 1800 -m 1800

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

MD5SUM BENCH= 3657f1c03b4b0d58c64396052496042e
RANDOM SEED=1558894452

node011.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.212
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.42
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.212
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:       1834160 kB
Buffers:         10444 kB
Cached:         111340 kB
SwapCached:        708 kB
Active:          48848 kB
Inactive:       107700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1834160 kB
SwapTotal:     4192956 kB
SwapFree:      4164992 kB
Dirty:            9904 kB
Writeback:           0 kB
AnonPages:       34016 kB
Mapped:          13592 kB
Slab:            46420 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181600 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= 62432 MiB
End job on node011 at 2010-07-07 00:24:29