Trace number 2687132

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (MO) 1007.63 1007.89

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12024_7.std.opb
MD5SUM9510b6ff1580c9ed67c57164f070d9e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark7.95479
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245025
Number of constraints which are clauses243825
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2687132-1278448475.opb>
4.19/4.23	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245025 constraints
4.19/4.23	c problem read
4.19/4.24	c presolving settings loaded
4.19/4.24	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
5.40/5.46	c presolving:
20.39/20.44	c (round 1) 6326 del vars, 19058 del conss, 4633 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678482 impls, 0 clqs
33.09/33.12	c (round 2) 14523 del vars, 50270 del conss, 12541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16722779 impls, 0 clqs
37.28/37.31	c (round 3) 17707 del vars, 65021 del conss, 14326 chg bounds, 48 chg sides, 30 chg coeffs, 0 upgd conss, 16744198 impls, 0 clqs
39.97/40.03	c (round 4) 19126 del vars, 70654 del conss, 15291 chg bounds, 69 chg sides, 60 chg coeffs, 0 upgd conss, 16754846 impls, 0 clqs
41.57/41.66	c (round 5) 20112 del vars, 74362 del conss, 15867 chg bounds, 73 chg sides, 68 chg coeffs, 0 upgd conss, 16765245 impls, 0 clqs
42.67/42.79	c (round 6) 20676 del vars, 76612 del conss, 16220 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16772244 impls, 0 clqs
43.47/43.50	c (round 7) 20995 del vars, 77974 del conss, 16407 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16775887 impls, 0 clqs
43.98/44.07	c (round 8) 21222 del vars, 78883 del conss, 16539 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16778163 impls, 0 clqs
44.37/44.46	c (round 9) 21324 del vars, 79368 del conss, 16595 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16779908 impls, 0 clqs
44.77/44.81	c (round 10) 21401 del vars, 79683 del conss, 16644 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16780781 impls, 0 clqs
45.17/45.25	c (round 11) 21461 del vars, 79937 del conss, 16686 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16781088 impls, 0 clqs
45.47/45.51	c (round 12) 21481 del vars, 80050 del conss, 16694 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16781212 impls, 0 clqs
45.67/45.78	c (round 13) 21485 del vars, 80081 del conss, 16697 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 16781261 impls, 0 clqs
1005.44/1005.70	c pressed CTRL-C 1 times (5 times for forcing termination)
1006.63/1006.91	c    (999.1s) probing: 670/51355 (1.3%) - 11 fixings, 4 aggregations, 8549704 implications, 0 bound changes
1006.63/1006.91	c    (999.1s) probing aborted: solving stopped
1006.63/1006.91	c (round 14) 21502 del vars, 80093 del conss, 16697 chg bounds, 85 chg sides, 88 chg coeffs, 0 upgd conss, 49296955 impls, 0 clqs
1006.63/1006.91	c presolving (14 rounds):
1006.63/1006.91	c  21502 deleted vars, 80093 deleted constraints, 16697 tightened bounds, 0 added holes, 85 changed sides, 88 changed coefficients
1006.63/1006.91	c  49296955 implications, 0 cliques
1006.63/1006.91	c presolving was interrupted.
1006.63/1006.91	c Presolving Time: 998.57
1006.63/1006.91	c - non default parameters ----------------------------------------------------------------------
1006.63/1006.91	c # SCIP version 1.2.1.2
1006.63/1006.91	c 
1006.63/1006.91	c # frequency for displaying node information lines
1006.63/1006.91	c # [type: int, range: [-1,2147483647], default: 100]
1006.63/1006.91	c display/freq = 10000
1006.63/1006.91	c 
1006.63/1006.91	c # maximal time in seconds to run
1006.63/1006.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1006.63/1006.91	c limits/time = 1795.77
1006.63/1006.91	c 
1006.63/1006.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1006.63/1006.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1006.63/1006.91	c limits/memory = 1620
1006.63/1006.91	c 
1006.63/1006.91	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1006.63/1006.91	c # [type: int, range: [-1,2147483647], default: 1]
1006.63/1006.91	c lp/solvefreq = -1
1006.63/1006.91	c 
1006.63/1006.91	c # should presolving try to simplify inequalities
1006.63/1006.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1006.63/1006.91	c constraints/linear/simplifyinequalities = TRUE
1006.63/1006.91	c 
1006.63/1006.91	c # should presolving try to simplify knapsacks
1006.63/1006.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1006.63/1006.91	c constraints/knapsack/simplifyinequalities = TRUE
1006.63/1006.91	c 
1006.63/1006.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1006.63/1006.91	c # [type: int, range: [-1,2147483647], default: -1]
1006.63/1006.91	c separating/rapidlearning/freq = 0
1006.63/1006.91	c 
1006.63/1006.91	c -----------------------------------------------------------------------------------------------
1006.63/1006.91	c start solving
1006.74/1007.04	c presolving:

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2687132-1278448475/watcher-2687132-1278448475 -o /tmp/evaluation-result-2687132-1278448475/solver-2687132-1278448475 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687132-1278448475.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.40 1.12 1.03 3/106 25256
/proc/meminfo: memFree=1772448/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=6584 CPUtime=0
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 938 0 0 0 0 0 0 0 18 0 1 0 13053890 6742016 860 1992294400 4194304 7136930 140735036713584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 1646 868 254 719 0 925 0

