Trace number 3741596

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (exit code) 1203.07 1203.48

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-zib01.opb
MD5SUM8f491d5bc2eb927e9b611fe56423c3ea
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12471400
Total number of constraints5887041
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3671487
Number of constraints which are nor clauses,nor cardinality constraints2215554
Minimum length of a constraint3
Maximum length of a constraint162
Number of terms in the objective function 12471400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 12471400
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 56
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12471400
Number of bits of the biggest sum of numbers24
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-3741596-1338757242.opb>
1197.59/1198.05	c original problem has 12471400 variables (12471400 bin, 0 int, 0 impl, 0 cont) and 5887041 constraints
1197.59/1198.05	c problem read
1197.59/1198.05	c presolving settings loaded
1202.19/1202.67	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048528 bytes
1202.19/1202.67	c [src/scip/history.c:46] ERROR: Insufficient memory for new chunk
1202.19/1202.67	c [src/scip/history.c:46] ERROR: No memory in function call
1202.19/1202.67	c [src/scip/var.c:1725] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/scip/var.c:1798] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/scip/var.c:2730] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/scip/prob.c:388] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/scip/scip.c:5148] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/scip/scip.c:6115] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/cmain.c:599] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/cmain.c:849] ERROR: Error <-1> in function call
1202.19/1202.67	c [src/cmain.c:925] ERROR: Error <-1> in function call
1202.19/1202.67	c SCIP Error (-1): c insufficient memory errorc 
1202.19/1202.67	c Time complete: 1202.26.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741596-1338757242/watcher-3741596-1338757242 -o /tmp/evaluation-result-3741596-1338757242/solver-3741596-1338757242 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741596-1338757242.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.33 2.10 2.02 3/177 11801
/proc/meminfo: memFree=26755156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 341793763 8105984 1196 33554432000 4194304 8395647 140734653999248 140735758626472 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 1979 1196 370 1026 0 949 0

[startup+0.0222131 s]
/proc/loadavg: 2.33 2.10 2.02 3/177 11801
/proc/meminfo: memFree=26755156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=17196 CPUtime=0.01 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 3556 0 0 0 1 0 0 0 20 0 1 0 341793763 17608704 3501 33554432000 4194304 8395647 140734653999248 140735758626472 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 4299 3501 387 1026 0 3269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17196

[startup+0.100346 s]
/proc/loadavg: 2.33 2.10 2.02 3/177 11801
/proc/meminfo: memFree=26755156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=51716 CPUtime=0.09 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 12136 0 0 0 7 2 0 0 20 0 1 0 341793763 52957184 12076 33554432000 4194304 8395647 140734653999248 140734653864456 5759075 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 12929 12076 387 1026 0 11899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51716

[startup+0.300268 s]
/proc/loadavg: 2.33 2.10 2.02 3/177 11801
/proc/meminfo: memFree=26755156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=135960 CPUtime=0.29 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 32692 0 0 0 24 5 0 0 20 0 1 0 341793763 139223040 32632 33554432000 4194304 8395647 140734653999248 140734653864456 5758034 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 33990 32635 387 1026 0 32960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 135960

[startup+0.700202 s]
/proc/loadavg: 2.33 2.10 2.02 3/177 11801
/proc/meminfo: memFree=26755156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=278052 CPUtime=0.68 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 68117 0 0 0 57 11 0 0 20 0 1 0 341793763 284725248 68057 33554432000 4194304 8395647 140734653999248 140734653864456 7324722 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/11801/statm: 69513 68057 387 1026 0 68483 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 278052

[startup+1.50035 s]
/proc/loadavg: 2.38 2.11 2.02 3/178 11802
/proc/meminfo: memFree=26358348/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=518524 CPUtime=1.48 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 127037 0 0 0 127 21 0 0 20 0 1 0 341793763 530968576 127488 33554432000 4194304 8395647 140734653999248 140734653864456 7277261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 129631 127488 387 1026 0 128601 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 518524

