Trace number 2687600

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) 717.135 717.573

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9021_5.std.opb
MD5SUMaa972c70d521daa1738bd997a5a53983
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark112
Best CPU time to get the best result obtained on this benchmark1798.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184309
Number of constraints which are clauses183109
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 constraint50
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-2687600-1278454609.opb>
2.99/3.05	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
2.99/3.05	c problem read
2.99/3.05	c presolving settings loaded
2.99/3.05	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
3.89/3.97	c presolving:
14.49/14.53	c (round 1) 4517 del vars, 13331 del conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs
21.28/21.37	c (round 2) 9805 del vars, 32221 del conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs
23.38/23.49	c (round 3) 11376 del vars, 40367 del conss, 9097 chg bounds, 74 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
24.68/24.73	c (round 4) 12030 del vars, 43159 del conss, 9489 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
25.38/25.43	c (round 5) 12448 del vars, 44885 del conss, 9691 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
25.78/25.86	c (round 6) 12628 del vars, 45709 del conss, 9776 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
26.08/26.18	c (round 7) 12714 del vars, 46109 del conss, 9821 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
26.39/26.44	c (round 8) 12758 del vars, 46319 del conss, 9847 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
26.58/26.67	c (round 9) 12784 del vars, 46438 del conss, 9863 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
26.78/26.88	c (round 10) 12794 del vars, 46496 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
28.08/28.13	c (round 11) 12794 del vars, 46507 del conss, 9869 chg bounds, 84 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
29.08/29.14	c (round 12) 12794 del vars, 46507 del conss, 9869 chg bounds, 98 chg sides, 212 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
715.17/715.41	c pressed CTRL-C 1 times (5 times for forcing termination)
716.26/716.74	c    (709.9s) probing: 721/41988 (1.7%) - 13 fixings, 1 aggregations, 8200143 implications, 0 bound changes
716.26/716.74	c    (709.9s) probing aborted: solving stopped
716.26/716.74	c (round 13) 12808 del vars, 46507 del conss, 9869 chg bounds, 104 chg sides, 243 chg coeffs, 137802 upgd conss, 45343126 impls, 1911 clqs
716.26/716.74	c presolving (13 rounds):
716.26/716.74	c  12808 deleted vars, 46507 deleted constraints, 9869 tightened bounds, 0 added holes, 104 changed sides, 243 changed coefficients
716.26/716.74	c  45343126 implications, 1911 cliques
716.26/716.74	c presolving was interrupted.
716.26/716.74	c Presolving Time: 709.51
716.26/716.74	c - non default parameters ----------------------------------------------------------------------
716.26/716.74	c # SCIP version 1.2.1.2
716.26/716.75	c 
716.26/716.75	c # frequency for displaying node information lines
716.26/716.75	c # [type: int, range: [-1,2147483647], default: 100]
716.26/716.75	c display/freq = 10000
716.26/716.75	c 
716.26/716.75	c # maximal time in seconds to run
716.26/716.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
716.26/716.75	c limits/time = 1796.96
716.26/716.75	c 
716.26/716.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
716.26/716.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
716.26/716.75	c limits/memory = 1620
716.26/716.75	c 
716.26/716.75	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
716.26/716.75	c # [type: int, range: [-1,2147483647], default: 1]
716.26/716.75	c lp/solvefreq = -1
716.26/716.75	c 
716.26/716.75	c # should presolving try to simplify inequalities
716.26/716.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
716.26/716.75	c constraints/linear/simplifyinequalities = TRUE
716.26/716.75	c 
716.26/716.75	c # should presolving try to simplify knapsacks
716.26/716.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
716.26/716.75	c constraints/knapsack/simplifyinequalities = TRUE
716.26/716.75	c 
716.26/716.75	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
716.26/716.75	c # [type: int, range: [-1,2147483647], default: -1]
716.26/716.75	c separating/rapidlearning/freq = 0
716.26/716.75	c 
716.26/716.75	c -----------------------------------------------------------------------------------------------
716.26/716.75	c start solving
716.45/716.96	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-2687600-1278454609/watcher-2687600-1278454609 -o /tmp/evaluation-result-2687600-1278454609/solver-2687600-1278454609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687600-1278454609.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.00 1.00 1.00 2/105 23564
/proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=6584 CPUtime=0
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 1046 0 0 0 0 0 0 0 25 0 1 0 13668843 6742016 969 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 1646 978 254 719 0 925 0