[startup+0.028281 s]
/proc/loadavg: 1.40 1.12 1.03 3/106 25256
/proc/meminfo: memFree=1772448/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=9588 CPUtime=0.02
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 1879 0 0 0 2 0 0 0 20 0 1 0 13053890 9818112 1801 1992294400 4194304 7136930 140735036713584 18446744073709551615 6285685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 2397 1801 271 719 0 1676 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9588

[startup+0.101287 s]
/proc/loadavg: 1.40 1.12 1.03 3/106 25256
/proc/meminfo: memFree=1772448/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=14908 CPUtime=0.1
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 3199 0 0 0 9 1 0 0 20 0 1 0 13053890 15265792 3121 1992294400 4194304 7136930 140735036713584 18446744073709551615 6303916 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 3727 3121 271 719 0 3006 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14908

[startup+0.301304 s]
/proc/loadavg: 1.40 1.12 1.03 3/106 25256
/proc/meminfo: memFree=1772448/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=26928 CPUtime=0.29
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 6243 0 0 0 27 2 0 0 20 0 1 0 13053890 27574272 6156 1992294400 4194304 7136930 140735036713584 18446744073709551615 6340256 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 6732 6156 271 719 0 6011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26928

[startup+0.701339 s]
/proc/loadavg: 1.40 1.12 1.03 3/106 25256
/proc/meminfo: memFree=1772448/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=48592 CPUtime=0.69
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 11615 0 0 0 65 4 0 0 21 0 1 0 13053890 49758208 11528 1992294400 4194304 7136930 140735036713584 18446744073709551615 5649661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 12148 11528 271 719 0 11427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48592

[startup+1.50141 s]
/proc/loadavg: 1.40 1.12 1.03 2/107 25257
/proc/meminfo: memFree=1721600/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=65184 CPUtime=1.49
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 15765 0 0 0 143 6 0 0 23 0 1 0 13053890 66748416 15678 1992294400 4194304 7136930 140735036713584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 16296 15678 271 719 0 15575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65184

[startup+3.10155 s]
/proc/loadavg: 1.40 1.12 1.03 2/107 25257
/proc/meminfo: memFree=1696924/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=108388 CPUtime=3.09
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 26555 0 0 0 299 10 0 0 25 0 1 0 13053890 110989312 26468 1992294400 4194304 7136930 140735036713584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25256/statm: 27097 26468 271 719 0 26376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108388

[startup+6.30182 s]
/proc/loadavg: 1.45 1.14 1.04 2/107 25257
/proc/meminfo: memFree=1423752/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=401212 CPUtime=6.29
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 98728 0 0 0 591 38 0 0 25 0 1 0 13053890 410841088 98268 1992294400 4194304 7136930 140735036713584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 100303 98268 338 719 0 99582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 401212

[startup+12.7014 s]
/proc/loadavg: 1.41 1.13 1.03 2/107 25257
/proc/meminfo: memFree=1124416/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=682812 CPUtime=12.69
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 168730 0 0 0 1197 72 0 0 25 0 1 0 13053890 699199488 168270 1992294400 4194304 7136930 140735036713584 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 170703 168270 342 719 0 169982 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 682812

[startup+25.5005 s]
/proc/loadavg: 1.32 1.13 1.03 2/107 25257
/proc/meminfo: memFree=930108/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=858556 CPUtime=25.48
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 210982 0 0 0 2442 106 0 0 25 0 1 0 13053890 879161344 210265 1992294400 4194304 7136930 140735036713584 18446744073709551615 5966514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 214639 210265 347 719 0 213918 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 858556