[startup+3.10035 s]
/proc/loadavg: 2.38 2.11 2.02 3/178 11802
/proc/meminfo: memFree=26071780/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=901552 CPUtime=3.08 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 219117 0 0 0 272 36 0 0 20 0 1 0 341793763 923189248 220079 33554432000 4194304 8395647 140734653999248 140734653864424 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 225388 220079 387 1026 0 224358 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 901552

[startup+6.30034 s]
/proc/loadavg: 2.38 2.11 2.02 3/178 11802
/proc/meminfo: memFree=25442700/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=1443244 CPUtime=6.28 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 355000 0 0 0 571 57 0 0 20 0 1 0 341793763 1477881856 359028 33554432000 4194304 8395647 140734653999248 140734653861736 7384824 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 360811 359028 387 1026 0 359781 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1443244

[startup+12.7003 s]
/proc/loadavg: 2.32 2.11 2.02 3/178 11802
/proc/meminfo: memFree=24575560/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=2276628 CPUtime=12.68 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 552782 0 0 0 1179 89 0 0 20 0 1 0 341793763 2331267072 562431 33554432000 4194304 8395647 140734653999248 140734653861736 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 569157 562431 387 1026 0 568127 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2276628

[startup+25.5004 s]
/proc/loadavg: 2.27 2.11 2.02 3/177 11802
/proc/meminfo: memFree=23345736/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=3503176 CPUtime=25.48 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 838951 0 0 0 2414 134 0 0 20 0 1 0 341793763 3587252224 854732 33554432000 4194304 8395647 140734653999248 140734653861736 6349190 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 875794 854732 387 1026 0 874764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3503176

[startup+51.1003 s]
/proc/loadavg: 2.18 2.10 2.02 3/178 11803
/proc/meminfo: memFree=21670780/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=5145004 CPUtime=51.07 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 1246467 0 0 0 4912 195 0 0 20 0 1 0 341793763 5268484096 1275023 33554432000 4194304 8395647 140734653999248 140734653861736 6347234 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 1286251 1275023 387 1026 0 1285221 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5145004

