Trace number 3691381

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
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? (TO) 1802.06 1802.35

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMcf9128b870ef9b100d6538eb54f0c456
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-451
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 6807
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 65956
Number of bits of the biggest sum of numbers17
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3691381-1338027830.opb>
2.10/2.19	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.10/2.19	c problem read in 2.20
5.49/5.51	c presolving:
11.49/11.57	c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
13.38/13.49	c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs

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-3691381-1338027830/watcher-3691381-1338027830 -o /tmp/evaluation-result-3691381-1338027830/solver-3691381-1338027830 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691381-1338027830.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.18 2.07 2.02 3/176 2258
/proc/meminfo: memFree=28350840/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 1529 0 0 0 0 0 0 0 20 0 1 0 268911631 11403264 1484 33554432000 4194304 10173063 140735444680176 140735444678808 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 2784 1484 408 1460 0 1315 0

[startup+0.0753479 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 2258
/proc/meminfo: memFree=28350840/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=37004 CPUtime=0.07 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 8014 0 0 0 6 1 0 0 20 0 1 0 268911631 37892096 7969 33554432000 4194304 10173063 140735444680176 140735444678808 5679316 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 9251 7969 416 1460 0 7782 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37004

[startup+0.100412 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 2258
/proc/meminfo: memFree=28350840/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=43540 CPUtime=0.09 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 9646 0 0 0 8 1 0 0 20 0 1 0 268911631 44584960 9601 33554432000 4194304 10173063 140735444680176 140735444678808 8867704 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 10885 9601 416 1460 0 9416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43540

[startup+0.300285 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 2258
/proc/meminfo: memFree=28350840/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=83668 CPUtime=0.29 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 19615 0 0 0 26 3 0 0 20 0 1 0 268911631 85676032 19570 33554432000 4194304 10173063 140735444680176 140735444678808 7171786 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 20917 19570 416 1460 0 19448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83668

[startup+0.700285 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 2258
/proc/meminfo: memFree=28350840/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=189160 CPUtime=0.68 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 45965 0 0 0 62 6 0 0 20 0 1 0 268911631 193699840 45920 33554432000 4194304 10173063 140735444680176 140735444545352 5285019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 47290 45920 416 1460 0 45821 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 189160

[startup+1.5003 s]
/proc/loadavg: 2.18 2.07 2.02 3/177 2259
/proc/meminfo: memFree=28095376/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=380056 CPUtime=1.49 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 93405 0 0 0 135 14 0 0 20 0 1 0 268911631 389177344 93361 33554432000 4194304 10173063 140735444680176 140735444545352 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 95014 93405 416 1460 0 93545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 380056

[startup+3.10037 s]
/proc/loadavg: 2.17 2.06 2.02 3/177 2259
/proc/meminfo: memFree=27920652/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=923968 CPUtime=3.08 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 229719 0 0 0 273 35 0 0 20 0 1 0 268911631 946143232 229548 33554432000 4194304 10173063 140735444680176 140735444676312 4953443 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 230992 229548 467 1460 0 229523 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 923968

[startup+6.30029 s]
/proc/loadavg: 2.17 2.06 2.02 3/177 2259
/proc/meminfo: memFree=27134972/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=1241684 CPUtime=6.29 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 332088 0 0 0 541 88 0 0 20 0 1 0 268911631 1271484416 307892 33554432000 4194304 10173063 140735444680176 140735444677160 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 310421 307892 551 1460 0 308952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1241684

[startup+12.7003 s]
/proc/loadavg: 2.14 2.06 2.02 3/177 2259
/proc/meminfo: memFree=26729952/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=1630224 CPUtime=12.69 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 462261 0 0 0 1002 267 0 0 20 0 1 0 268911631 1669349376 404517 33554432000 4194304 10173063 140735444680176 140735444676232 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 407556 404517 587 1460 0 406087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1630224

[startup+25.5003 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 2259
/proc/meminfo: memFree=26462988/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=1903172 CPUtime=25.49 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 509972 0 0 0 2188 361 0 0 20 0 1 0 268911631 1948848128 471804 33554432000 4194304 10173063 140735444680176 140735444675672 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 475793 471804 615 1460 0 474324 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1903172

[startup+51.1004 s]
/proc/loadavg: 2.14 2.07 2.02 3/177 2259
/proc/meminfo: memFree=26454028/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=1912520 CPUtime=51.08 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 512205 0 0 0 4747 361 0 0 20 0 1 0 268911631 1958420480 474037 33554432000 4194304 10173063 140735444680176 140735444675576 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 478130 474037 615 1460 0 476661 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1912520

[startup+102.307 s]
/proc/loadavg: 2.14 2.08 2.02 3/177 2259
/proc/meminfo: memFree=26453328/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=1912780 CPUtime=102.27 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 512788 0 0 0 9866 361 0 0 20 0 1 0 268911631 1958686720 474123 33554432000 4194304 10173063 140735444680176 140735444675496 8925013 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 478195 474123 615 1460 0 476726 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1912780

[startup+162.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/177 2259
/proc/meminfo: memFree=25093928/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3307680 CPUtime=162.26 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 832495 0 0 0 15819 407 0 0 20 0 1 0 268911631 3387064320 813230 33554432000 4194304 10173063 140735444680176 140735444675288 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 826920 813230 615 1460 0 825451 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3307680

[startup+222.3 s]
/proc/loadavg: 1.45 1.90 1.96 2/171 2283
/proc/meminfo: memFree=25192140/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3308704 CPUtime=222.25 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 832963 0 0 0 21818 407 0 0 20 0 1 0 268911631 3388112896 813738 33554432000 4194304 10173063 140735444680176 140735444675288 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 827176 813738 615 1460 0 825707 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3308704

[startup+282.3 s]
/proc/loadavg: 1.16 1.73 1.90 2/171 2284
/proc/meminfo: memFree=25191300/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3308704 CPUtime=282.25 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 833170 0 0 0 27817 408 0 0 20 0 1 0 268911631 3388112896 813945 33554432000 4194304 10173063 140735444680176 140735444675288 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 827176 813945 615 1460 0 825707 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3308704

[startup+342.3 s]
/proc/loadavg: 1.06 1.60 1.84 2/171 2284
/proc/meminfo: memFree=25186864/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3312608 CPUtime=342.23 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 834284 0 0 0 33815 408 0 0 20 0 1 0 268911631 3392110592 815059 33554432000 4194304 10173063 140735444680176 140735444675288 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 828152 815059 615 1460 0 826683 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3312608

[startup+402.3 s]
/proc/loadavg: 1.02 1.49 1.79 2/172 2287
/proc/meminfo: memFree=25186512/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3312608 CPUtime=402.22 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 834496 0 0 0 39814 408 0 0 20 0 1 0 268911631 3392110592 815271 33554432000 4194304 10173063 140735444680176 140735444675288 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 828152 815271 615 1460 0 826683 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3312608

[startup+462.3 s]
/proc/loadavg: 1.07 1.41 1.74 2/171 2287
/proc/meminfo: memFree=25184904/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3313500 CPUtime=462.21 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 834939 0 0 0 45813 408 0 0 20 0 1 0 268911631 3393024000 815681 33554432000 4194304 10173063 140735444680176 140735444675816 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 828375 815681 615 1460 0 826906 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3313500

[startup+522.3 s]
/proc/loadavg: 1.02 1.34 1.69 2/171 2287
/proc/meminfo: memFree=25181708/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3315356 CPUtime=522.21 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 835623 0 0 0 51812 409 0 0 20 0 1 0 268911631 3394924544 816364 33554432000 4194304 10173063 140735444680176 140735444675288 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 828839 816364 615 1460 0 827370 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3315356

[startup+582.3 s]
/proc/loadavg: 1.01 1.27 1.64 2/171 2288
/proc/meminfo: memFree=25181240/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3315356 CPUtime=582.2 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 835815 0 0 0 57811 409 0 0 20 0 1 0 268911631 3394924544 816556 33554432000 4194304 10173063 140735444680176 140735444675288 8925020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 828839 816556 615 1460 0 827370 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3315356

[startup+642.3 s]

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

/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 839793 0 0 0 105802 410 0 0 20 0 1 0 268911631 3404419072 824245 33554432000 4194304 10173063 140735444680176 140735444675288 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 831157 824245 615 1460 0 829688 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3324628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/171 2294
/proc/meminfo: memFree=25149500/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3324628 CPUtime=1122.11 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 839948 0 0 0 111801 410 0 0 20 0 1 0 268911631 3404419072 824509 33554432000 4194304 10173063 140735444680176 140735444675288 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 831157 824509 615 1460 0 829688 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3324628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.32 2/171 2295
/proc/meminfo: memFree=25146428/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3326676 CPUtime=1182.1 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 840689 0 0 0 117800 410 0 0 20 0 1 0 268911631 3406516224 825250 33554432000 4194304 10173063 140735444680176 140735444675288 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 831669 825250 615 1460 0 830200 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3326676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/171 2295
/proc/meminfo: memFree=25144596/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3327508 CPUtime=1242.09 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 841093 0 0 0 123798 411 0 0 20 0 1 0 268911631 3407368192 825654 33554432000 4194304 10173063 140735444680176 140735444675288 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 831877 825654 615 1460 0 830408 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3327508

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/171 2295
/proc/meminfo: memFree=25139820/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3329556 CPUtime=1302.09 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 841818 0 0 0 129798 411 0 0 20 0 1 0 268911631 3409465344 826939 33554432000 4194304 10173063 140735444680176 140735444675288 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 832389 826939 615 1460 0 830920 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3329556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/171 2295
/proc/meminfo: memFree=25131932/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3330580 CPUtime=1362.07 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 842162 0 0 0 135796 411 0 0 20 0 1 0 268911631 3410513920 828837 33554432000 4194304 10173063 140735444680176 140735444675288 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 832645 828837 615 1460 0 831176 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3330580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.23 2/171 2295
/proc/meminfo: memFree=25128204/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3332436 CPUtime=1422.07 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 842666 0 0 0 141796 411 0 0 20 0 1 0 268911631 3412414464 829840 33554432000 4194304 10173063 140735444680176 140735444675288 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 833109 829840 615 1460 0 831640 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3332436

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 2296
/proc/meminfo: memFree=25127872/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3332304 CPUtime=1482.05 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 842705 0 0 0 147794 411 0 0 20 0 1 0 268911631 3412279296 829846 33554432000 4194304 10173063 140735444680176 140735444675608 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 833076 829846 615 1460 0 831607 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3332304

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/171 2296
/proc/meminfo: memFree=25127284/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3333328 CPUtime=1542.04 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 842990 0 0 0 153793 411 0 0 20 0 1 0 268911631 3413327872 830131 33554432000 4194304 10173063 140735444680176 140735444675288 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 833332 830131 615 1460 0 831863 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3333328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 2299
/proc/meminfo: memFree=25125384/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3335376 CPUtime=1602.03 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 843539 0 0 0 159792 411 0 0 20 0 1 0 268911631 3415425024 830680 33554432000 4194304 10173063 140735444680176 140735444675288 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 833844 830680 615 1460 0 832375 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3335376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 2299
/proc/meminfo: memFree=25124304/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3336208 CPUtime=1662.02 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 843776 0 0 0 165791 411 0 0 20 0 1 0 268911631 3416276992 830917 33554432000 4194304 10173063 140735444680176 140735444675288 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834052 830917 615 1460 0 832583 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3336208

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/171 2299
/proc/meminfo: memFree=25121720/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1722.02 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844317 0 0 0 171790 412 0 0 20 0 1 0 268911631 3418374144 831571 33554432000 4194304 10173063 140735444680176 140735444675288 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 831571 615 1460 0 833095 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3338256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/171 2300
/proc/meminfo: memFree=25119740/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1782.01 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844354 0 0 0 177789 412 0 0 20 0 1 0 268911631 3418374144 831992 33554432000 4194304 10173063 140735444680176 140735444675288 5864758 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 831992 615 1460 0 833095 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3338256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/171 2300
/proc/meminfo: memFree=25117916/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1800.02 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844364 0 0 0 179590 412 0 0 20 0 1 0 268911631 3418374144 832444 33554432000 4194304 10173063 140735444680176 140735444675288 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 832444 615 1460 0 833095 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3338256

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2258

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 2301
/proc/meminfo: memFree=25117908/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1801.11 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844364 0 0 0 179699 412 0 0 20 0 1 0 268911631 3418374144 832444 33554432000 4194304 10173063 140735444680176 140735444674752 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 832444 615 1460 0 833095 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3338256

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 2301
/proc/meminfo: memFree=25117908/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1801.52 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844364 0 0 0 179740 412 0 0 20 0 1 0 268911631 3418374144 832444 33554432000 4194304 10173063 140735444680176 140735444674752 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 832444 615 1460 0 833095 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 3338256

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 2301
/proc/meminfo: memFree=25117908/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1801.91 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844364 0 0 0 179779 412 0 0 20 0 1 0 268911631 3418374144 832444 33554432000 4194304 10173063 140735444680176 140735444674752 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 832444 615 1460 0 833095 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3338256

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/172 2301
/proc/meminfo: memFree=25117908/32873844 swapFree=7356/7356
[pid=2258] ppid=2256 vsize=3338256 CPUtime=1802.01 cores=1,3,5,7
/proc/2258/stat : 2258 (scip-2.1.1.4fix) R 2256 2258 1047 0 -1 4202496 844364 0 0 0 179789 412 0 0 20 0 1 0 268911631 3418374144 832444 33554432000 4194304 10173063 140735444680176 140735444674752 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 834564 832444 615 1460 0 833095 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3338256

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.35
CPU time (s): 1802.06
CPU user time (s): 1797.9
CPU system time (s): 4.16037
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3338256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 4.16037
maximum resident set size= 3329776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844364
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= 27
involuntary context switches= 1851

runsolver used 7.08392 second user time and 11.4813 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-26 12:23:50
IDJOB=3691381
IDBENCH=91092
IDSOLVER=2270
FILE ID=node109/3691381-1338027830
RUNJOBID= node109-1338016937-1066
PBS_JOBID= 14624362
Free space on /tmp= 71352 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691381-1338027830/watcher-3691381-1338027830 -o /tmp/evaluation-result-3691381-1338027830/solver-3691381-1338027830 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691381-1338027830.opb -t 1800 -m 15500

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

MD5SUM BENCH= cf9128b870ef9b100d6538eb54f0c456
RANDOM SEED=1632147501

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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	: 5331.91
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28350980 kB
Buffers:          238568 kB
Cached:          3408504 kB
SwapCached:            0 kB
Active:           800436 kB
Inactive:        2941376 kB
Active(anon):      97556 kB
Inactive(anon):        0 kB
Active(file):     702880 kB
Inactive(file):  2941376 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             41268 kB
Writeback:            16 kB
AnonPages:        104068 kB
Mapped:            17580 kB
Shmem:               200 kB
Slab:             639528 kB
SReclaimable:      82036 kB
SUnreclaim:       557492 kB
KernelStack:        1448 kB
PageTables:         4188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     208568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71352 MiB
End job on node109 at 2012-05-26 12:53:53