[startup+51.1007 s]
/proc/loadavg: 1.21 1.11 1.03 2/107 25259
/proc/meminfo: memFree=895512/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=896732 CPUtime=51.07
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 223538 0 0 0 4887 220 0 0 25 0 1 0 13053890 918253568 219401 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 224183 219401 383 719 0 223462 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 896732

[startup+102.308 s]
/proc/loadavg: 1.08 1.09 1.03 2/107 25259
/proc/meminfo: memFree=855708/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=936976 CPUtime=102.26
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 233131 0 0 0 10002 224 0 0 25 0 1 0 13053890 959463424 228993 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 234244 228993 383 719 0 233523 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 936976

[startup+162.3 s]
/proc/loadavg: 1.03 1.08 1.02 2/107 25261
/proc/meminfo: memFree=815036/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=979936 CPUtime=162.24
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 243372 0 0 0 15995 229 0 0 25 0 1 0 13053890 1003454464 239234 1992294400 4194304 7136930 140735036713584 18446744073709551615 4688937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 244984 239234 383 719 0 244263 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 979936

[startup+222.301 s]
/proc/loadavg: 1.01 1.06 1.01 2/107 25263
/proc/meminfo: memFree=744604/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1050460 CPUtime=222.23
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 260867 0 0 0 21986 237 0 0 25 0 1 0 13053890 1075671040 256729 1992294400 4194304 7136930 140735036713584 18446744073709551615 4209071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 262615 256729 383 719 0 261894 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1050460

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.01 2/107 25265
/proc/meminfo: memFree=683844/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1111984 CPUtime=282.21
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 276251 0 0 0 27978 243 0 0 25 0 1 0 13053890 1138671616 272113 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 277996 272113 383 719 0 277275 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1111984

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 25267
/proc/meminfo: memFree=632880/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1163120 CPUtime=342.19
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 288760 0 0 0 33971 248 0 0 25 0 1 0 13053890 1191034880 284622 1992294400 4194304 7136930 140735036713584 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 290780 284622 383 719 0 290059 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1163120

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 25267
/proc/meminfo: memFree=534548/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1266136 CPUtime=402.18
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 313814 0 0 0 39958 260 0 0 25 0 1 0 13053890 1296523264 309676 1992294400 4194304 7136930 140735036713584 18446744073709551615 4659587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 316534 309676 383 719 0 315813 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1266136