[startup+0.044393 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 23564
/proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=11404 CPUtime=0.03
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 2325 0 0 0 3 0 0 0 25 0 1 0 13668843 11677696 2247 1992294400 4194304 7136930 140734701603808 18446744073709551615 5652146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 2851 2247 271 719 0 2130 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11404

[startup+0.101399 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 23564
/proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=15996 CPUtime=0.09
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 3475 0 0 0 8 1 0 0 25 0 1 0 13668843 16379904 3397 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 3999 3397 271 719 0 3278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15996

[startup+0.301423 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 23564
/proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=27756 CPUtime=0.29
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 6455 0 0 0 27 2 0 0 25 0 1 0 13668843 28422144 6368 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 6939 6368 271 719 0 6218 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27756

[startup+0.701473 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 23564
/proc/meminfo: memFree=1809864/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=43036 CPUtime=0.69
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 10263 0 0 0 65 4 0 0 25 0 1 0 13668843 44068864 10176 1992294400 4194304 7136930 140734701603808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 10759 10176 271 719 0 10038 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43036

[startup+1.50157 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23565
/proc/meminfo: memFree=1763232/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=61124 CPUtime=1.49
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 14725 0 0 0 144 5 0 0 25 0 1 0 13668843 62590976 14638 1992294400 4194304 7136930 140734701603808 18446744073709551615 6340529 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23564/statm: 15281 14638 271 719 0 14560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61124

[startup+3.10177 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23565
/proc/meminfo: memFree=1730992/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=131836 CPUtime=3.09
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 32706 0 0 0 297 12 0 0 25 0 1 0 13668843 135000064 32265 1992294400 4194304 7136930 140734701603808 18446744073709551615 6419717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 32959 32266 282 719 0 32238 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131836

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23565
/proc/meminfo: memFree=1456704/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=408180 CPUtime=6.29
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 100948 0 0 0 589 40 0 0 25 0 1 0 13668843 417976320 100416 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 102045 100417 342 719 0 101324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 408180

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23565
/proc/meminfo: memFree=1196924/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=641736 CPUtime=12.68
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 157517 0 0 0 1194 74 0 0 25 0 1 0 13668843 657137664 156985 1992294400 4194304 7136930 140734701603808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 160434 156985 347 719 0 159713 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 641736

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23567
/proc/meminfo: memFree=1161708/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=661536 CPUtime=25.49
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 163576 0 0 0 2440 109 0 0 25 0 1 0 13668843 677412864 161759 1992294400 4194304 7136930 140734701603808 18446744073709551615 5966526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 165384 161759 347 719 0 164663 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 661536

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23567
/proc/meminfo: memFree=1062260/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=769364 CPUtime=51.06
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 208553 0 0 0 4926 180 0 0 25 0 1 0 13668843 787828736 186738 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 192341 186738 383 719 0 191620 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 769364

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23569
/proc/meminfo: memFree=1027292/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=804756 CPUtime=102.26
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 217379 0 0 0 10041 185 0 0 25 0 1 0 13668843 824070144 195465 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 201189 195465 383 719 0 200468 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 804756

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23569
/proc/meminfo: memFree=946072/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=888696 CPUtime=162.24
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 237649 0 0 0 16029 195 0 0 25 0 1 0 13668843 910024704 215735 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 222174 215735 383 719 0 221453 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 888696

[startup+222.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 23574
/proc/meminfo: memFree=874028/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=963260 CPUtime=222.21
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 255777 0 0 0 22018 203 0 0 25 0 1 0 13668843 986378240 233607 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 240815 233607 383 719 0 240094 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 963260

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 23576
/proc/meminfo: memFree=811408/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1030668 CPUtime=282.19
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 271700 0 0 0 28008 211 0 0 25 0 1 0 13668843 1055404032 249208 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 257667 249208 384 719 0 256946 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1030668

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 23578
/proc/meminfo: memFree=714440/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1124792 CPUtime=342.18
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 295894 0 0 0 33994 224 0 0 25 0 1 0 13668843 1151787008 273402 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 281198 273402 384 719 0 280477 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1124792

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23580
/proc/meminfo: memFree=620696/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1221572 CPUtime=402.15
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 320675 0 0 0 39980 235 0 0 25 0 1 0 13668843 1250889728 297159 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 305393 297159 384 719 0 304672 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1221572

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23580
/proc/meminfo: memFree=524596/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1317408 CPUtime=462.14
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 345026 0 0 0 45964 250 0 0 25 0 1 0 13668843 1349025792 321510 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 329352 321510 384 719 0 328631 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1317408

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23582
/proc/meminfo: memFree=402952/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1436752 CPUtime=522.12
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 374795 0 0 0 51944 268 0 0 25 0 1 0 13668843 1471234048 351279 1992294400 4194304 7136930 140734701603808 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 359188 351279 384 719 0 358467 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1436752

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23584
/proc/meminfo: memFree=280936/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1560884 CPUtime=582.1
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 405625 0 0 0 57924 286 0 0 25 0 1 0 13668843 1598345216 381596 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 390221 381596 384 719 0 389500 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1560884

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23586
/proc/meminfo: memFree=166360/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1672340 CPUtime=642.1
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 434950 0 0 0 63904 306 0 0 25 0 1 0 13668843 1712476160 410152 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 418085 410152 384 719 0 417364 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1672340

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23588
/proc/meminfo: memFree=59100/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1783512 CPUtime=702.06
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 462252 0 0 0 69875 331 0 0 25 0 1 0 13668843 1826316288 436942 1992294400 4194304 7136930 140734701603808 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 445878 436942 384 719 0 445157 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 1783512



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+715.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 23588
/proc/meminfo: memFree=9844/2059040 swapFree=4192956/4192956
[pid=23564] ppid=23562 vsize=1845368 CPUtime=715.17
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 477636 0 0 0 71179 338 0 0 25 0 1 0 13668843 1889656832 452326 1992294400 4194304 7136930 140734701603808 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23564/statm: 461342 452326 384 719 0 460621 0
Current children cumulated CPU time (s) 715.17
Current children cumulated vsize (KiB) 1845368

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23564

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

[startup+716.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23589
/proc/meminfo: memFree=7992/2059040 swapFree=4178676/4192956
[pid=23564] ppid=23562 vsize=1856864 CPUtime=716.35
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480650 0 0 0 71294 341 0 0 25 0 1 0 13668843 1901428736 455050 1992294400 4194304 7136930 140734701603808 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 1 0 0 20
/proc/23564/statm: 464216 455050 391 719 0 463495 0
Current children cumulated CPU time (s) 716.35
Current children cumulated vsize (KiB) 1856864

[startup+717.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23589
/proc/meminfo: memFree=7992/2059040 swapFree=4178676/4192956
[pid=23564] ppid=23562 vsize=1856864 CPUtime=716.76
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480841 0 0 0 71334 342 0 0 25 0 1 0 13668843 1901428736 455241 1992294400 4194304 7136930 140734701603808 18446744073709551615 4890726 0 0 4096 16384 0 0 0 17 1 0 0 20
/proc/23564/statm: 464216 455241 391 719 0 463495 0
Current children cumulated CPU time (s) 716.76
Current children cumulated vsize (KiB) 1856864

[startup+717.408 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23589
/proc/meminfo: memFree=10704/2059040 swapFree=4177780/4192956
[pid=23564] ppid=23562 vsize=1856864 CPUtime=716.96
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4202496 480841 0 0 0 71354 342 0 0 25 0 1 0 13668843 1901428736 455241 1992294400 4194304 7136930 140734701603808 18446744073709551615 4890317 0 0 4096 16384 0 0 0 17 1 0 0 20
/proc/23564/statm: 464216 455241 391 719 0 463495 0
Current children cumulated CPU time (s) 716.96
Current children cumulated vsize (KiB) 1856864

[startup+717.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23589
/proc/meminfo: memFree=10704/2059040 swapFree=4177780/4192956
[pid=23564] ppid=23562 vsize=0 CPUtime=717.06
/proc/23564/stat : 23564 (pbscip.linux.x8) R 23562 23564 23083 0 -1 4203524 480841 0 0 0 71355 351 0 0 25 0 1 0 13668843 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 20
/proc/23564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 717.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 717.573
CPU time (s): 717.135
CPU user time (s): 713.552
CPU system time (s): 3.58346
CPU usage (%): 99.9389
Max. virtual memory (cumulated for all children) (KiB): 1856864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 713.552
system time used= 3.58345
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480841
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= 5
involuntary context switches= 3587

runsolver used 1.16982 second user time and 3.43448 second system time

The end

Launcher Data 

Begin job on node080 at 2010-07-07 00:16:49
IDJOB=2687600
IDBENCH=78108
IDSOLVER=1167
FILE ID=node080/2687600-1278454609
PBS_JOBID= 11233542
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9021_5.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-2687600-1278454609/watcher-2687600-1278454609 -o /tmp/evaluation-result-2687600-1278454609/solver-2687600-1278454609 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2687600-1278454609.opb -t 1800 -m 1800

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

MD5SUM BENCH= aa972c70d521daa1738bd997a5a53983
RANDOM SEED=1545337531

node080.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.255
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.51
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.255
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	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1810392 kB
Buffers:          6936 kB
Cached:         107976 kB
SwapCached:          0 kB
Active:         116860 kB
Inactive:        58824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1810392 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8804 kB
Writeback:           0 kB
AnonPages:       60908 kB
Mapped:          14504 kB
Slab:            51224 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182404 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= 62532 MiB
End job on node080 at 2010-07-07 00:28:47