Trace number 3691390

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_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb
MD5SUM1534d9d93781c259bc7b88f8b451f924
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11801
Best CPU time to get the best result obtained on this benchmark626.328
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 1605
Biggest coefficient in the objective function 999
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 807160
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 999
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 807160
Number of bits of the biggest sum of numbers20
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-3691390-1338027530.opb>
1.98/2.06	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.98/2.06	c problem read in 2.06
4.69/4.71	c presolving:
9.98/10.05	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
11.58/11.66	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, 1978 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-3691390-1338027530/watcher-3691390-1338027530 -o /tmp/evaluation-result-3691390-1338027530/solver-3691390-1338027530 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691390-1338027530.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.00 2.00 2.00 3/176 7005
/proc/meminfo: memFree=29869944/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=10464 CPUtime=0 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 1350 0 0 0 0 0 0 0 20 0 1 0 268877530 10715136 1305 33554432000 4194304 10173063 140736979142880 140734630634696 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7005/statm: 2616 1305 408 1460 0 1147 0

[startup+0.069565 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7005
/proc/meminfo: memFree=29869944/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=35316 CPUtime=0.06 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 7587 0 0 0 4 2 0 0 20 0 1 0 268877530 36163584 7542 33554432000 4194304 10173063 140736979142880 140734630634696 7171701 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7005/statm: 8829 7542 416 1460 0 7360 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 35316

[startup+0.100331 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7005
/proc/meminfo: memFree=29869944/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=42344 CPUtime=0.09 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 9349 0 0 0 7 2 0 0 20 0 1 0 268877530 43360256 9304 33554432000 4194304 10173063 140736979142880 140736979006408 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 10586 9304 416 1460 0 9117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42344

[startup+0.556399 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7005
/proc/meminfo: memFree=29869944/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=154340 CPUtime=0.54 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 37305 0 0 0 48 6 0 0 20 0 1 0 268877530 158044160 37258 33554432000 4194304 10173063 140736979142880 140736979008056 5479875 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 38585 37259 416 1460 0 37116 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 154340

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7005
/proc/meminfo: memFree=29869944/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=191516 CPUtime=0.69 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 46493 0 0 0 61 8 0 0 20 0 1 0 268877530 196112384 46447 33554432000 4194304 10173063 140736979142880 140736979008056 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 47879 46480 416 1460 0 46410 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 191516

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=29532772/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=392352 CPUtime=1.49 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 96694 0 0 0 133 16 0 0 20 0 1 0 268877530 401768448 96647 33554432000 4194304 10173063 140736979142880 140736979007432 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 98088 96648 416 1460 0 96619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 392352

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=29114396/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=935644 CPUtime=3.08 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 231970 0 0 0 273 35 0 0 20 0 1 0 268877530 958099456 232380 33554432000 4194304 10173063 140736979142880 140736979136808 5760629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 233911 232380 494 1460 0 232442 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 935644

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=28638844/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=1242948 CPUtime=6.29 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 331199 0 0 0 500 129 0 0 20 0 1 0 268877530 1272778752 308080 33554432000 4194304 10173063 140736979142880 140736979139880 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 310737 308080 551 1460 0 309268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1242948

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=28218272/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=1623932 CPUtime=12.68 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 461891 0 0 0 930 338 0 0 20 0 1 0 268877530 1662906368 402817 33554432000 4194304 10173063 140736979142880 140736979138936 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 405983 402817 590 1460 0 404514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1623932

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=27986144/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=1904436 CPUtime=25.49 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 509038 0 0 0 2197 352 0 0 20 0 1 0 268877530 1950142464 471888 33554432000 4194304 10173063 140736979142880 140736979138280 8925068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 476109 471888 614 1460 0 474640 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1904436

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7006
/proc/meminfo: memFree=27976964/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=1914036 CPUtime=51.08 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 510826 0 0 0 4756 352 0 0 20 0 1 0 268877530 1959972864 474187 33554432000 4194304 10173063 140736979142880 140736979139256 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 478509 474187 614 1460 0 477040 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914036

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7009
/proc/meminfo: memFree=27948248/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=1941412 CPUtime=102.27 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 517521 0 0 0 9873 354 0 0 20 0 1 0 268877530 1988005888 480832 33554432000 4194304 10173063 140736979142880 140736979138200 5919018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 485353 480832 614 1460 0 483884 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1941412

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7009
/proc/meminfo: memFree=26612564/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3308848 CPUtime=162.26 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 832302 0 0 0 15832 394 0 0 20 0 1 0 268877530 3388260352 813513 33554432000 4194304 10173063 140736979142880 140736979137992 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 827212 813513 614 1460 0 825743 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3308848

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7010
/proc/meminfo: memFree=26610616/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3309872 CPUtime=222.25 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 832778 0 0 0 21831 394 0 0 20 0 1 0 268877530 3389308928 813989 33554432000 4194304 10173063 140736979142880 140736979137992 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 827468 813989 614 1460 0 825999 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3309872

[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 7010
/proc/meminfo: memFree=26608900/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3310896 CPUtime=282.24 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 833313 0 0 0 27830 394 0 0 20 0 1 0 268877530 3390357504 814524 33554432000 4194304 10173063 140736979142880 140736979137992 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 827724 814524 614 1460 0 826255 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3310896

[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 7048
/proc/meminfo: memFree=26248016/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3312944 CPUtime=342.24 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 834043 0 0 0 33829 395 0 0 20 0 1 0 268877530 3392454656 815254 33554432000 4194304 10173063 140736979142880 140736979137992 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 828236 815254 614 1460 0 826767 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3312944

[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 7048
/proc/meminfo: memFree=26071120/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3312944 CPUtime=402.22 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 834263 0 0 0 39827 395 0 0 20 0 1 0 268877530 3392454656 815475 33554432000 4194304 10173063 140736979142880 140736979137992 8925042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 828236 815475 614 1460 0 826767 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3312944

[startup+462.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 7048
/proc/meminfo: memFree=26037776/32873844 swapFree=7384/7384
[pid=7005] ppid=7003 vsize=3315692 CPUtime=462.22 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 835201 0 0 0 45827 395 0 0 20 0 1 0 268877530 3395268608 816547 33554432000 4194304 10173063 140736979142880 140736979137992 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 828923 816547 614 1460 0 827454 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3315692

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7048
/proc/meminfo: memFree=26045940/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3315692 CPUtime=522.2 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 835418 0 0 0 51825 395 0 0 20 0 1 0 268877530 3395268608 816763 33554432000 4194304 10173063 140736979142880 140736979137992 8925088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 828923 816763 614 1460 0 827454 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3315692

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7049
/proc/meminfo: memFree=26035172/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3315692 CPUtime=582.19 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 835634 0 0 0 57824 395 0 0 20 0 1 0 268877530 3395268608 819615 33554432000 4194304 10173063 140736979142880 140736979137992 8925006 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 828923 819615 614 1460 0 827454 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3315692

[startup+642.3 s]

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

/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 839416 0 0 0 99817 396 0 0 20 0 1 0 268877530 3404763136 826481 33554432000 4194304 10173063 140736979142880 140736979137992 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 831241 826481 614 1460 0 829772 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3324964

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7054
/proc/meminfo: memFree=25988032/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3325988 CPUtime=1062.11 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 839731 0 0 0 105815 396 0 0 20 0 1 0 268877530 3405811712 827810 33554432000 4194304 10173063 140736979142880 140736979137992 8925020 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 831497 827810 614 1460 0 830028 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3325988

[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7054
/proc/meminfo: memFree=25986148/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3327844 CPUtime=1122.11 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 840244 0 0 0 111815 396 0 0 20 0 1 0 268877530 3407712256 828323 33554432000 4194304 10173063 140736979142880 140736979137992 8924992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 831961 828323 614 1460 0 830492 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3327844

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 7055
/proc/meminfo: memFree=25982224/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3329892 CPUtime=1182.1 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 840808 0 0 0 117813 397 0 0 20 0 1 0 268877530 3409809408 828887 33554432000 4194304 10173063 140736979142880 140736979137992 8925020 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 832473 828887 614 1460 0 831004 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3329892

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7055
/proc/meminfo: memFree=25982680/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3330916 CPUtime=1242.09 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 841116 0 0 0 123812 397 0 0 20 0 1 0 268877530 3410857984 829195 33554432000 4194304 10173063 140736979142880 140736979137992 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 832729 829195 614 1460 0 831260 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3330916

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 7058
/proc/meminfo: memFree=25980484/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3332772 CPUtime=1302.08 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 841622 0 0 0 129811 397 0 0 20 0 1 0 268877530 3412758528 829701 33554432000 4194304 10173063 140736979142880 140736979137992 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 833193 829701 614 1460 0 831724 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3332772

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7058
/proc/meminfo: memFree=25980096/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3332640 CPUtime=1362.07 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 841672 0 0 0 135810 397 0 0 20 0 1 0 268877530 3412623360 829831 33554432000 4194304 10173063 140736979142880 140736979138312 8925032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 833160 829831 614 1460 0 831691 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3332640

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7058
/proc/meminfo: memFree=25978212/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3334688 CPUtime=1422.06 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 842236 0 0 0 141809 397 0 0 20 0 1 0 268877530 3414720512 830748 33554432000 4194304 10173063 140736979142880 140736979137992 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 833672 830748 614 1460 0 832203 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3334688

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 7059
/proc/meminfo: memFree=25972364/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3335712 CPUtime=1482.05 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 842534 0 0 0 147808 397 0 0 20 0 1 0 268877530 3415769088 831398 33554432000 4194304 10173063 140736979142880 140736979137992 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 833928 831398 614 1460 0 832459 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3335712

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7059
/proc/meminfo: memFree=25972772/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3336544 CPUtime=1542.04 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 842792 0 0 0 153806 398 0 0 20 0 1 0 268877530 3416621056 831656 33554432000 4194304 10173063 140736979142880 140736979137992 8925047 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 834136 831656 614 1460 0 832667 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3336544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7059
/proc/meminfo: memFree=25970816/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3338592 CPUtime=1602.03 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 843350 0 0 0 159805 398 0 0 20 0 1 0 268877530 3418718208 832213 33554432000 4194304 10173063 140736979142880 140736979137992 8925057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 834648 832213 614 1460 0 833179 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3338592

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7059
/proc/meminfo: memFree=25969588/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3338592 CPUtime=1662.02 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 843402 0 0 0 165804 398 0 0 20 0 1 0 268877530 3418718208 832265 33554432000 4194304 10173063 140736979142880 140736979137992 8925037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 834648 832265 614 1460 0 833179 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3338592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7059
/proc/meminfo: memFree=25967028/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3341472 CPUtime=1722.01 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844174 0 0 0 171803 398 0 0 20 0 1 0 268877530 3421667328 833037 33554432000 4194304 10173063 140736979142880 140736979137992 8925052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835368 833037 614 1460 0 833899 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3341472

[startup+1782.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7060
/proc/meminfo: memFree=25965816/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3342496 CPUtime=1782 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844473 0 0 0 177802 398 0 0 20 0 1 0 268877530 3422715904 833336 33554432000 4194304 10173063 140736979142880 140736979137992 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835624 833336 614 1460 0 834155 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3342496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7060
/proc/meminfo: memFree=25965660/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3342496 CPUtime=1800.01 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844494 0 0 0 179602 399 0 0 20 0 1 0 268877530 3422715904 833357 33554432000 4194304 10173063 140736979142880 140736979137992 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835624 833357 614 1460 0 834155 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3342496

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -7005

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

[startup+1801.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7061
/proc/meminfo: memFree=25965652/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3342496 CPUtime=1801.4 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844494 0 0 0 179741 399 0 0 20 0 1 0 268877530 3422715904 833357 33554432000 4194304 10173063 140736979142880 140736979137472 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835624 833357 614 1460 0 834155 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 3342496

[startup+1802.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7061
/proc/meminfo: memFree=25965652/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3342496 CPUtime=1801.81 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844494 0 0 0 179782 399 0 0 20 0 1 0 268877530 3422715904 833357 33554432000 4194304 10173063 140736979142880 140736979137472 8925103 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835624 833357 614 1460 0 834155 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 3342496

[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7061
/proc/meminfo: memFree=25965652/32873844 swapFree=7388/7388
[pid=7005] ppid=7003 vsize=3342496 CPUtime=1802 cores=0,2,4,6
/proc/7005/stat : 7005 (scip-2.1.1.4fix) R 7003 7005 6041 0 -1 4202496 844494 0 0 0 179801 399 0 0 20 0 1 0 268877530 3422715904 833357 33554432000 4194304 10173063 140736979142880 140736979137472 8925062 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7005/statm: 835624 833357 614 1460 0 834155 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3342496

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.35
CPU time (s): 1802.06
CPU user time (s): 1798.02
CPU system time (s): 4.03339
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 3342496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 4.03339
maximum resident set size= 3333428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844494
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= 34
involuntary context switches= 2104

runsolver used 2.79557 second user time and 8.74767 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-26 12:18:51
IDJOB=3691390
IDBENCH=90952
IDSOLVER=2270
FILE ID=node147/3691390-1338027530
RUNJOBID= node147-1338016919-6057
PBS_JOBID= 14624328
Free space on /tmp= 71644 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_10null0mast_rapportOE2.0_TMAX15_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-3691390-1338027530/watcher-3691390-1338027530 -o /tmp/evaluation-result-3691390-1338027530/solver-3691390-1338027530 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691390-1338027530.opb -t 1800 -m 15500

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

MD5SUM BENCH= 1534d9d93781c259bc7b88f8b451f924
RANDOM SEED=1335915260

node147.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.951
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.90
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.951
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.951
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.87
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.951
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.951
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		: 2666.951
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.951
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.951
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:       32873844 kB
MemFree:        29870588 kB
Buffers:          259812 kB
Cached:          1816324 kB
SwapCached:         6180 kB
Active:           608904 kB
Inactive:        1620768 kB
Active(anon):     149004 kB
Inactive(anon):     6780 kB
Active(file):     459900 kB
Inactive(file):  1613988 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67097572 kB
Dirty:             41276 kB
Writeback:             0 kB
AnonPages:        157796 kB
Mapped:            12768 kB
Shmem:                 0 kB
Slab:             634208 kB
SReclaimable:      75372 kB
SUnreclaim:       558836 kB
KernelStack:        1464 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     270608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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= 71624 MiB
End job on node147 at 2012-05-26 12:48:54