[startup+462.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25269
/proc/meminfo: memFree=474532/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1329412 CPUtime=462.17
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 329301 0 0 0 45950 267 0 0 25 0 1 0 13053890 1361317888 324907 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 332353 324907 383 719 0 331632 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1329412

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25271
/proc/meminfo: memFree=389716/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1413256 CPUtime=522.15
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 350636 0 0 0 51938 277 0 0 25 0 1 0 13053890 1447174144 345986 1992294400 4194304 7136930 140735036713584 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 353314 345986 383 719 0 352593 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1413256

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25273
/proc/meminfo: memFree=346316/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1454128 CPUtime=582.14
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 360963 0 0 0 57930 284 0 0 25 0 1 0 13053890 1489027072 356057 1992294400 4194304 7136930 140735036713584 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 363532 356057 383 719 0 362811 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1454128

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25275
/proc/meminfo: memFree=289400/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1511964 CPUtime=642.13
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 375397 0 0 0 63923 290 0 0 25 0 1 0 13053890 1548251136 370235 1992294400 4194304 7136930 140735036713584 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 377991 370235 383 719 0 377270 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1511964

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25275
/proc/meminfo: memFree=191192/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1613172 CPUtime=702.11
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 400672 0 0 0 69907 304 0 0 25 0 1 0 13053890 1651888128 395254 1992294400 4194304 7136930 140735036713584 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 403293 395254 383 719 0 402572 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1613172

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25277
/proc/meminfo: memFree=126588/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1676724 CPUtime=762.1
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 416478 0 0 0 75899 311 0 0 25 0 1 0 13053890 1716965376 410804 1992294400 4194304 7136930 140735036713584 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 419181 410804 383 719 0 418460 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1676724

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25279
/proc/meminfo: memFree=84056/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1719044 CPUtime=822.09
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 427299 0 0 0 81889 320 0 0 25 0 1 0 13053890 1760301056 421625 1992294400 4194304 7136930 140735036713584 18446744073709551615 4227572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 429761 421625 383 719 0 429040 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1719044

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25281
/proc/meminfo: memFree=47600/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1753248 CPUtime=882.07
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 436175 0 0 0 87882 325 0 0 25 0 1 0 13053890 1795325952 430501 1992294400 4194304 7136930 140735036713584 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 438312 430501 383 719 0 437591 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1753248

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25283
/proc/meminfo: memFree=15856/2059040 swapFree=4192956/4192956
[pid=25256] ppid=25254 vsize=1787432 CPUtime=942.05
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 444104 0 0 0 93874 331 0 0 25 0 1 0 13053890 1830330368 438430 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 446858 438430 383 719 0 446137 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1787432

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25283
/proc/meminfo: memFree=10708/2059040 swapFree=4187312/4192956
[pid=25256] ppid=25254 vsize=1832896 CPUtime=1002.04
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 455908 0 0 0 99865 339 0 0 25 0 1 0 13053890 1876885504 450234 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 458224 450234 383 719 0 457503 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1832896



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1005.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25283
/proc/meminfo: memFree=9692/2059040 swapFree=4178864/4192956
[pid=25256] ppid=25254 vsize=1843820 CPUtime=1005.44
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 458225 0 0 0 100204 340 0 0 25 0 1 0 13053890 1888071680 452551 1992294400 4194304 7136930 140735036713584 18446744073709551615 6166776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 460955 452551 383 719 0 460234 0
Current children cumulated CPU time (s) 1005.44
Current children cumulated vsize (KiB) 1843820

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25256

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

[startup+1006.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25283
/proc/meminfo: memFree=9692/2059040 swapFree=4178864/4192956
[pid=25256] ppid=25254 vsize=1845864 CPUtime=1005.93
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 458937 0 0 0 100253 340 0 0 25 0 1 0 13053890 1890164736 453263 1992294400 4194304 7136930 140735036713584 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 461466 453263 383 719 0 460745 0
Current children cumulated CPU time (s) 1005.93
Current children cumulated vsize (KiB) 1845864

[startup+1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25284
/proc/meminfo: memFree=10004/2059040 swapFree=4175580/4192956
[pid=25256] ppid=25254 vsize=1848944 CPUtime=1006.74
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 459966 0 0 0 100333 341 0 0 25 0 1 0 13053890 1893318656 454035 1992294400 4194304 7136930 140735036713584 18446744073709551615 4330034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 462236 454035 390 719 0 461515 0
Current children cumulated CPU time (s) 1006.74
Current children cumulated vsize (KiB) 1848944

[startup+1007.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 25284
/proc/meminfo: memFree=10004/2059040 swapFree=4175580/4192956
[pid=25256] ppid=25254 vsize=1849556 CPUtime=1007.14
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4202496 460195 0 0 0 100359 355 0 0 25 0 1 0 13053890 1893945344 454264 1992294400 4194304 7136930 140735036713584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25256/statm: 462389 454264 390 719 0 461668 0
Current children cumulated CPU time (s) 1007.14
Current children cumulated vsize (KiB) 1849556

[startup+1007.8 s]
/proc/loadavg: 1.08 1.02 1.01 2/108 25284
/proc/meminfo: memFree=10612/2059040 swapFree=4171448/4192956
[pid=25256] ppid=25254 vsize=0 CPUtime=1007.53
/proc/25256/stat : 25256 (pbscip.linux.x8) R 25254 25256 25106 0 -1 4203524 460195 0 0 0 100385 368 0 0 25 0 1 0 13053890 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/25256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1007.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1007.89
CPU time (s): 1007.63
CPU user time (s): 1003.86
CPU system time (s): 3.77143
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1849556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1003.86
system time used= 3.77143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460195
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= 1
involuntary context switches= 4146

runsolver used 1.68674 second user time and 4.75528 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-06 22:34:35
IDJOB=2687132
IDBENCH=77437
IDSOLVER=1167
FILE ID=node057/2687132-1278448475
PBS_JOBID= 11233540
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12024_7.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687132-1278448475/watcher-2687132-1278448475 -o /tmp/evaluation-result-2687132-1278448475/solver-2687132-1278448475 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687132-1278448475.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9510b6ff1580c9ed67c57164f070d9e8
RANDOM SEED=1095299514

node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1772976 kB
Buffers:         21000 kB
Cached:         117352 kB
SwapCached:          0 kB
Active:         114352 kB
Inactive:        84376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1772976 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10552 kB
Writeback:           0 kB
AnonPages:       60360 kB
Mapped:          14480 kB
Slab:            65488 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node057 at 2010-07-06 22:51:23