[startup+102.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 11803
/proc/meminfo: memFree=19244660/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=7597080 CPUtime=102.25 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 1826925 0 0 0 9940 285 0 0 20 0 1 0 341793763 7779409920 1872834 33554432000 4194304 8395647 140734653999248 140734653861752 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 1899270 1872834 387 1026 0 1898240 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 7597080

[startup+162.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 11803
/proc/meminfo: memFree=17914840/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=8897288 CPUtime=162.21 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2148239 0 0 0 15885 336 0 0 20 0 1 0 341793763 9110822912 2204837 33554432000 4194304 8395647 140734653999248 140734653864456 4327595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2224322 2204837 394 1026 0 2223292 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 8897288

[startup+222.307 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 11803
/proc/meminfo: memFree=17806480/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9004876 CPUtime=222.17 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2175166 0 0 0 21875 342 0 0 20 0 1 0 341793763 9220993024 2231717 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2251219 2231717 394 1026 0 2250189 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 9004876

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 11803
/proc/meminfo: memFree=17694752/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9117484 CPUtime=282.12 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2203350 0 0 0 27864 348 0 0 20 0 1 0 341793763 9336303616 2259853 33554432000 4194304 8395647 140734653999248 140734653864456 4327595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2279371 2259853 394 1026 0 2278341 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 9117484

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 11804
/proc/meminfo: memFree=17575428/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9236164 CPUtime=342.09 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2232994 0 0 0 33853 356 0 0 20 0 1 0 341793763 9457831936 2289486 33554432000 4194304 8395647 140734653999248 140734653864456 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2309041 2289486 394 1026 0 2308011 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 9236164

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11804
/proc/meminfo: memFree=17459736/32873844 swapFree=7132/7132
[pid=11801] ppid=11799 vsize=9353156 CPUtime=402.08 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2262000 0 0 0 39844 364 0 0 20 0 1 0 341793763 9577631744 2318492 33554432000 4194304 8395647 140734653999248 140734653864456 4327677 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2338289 2318492 394 1026 0 2337259 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 9353156

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 11804
/proc/meminfo: memFree=17341812/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9469808 CPUtime=462.07 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2291164 0 0 0 45836 371 0 0 20 0 1 0 341793763 9697083392 2347656 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2367452 2347656 394 1026 0 2366422 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 9469808

[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 11805
/proc/meminfo: memFree=17225128/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9588308 CPUtime=522.05 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2320734 0 0 0 51827 378 0 0 20 0 1 0 341793763 9818427392 2377212 33554432000 4194304 8395647 140734653999248 140734653864456 4327595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2397077 2377212 394 1026 0 2396047 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 9588308

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 11808
/proc/meminfo: memFree=17106120/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9706584 CPUtime=582.04 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2350100 0 0 0 57818 386 0 0 20 0 1 0 341793763 9939542016 2406564 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2426646 2406564 394 1026 0 2425616 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 9706584

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11809
/proc/meminfo: memFree=16989592/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9820780 CPUtime=642.01 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2379154 0 0 0 63808 393 0 0 20 0 1 0 341793763 10056478720 2435603 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2455195 2435603 394 1026 0 2454165 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 9820780

[startup+702.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11809
/proc/meminfo: memFree=16851908/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=9959084 CPUtime=701.99 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2413078 0 0 0 69799 400 0 0 20 0 1 0 341793763 10198102016 2470023 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2489771 2470023 394 1026 0 2488741 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 9959084

[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11809
/proc/meminfo: memFree=16565300/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=10245920 CPUtime=761.99 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2483531 0 0 0 75783 416 0 0 20 0 1 0 341793763 10491822080 2540981 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2561480 2540981 394 1026 0 2560450 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 10245920

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11809
/proc/meminfo: memFree=16282084/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=10529920 CPUtime=821.96 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2554087 0 0 0 81767 429 0 0 20 0 1 0 341793763 10782638080 2612554 33554432000 4194304 8395647 140734653999248 140734653864456 4327595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2632480 2612554 394 1026 0 2631450 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 10529920

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11809
/proc/meminfo: memFree=15993312/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=10815180 CPUtime=881.96 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2624223 0 0 0 87753 443 0 0 20 0 1 0 341793763 11074744320 2683708 33554432000 4194304 8395647 140734653999248 140734653864456 4327677 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2703795 2683708 394 1026 0 2702765 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 10815180

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11809
/proc/meminfo: memFree=15723588/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11088744 CPUtime=941.94 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2690922 0 0 0 93739 455 0 0 20 0 1 0 341793763 11354873856 2751424 33554432000 4194304 8395647 140734653999248 140734653864456 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2772186 2751424 394 1026 0 2771156 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 11088744

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11810
/proc/meminfo: memFree=15637488/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11174740 CPUtime=1001.93 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2712444 0 0 0 99732 461 0 0 20 0 1 0 341793763 11442933760 2772938 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2793685 2772938 394 1026 0 2792655 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 11174740

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11810
/proc/meminfo: memFree=15553156/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11257220 CPUtime=1061.91 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2733062 0 0 0 105725 466 0 0 20 0 1 0 341793763 11527393280 2794053 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2814305 2794053 394 1026 0 2813275 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 11257220

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11810
/proc/meminfo: memFree=15471132/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11338752 CPUtime=1121.9 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2753447 0 0 0 111719 471 0 0 20 0 1 0 341793763 11610882048 2814436 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2834688 2814436 394 1026 0 2833658 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 11338752

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11813
/proc/meminfo: memFree=15386748/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11421124 CPUtime=1181.89 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2774046 0 0 0 117713 476 0 0 20 0 1 0 341793763 11695230976 2835541 33554432000 4194304 8395647 140734653999248 140734653864456 4327677 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2855281 2835541 394 1026 0 2854251 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 11421124

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

[startup+1190.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 11813
/proc/meminfo: memFree=15374980/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11432240 CPUtime=1189.99 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2776813 0 0 0 118522 477 0 0 20 0 1 0 341793763 11706613760 2838304 33554432000 4194304 8395647 140734653999248 140734653864456 7331440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2858060 2838304 394 1026 0 2857030 0
Current children cumulated CPU time (s) 1189.99
Current children cumulated vsize (KiB) 11432240

[startup+1196.8 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11813
/proc/meminfo: memFree=15366168/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=11441108 CPUtime=1196.39 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 2779063 0 0 0 119161 478 0 0 20 0 1 0 341793763 11715694592 2840553 33554432000 4194304 8395647 140734653999248 140734653864456 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 2860277 2840553 394 1026 0 2859247 0
Current children cumulated CPU time (s) 1196.39
Current children cumulated vsize (KiB) 11441108

[startup+1200 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11813
/proc/meminfo: memFree=14462076/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=13382768 CPUtime=1199.59 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 3239004 0 0 0 119421 538 0 0 20 0 1 0 341793763 13703954432 3305251 33554432000 4194304 8395647 140734653999248 140734653993592 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 3345692 3305251 410 1026 0 3344662 0
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (KiB) 13382768

[startup+1201.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11813
/proc/meminfo: memFree=12351628/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=14899104 CPUtime=1201.19 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 3616295 0 0 0 119531 588 0 0 20 0 1 0 341793763 15256682496 3688162 33554432000 4194304 8395647 140734653999248 140734653993608 6013155 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 3724776 3688162 410 1026 0 3723746 0
Current children cumulated CPU time (s) 1201.19
Current children cumulated vsize (KiB) 14899104

[startup+1202.41 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11813
/proc/meminfo: memFree=11293272/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=15673584 CPUtime=1201.99 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202496 3807133 0 0 0 119586 613 0 0 20 0 1 0 341793763 16049750016 3882066 33554432000 4194304 8395647 140734653999248 140734653993592 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 3918396 3882067 410 1026 0 3917366 0
Current children cumulated CPU time (s) 1201.99
Current children cumulated vsize (KiB) 15673584

[startup+1203.2 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11813
/proc/meminfo: memFree=11293272/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=0 CPUtime=1202.79 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202500 3869407 0 0 0 119605 674 0 0 20 0 1 0 341793763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1202.79
Current children cumulated vsize (KiB) 0

[startup+1203.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11813
/proc/meminfo: memFree=25488440/32873844 swapFree=7128/7128
[pid=11801] ppid=11799 vsize=0 CPUtime=1203 cores=1,3,5,7
/proc/11801/stat : 11801 (pbscip.linux.x8) R 11799 11801 11206 0 -1 4202500 3869407 0 0 0 119605 695 0 0 20 0 1 0 341793763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1203
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1203.48
CPU time (s): 1203.07
CPU user time (s): 1196.05
CPU system time (s): 7.02193
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 15856868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.05
system time used= 7.02193
maximum resident set size= 15783492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3869407
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= 307
involuntary context switches= 1459

runsolver used 1.90971 second user time and 4.92025 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 23:01:08
IDJOB=3741596
IDBENCH=89882
IDSOLVER=2326
FILE ID=node105/3741596-1338757242
RUNJOBID= node105-1338749876-11223
PBS_JOBID= 14636807
Free space on /tmp= 70500 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-zib01.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-3741596-1338757242/watcher-3741596-1338757242 -o /tmp/evaluation-result-3741596-1338757242/solver-3741596-1338757242 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741596-1338757242.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8f491d5bc2eb927e9b611fe56423c3ea
RANDOM SEED=1653809065

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26755808 kB
Buffers:          567492 kB
Cached:          4526484 kB
SwapCached:         1700 kB
Active:          1999376 kB
Inactive:        3229668 kB
Active(anon):     129524 kB
Inactive(anon):     6844 kB
Active(file):    1869852 kB
Inactive(file):  3222824 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:            790220 kB
Writeback:             0 kB
AnonPages:        139776 kB
Mapped:            11304 kB
Shmem:                 0 kB
Slab:             748052 kB
SReclaimable:     188756 kB
SUnreclaim:       559296 kB
KernelStack:        1440 kB
PageTables:         4260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     267732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70492 MiB
End job on node105 at 2012-06-03 23:21:11