Trace number 3691398

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.16 1802.46

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUMfd17a1ef8bbc0500cef6aa90a9a85c00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-9733
Best CPU time to get the best result obtained on this benchmark1801.26
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 892
Biggest coefficient in the objective function 995
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 442322
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 995
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 442322
Number of bits of the biggest sum of numbers19
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-3691398-1338027387.opb>
1.98/2.02	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.98/2.02	c problem read in 2.02
4.58/4.66	c presolving:
8.38/8.49	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
9.59/9.60	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-3691398-1338027387/watcher-3691398-1338027387 -o /tmp/evaluation-result-3691398-1338027387/solver-3691398-1338027387 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691398-1338027387.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.02 2.01 2.00 3/176 6939
/proc/meminfo: memFree=27687416/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6939/stat : 6939 (runsolver) D 6937 6939 5668 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 268866044 12095488 51 33554432000 4194304 5436572 140735384624336 140735384620632 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/6939/statm: 2953 51 31 304 0 2645 0

[startup+0.038741 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6939
/proc/meminfo: memFree=27687416/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=25364 CPUtime=0.02 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 5076 0 0 0 2 0 0 0 20 0 1 0 268866044 25972736 5030 33554432000 4194304 10173063 140736263009008 140735384620520 8886864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 6341 5030 416 1460 0 4872 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25364

[startup+0.100329 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6939
/proc/meminfo: memFree=27687416/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=43588 CPUtime=0.09 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 9639 0 0 0 8 1 0 0 20 0 1 0 268866044 44634112 9593 33554432000 4194304 10173063 140736263009008 140735384620520 4636271 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 10897 9593 416 1460 0 9428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43588

[startup+0.300274 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6939
/proc/meminfo: memFree=27687416/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=87372 CPUtime=0.29 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 20582 0 0 0 26 3 0 0 20 0 1 0 268866044 89468928 20536 33554432000 4194304 10173063 140736263009008 140736262874184 5283980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 21843 20536 416 1460 0 20374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87372

[startup+0.700265 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6939
/proc/meminfo: memFree=27687416/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=197096 CPUtime=0.69 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 47979 0 0 0 62 7 0 0 20 0 1 0 268866044 201826304 47933 33554432000 4194304 10173063 140736263009008 140736262874184 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 49274 47933 416 1460 0 47805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 197096

[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6940
/proc/meminfo: memFree=27418792/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=400044 CPUtime=1.49 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 98647 0 0 0 135 14 0 0 20 0 1 0 268866044 409645056 98601 33554432000 4194304 10173063 140736263009008 140736262874184 5283998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 100011 98601 416 1460 0 98542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 400044

[startup+3.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6940
/proc/meminfo: memFree=27095648/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=935668 CPUtime=3.09 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 231974 0 0 0 277 32 0 0 20 0 1 0 268866044 958124032 232387 33554432000 4194304 10173063 140736263009008 140736263006456 5760629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 233917 232387 494 1460 0 232448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 935668

[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6940
/proc/meminfo: memFree=26454868/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=1342088 CPUtime=6.28 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 356738 0 0 0 559 69 0 0 20 0 1 0 268866044 1374298112 332552 33554432000 4194304 10173063 140736263009008 140736263006008 8886411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 335522 332581 563 1460 0 334053 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1342088

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6940
/proc/meminfo: memFree=25801032/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=1902552 CPUtime=12.68 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 509180 0 0 0 1138 130 0 0 20 0 1 0 268866044 1948213248 471222 33554432000 4194304 10173063 140736263009008 140736263004504 8925020 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 475638 471222 615 1460 0 474169 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1902552

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6940
/proc/meminfo: memFree=25794644/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=1910168 CPUtime=25.48 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 510443 0 0 0 2418 130 0 0 20 0 1 0 268866044 1956012032 472997 33554432000 4194304 10173063 140736263009008 140736263004376 8924999 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 477542 472997 615 1460 0 476073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1910168

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6940
/proc/meminfo: memFree=25786304/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=1913816 CPUtime=51.07 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 511435 0 0 0 4977 130 0 0 20 0 1 0 268866044 1959747584 475015 33554432000 4194304 10173063 140736263009008 140736263005384 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 478454 475015 615 1460 0 476985 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1913816

[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 6940
/proc/meminfo: memFree=25585952/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=2128404 CPUtime=102.27 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 561916 0 0 0 10090 137 0 0 20 0 1 0 268866044 2179485696 524935 33554432000 4194304 10173063 140736263009008 140736263004120 7435306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 532101 524935 615 1460 0 530632 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2128404

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6940
/proc/meminfo: memFree=24430608/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3307500 CPUtime=162.25 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 830269 0 0 0 16054 171 0 0 20 0 1 0 268866044 3386880000 813233 33554432000 4194304 10173063 140736263009008 140736263004120 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 826875 813233 615 1460 0 825406 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3307500

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6943
/proc/meminfo: memFree=24428576/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3308524 CPUtime=222.25 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 830733 0 0 0 22053 172 0 0 20 0 1 0 268866044 3387928576 813697 33554432000 4194304 10173063 140736263009008 140736263004120 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 827131 813697 615 1460 0 825662 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3308524

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6944
/proc/meminfo: memFree=24423956/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3312428 CPUtime=282.23 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 831925 0 0 0 28051 172 0 0 20 0 1 0 268866044 3391926272 814889 33554432000 4194304 10173063 140736263009008 140736263004120 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 828107 814889 615 1460 0 826638 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 3312428

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6944
/proc/meminfo: memFree=24422632/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3312428 CPUtime=342.22 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 832151 0 0 0 34050 172 0 0 20 0 1 0 268866044 3391926272 815279 33554432000 4194304 10173063 140736263009008 140736263004120 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 828107 815279 615 1460 0 826638 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 3312428

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6944
/proc/meminfo: memFree=24420800/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3313320 CPUtime=402.21 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 832652 0 0 0 40049 172 0 0 20 0 1 0 268866044 3392839680 815747 33554432000 4194304 10173063 140736263009008 140736263004648 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 828330 815747 615 1460 0 826861 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 3313320

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6944
/proc/meminfo: memFree=24411776/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3315176 CPUtime=462.21 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 833333 0 0 0 46048 173 0 0 20 0 1 0 268866044 3394740224 818599 33554432000 4194304 10173063 140736263009008 140736263004120 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 828794 818599 615 1460 0 827325 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3315176

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6944
/proc/meminfo: memFree=24404984/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3315176 CPUtime=522.2 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 833549 0 0 0 52047 173 0 0 20 0 1 0 268866044 3394740224 819599 33554432000 4194304 10173063 140736263009008 140736263004120 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 828794 819599 615 1460 0 827325 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3315176

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6945
/proc/meminfo: memFree=24400800/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3316200 CPUtime=582.18 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 834024 0 0 0 58045 173 0 0 20 0 1 0 268866044 3395788800 820632 33554432000 4194304 10173063 140736263009008 140736263004120 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 829050 820632 615 1460 0 827581 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3316200

[startup+642.3 s]

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

/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 838244 0 0 0 106037 174 0 0 20 0 1 0 268866044 3407183872 828215 33554432000 4194304 10173063 140736263009008 140736263004120 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 831832 828215 615 1460 0 830363 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3327328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/171 6974
/proc/meminfo: memFree=24478968/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3329376 CPUtime=1122.1 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 838804 0 0 0 112036 174 0 0 20 0 1 0 268866044 3409281024 828775 33554432000 4194304 10173063 140736263009008 140736263004120 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 832344 828775 615 1460 0 830875 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3329376

[startup+1182.3 s]
/proc/loadavg: 1.00 1.15 1.53 2/171 6975
/proc/meminfo: memFree=24477508/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3330396 CPUtime=1182.09 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 839107 0 0 0 118035 174 0 0 20 0 1 0 268866044 3410325504 829078 33554432000 4194304 10173063 140736263009008 140736263004120 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 832599 829078 615 1460 0 831130 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3330396

[startup+1242.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/171 6975
/proc/meminfo: memFree=24475552/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3332252 CPUtime=1242.07 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 839620 0 0 0 124033 174 0 0 20 0 1 0 268866044 3412226048 829591 33554432000 4194304 10173063 140736263009008 140736263004120 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 833063 829591 615 1460 0 831594 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 3332252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.09 1.46 2/171 6975
/proc/meminfo: memFree=24473720/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3333144 CPUtime=1302.07 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 839924 0 0 0 130033 174 0 0 20 0 1 0 268866044 3413139456 829975 33554432000 4194304 10173063 140736263009008 140736263004120 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 833286 829975 615 1460 0 831817 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 3333144

[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.43 2/171 6975
/proc/meminfo: memFree=24469004/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3335192 CPUtime=1362.06 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 840494 0 0 0 136031 175 0 0 20 0 1 0 268866044 3415236608 831144 33554432000 4194304 10173063 140736263009008 140736263004120 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 833798 831144 615 1460 0 832329 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 3335192

[startup+1422.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/172 6978
/proc/meminfo: memFree=24466852/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3336024 CPUtime=1422.06 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 840751 0 0 0 142031 175 0 0 20 0 1 0 268866044 3416088576 831611 33554432000 4194304 10173063 140736263009008 140736263004120 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 834006 831611 615 1460 0 832537 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3336024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/171 6978
/proc/meminfo: memFree=24464880/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3338072 CPUtime=1482.04 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 841311 0 0 0 148029 175 0 0 20 0 1 0 268866044 3418185728 832171 33554432000 4194304 10173063 140736263009008 140736263004120 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 834518 832171 615 1460 0 833049 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3338072

[startup+1542.31 s]
/proc/loadavg: 1.00 1.03 1.35 2/171 6979
/proc/meminfo: memFree=24464660/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3338072 CPUtime=1542.04 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 841360 0 0 0 154029 175 0 0 20 0 1 0 268866044 3418185728 832219 33554432000 4194304 10173063 140736263009008 140736263004120 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 834518 832219 615 1460 0 833049 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3338072

[startup+1602.3 s]
/proc/loadavg: 1.05 1.04 1.33 2/171 6979
/proc/meminfo: memFree=24461464/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3340952 CPUtime=1602.02 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 842129 0 0 0 160027 175 0 0 20 0 1 0 268866044 3421134848 833031 33554432000 4194304 10173063 140736263009008 140736263004120 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 835238 833031 615 1460 0 833769 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3340952

[startup+1662.3 s]
/proc/loadavg: 1.02 1.03 1.30 2/171 6979
/proc/meminfo: memFree=24460128/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3341976 CPUtime=1662.01 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 842433 0 0 0 166026 175 0 0 20 0 1 0 268866044 3422183424 833335 33554432000 4194304 10173063 140736263009008 140736263004120 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 835494 833335 615 1460 0 834025 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3341976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/171 6979
/proc/meminfo: memFree=24407020/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3395812 CPUtime=1722.01 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 855200 0 0 0 172024 177 0 0 20 0 1 0 268866044 3477311488 846579 33554432000 4194304 10173063 140736263009008 140736263004328 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 848953 846579 615 1460 0 847484 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3395812

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/171 6979
/proc/meminfo: memFree=24207644/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3600856 CPUtime=1781.99 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 901797 0 0 0 178016 183 0 0 20 0 1 0 268866044 3687276544 896242 33554432000 4194304 10173063 140736263009008 140736263004168 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900214 896242 615 1460 0 898745 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3600856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.01 1.25 2/171 6980
/proc/meminfo: memFree=24206836/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3601880 CPUtime=1800.1 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 902126 0 0 0 179827 183 0 0 20 0 1 0 268866044 3688325120 896571 33554432000 4194304 10173063 140736263009008 140736263004120 8925006 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900470 896571 615 1460 0 899001 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3601880

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6939

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 6981
/proc/meminfo: memFree=24206836/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3601880 CPUtime=1801.19 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 902126 0 0 0 179936 183 0 0 20 0 1 0 268866044 3688325120 896571 33554432000 4194304 10173063 140736263009008 140736263003584 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900470 896571 615 1460 0 899001 0
Current children cumulated CPU time (s) 1801.19
Current children cumulated vsize (KiB) 3601880

[startup+1801.91 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 6981
/proc/meminfo: memFree=24206696/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3601880 CPUtime=1801.59 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 902126 0 0 0 179976 183 0 0 20 0 1 0 268866044 3688325120 896571 33554432000 4194304 10173063 140736263009008 140736263003584 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900470 896571 615 1460 0 899001 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 3601880

[startup+1802.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 6981
/proc/meminfo: memFree=24206696/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3601880 CPUtime=1801.99 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 902126 0 0 0 180016 183 0 0 20 0 1 0 268866044 3688325120 896571 33554432000 4194304 10173063 140736263009008 140736263003584 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900470 896571 615 1460 0 899001 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 3601880

[startup+1802.4 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 6981
/proc/meminfo: memFree=24206696/32873648 swapFree=6336/6336
[pid=6939] ppid=6937 vsize=3601880 CPUtime=1802.09 cores=0,2,4,6
/proc/6939/stat : 6939 (scip-2.1.1.4fix) R 6937 6939 5668 0 -1 4202496 902132 0 0 0 180026 183 0 0 20 0 1 0 268866044 3688325120 896577 33554432000 4194304 10173063 140736263009008 140736263003584 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6939/statm: 900470 896577 615 1460 0 899001 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3601880

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.16
CPU user time (s): 1800.27
CPU system time (s): 1.88671
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 3601880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.27
system time used= 1.88671
maximum resident set size= 3586308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902132
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= 33
involuntary context switches= 1862

runsolver used 3.08353 second user time and 7.69483 second system time

The end

Launcher Data 

Begin job on node112 at 2012-05-26 12:16:28
IDJOB=3691398
IDBENCH=90935
IDSOLVER=2270
FILE ID=node112/3691398-1338027387
RUNJOBID= node112-1338016935-5684
PBS_JOBID= 14624359
Free space on /tmp= 71552 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_unif_50null0mast_rapportOE2.0_TMAX60_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-3691398-1338027387/watcher-3691398-1338027387 -o /tmp/evaluation-result-3691398-1338027387/solver-3691398-1338027387 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691398-1338027387.opb -t 1800 -m 15500

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

MD5SUM BENCH= fd17a1ef8bbc0500cef6aa90a9a85c00
RANDOM SEED=1177755172

node112.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.763
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.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		: 2666.763
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.763
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.92
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.763
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.763
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.92
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.763
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.92
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.763
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		: 2666.763
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27687416 kB
Buffers:          234156 kB
Cached:          4070376 kB
SwapCached:            0 kB
Active:           747300 kB
Inactive:        3666796 kB
Active(anon):     112048 kB
Inactive(anon):        0 kB
Active(file):     635252 kB
Inactive(file):  3666796 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             41116 kB
Writeback:             0 kB
AnonPages:        115952 kB
Mapped:            17576 kB
Shmem:               200 kB
Slab:             636320 kB
SReclaimable:      80376 kB
SUnreclaim:       555944 kB
KernelStack:        1464 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     224412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71552 MiB
End job on node112 at 2012-05-26 12:46:30