Trace number 32920

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, and are wall clock time (not CPU 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
wildcat-skc 0.8.0? (TO) 1802.53 1803.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb
MD5SUM08881dff6590c7283bf2bddc3ff4042d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark1783.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46
Optimality of the best value was proved NO
Number of variables282020
Total number of constraints1761
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1761
Minimum length of a constraint20
Maximum length of a constraint49260
Number of terms in the objective function 282020
Biggest coefficient in the objective function 79
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 756319
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 756319
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 (download as text)

0.00	c 
0.00	c wildcat-skc (VERSION 0.8.0-lite-skc-devel)
0.00	c Developed by L. Liu  and M. Truszczynski 
0.00	c Last built on Tue 23 May 2006 09:27:47 PM EDT
0.00	c 
0.00	c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node75/32920-1149360498/instance-32920-1149360498.opb 692816906 
0.00	c =================================== BEGIN ===================================
0.00	c 
0.00	c Random Number Seed: 692816906
0.00	c Noise: 0.1 (10 : 100)

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node75/watcher-32920-1149360498 -o ROOT/results/node75/solver-32920-1149360498 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node75/32920-1149360498/instance-32920-1149360498.opb 692816906 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 3/64 27659
/proc/meminfo: memFree=1671200/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=7376 CPUtime=0
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 200 0 0 0 0 0 0 0 18 0 1 0 201713400 7553024 184 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134602247 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 1844 186 100 226 0 1615 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 27659
/proc/meminfo: memFree=1666224/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=8040 CPUtime=9.99
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 1392 0 0 0 999 0 0 0 25 0 1 0 201713400 8232960 1376 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2010 1376 105 226 0 1781 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8040

[startup+20.0079 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1665728/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=8700 CPUtime=19.99
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 1564 0 0 0 1998 1 0 0 25 0 1 0 201713400 8908800 1548 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2175 1548 105 226 0 1946 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 8700

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1665152/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=9380 CPUtime=30
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 1734 0 0 0 2999 1 0 0 25 0 1 0 201713400 9605120 1718 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2345 1718 105 226 0 2116 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 9380

[startup+40.0199 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1664576/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=10040 CPUtime=40
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 1905 0 0 0 3999 1 0 0 25 0 1 0 201713400 10280960 1889 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2510 1889 105 226 0 2281 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 10040

[startup+50.0259 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1663872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=10832 CPUtime=49.99
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 2078 0 0 0 4998 1 0 0 25 0 1 0 201713400 11091968 2062 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014979 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2708 2062 105 226 0 2479 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 10832

[startup+60.0329 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1663232/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=11492 CPUtime=60.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 2249 0 0 0 5999 2 0 0 25 0 1 0 201713400 11767808 2233 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 2873 2233 105 226 0 2644 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 11492

[startup+70.0399 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1662528/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=12152 CPUtime=70.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 2419 0 0 0 6999 2 0 0 25 0 1 0 201713400 12443648 2403 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3038 2403 105 226 0 2809 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 12152

[startup+80.0469 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1661824/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=12812 CPUtime=80.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 2592 0 0 0 7999 2 0 0 25 0 1 0 201713400 13119488 2576 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3203 2576 105 226 0 2974 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 12812

[startup+90.0539 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1661120/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=13472 CPUtime=90.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 2762 0 0 0 8999 2 0 0 25 0 1 0 201713400 13795328 2746 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3368 2746 105 226 0 3139 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 13472

[startup+100.06 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1660416/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=14388 CPUtime=100.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3001 0 0 0 9999 2 0 0 25 0 1 0 201713400 14733312 2919 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3597 2919 105 226 0 3368 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 14388

[startup+110.067 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 27659
/proc/meminfo: memFree=1659776/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=15048 CPUtime=110.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3172 0 0 0 10999 2 0 0 25 0 1 0 201713400 15409152 3090 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3762 3090 105 226 0 3533 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 15048

[startup+120.074 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1659008/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=15708 CPUtime=120.01
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3345 0 0 0 11999 2 0 0 25 0 1 0 201713400 16084992 3263 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 3927 3263 105 226 0 3698 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 15708

[startup+130.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1658432/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=16368 CPUtime=130.02
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3515 0 0 0 12999 3 0 0 25 0 1 0 201713400 16760832 3433 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4092 3433 105 226 0 3863 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 16368

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1657728/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=17028 CPUtime=140.02
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3686 0 0 0 13999 3 0 0 25 0 1 0 201713400 17436672 3604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4257 3604 105 226 0 4028 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 17028

[startup+150.093 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1657024/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=17688 CPUtime=150.02
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 3858 0 0 0 14999 3 0 0 25 0 1 0 201713400 18112512 3776 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4422 3776 105 226 0 4193 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 17688

[startup+160.099 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1656320/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=18348 CPUtime=160.03
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 4029 0 0 0 15999 4 0 0 25 0 1 0 201713400 18788352 3947 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4587 3947 105 226 0 4358 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 18348

[startup+170.105 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1655616/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=19008 CPUtime=170.03
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 4202 0 0 0 16999 4 0 0 25 0 1 0 201713400 19464192 4120 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4752 4120 105 226 0 4523 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 19008

[startup+180.112 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1654912/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=19668 CPUtime=180.03
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 4372 0 0 0 17999 4 0 0 25 0 1 0 201713400 20140032 4290 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 4917 4290 105 226 0 4688 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 19668

[startup+190.118 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1654272/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=20840 CPUtime=190.04
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 4675 0 0 0 18999 5 0 0 25 0 1 0 201713400 21340160 4463 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 5210 4463 105 226 0 4981 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 20840

[startup+200.124 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1653568/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=21500 CPUtime=200.04
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 4846 0 0 0 19999 5 0 0 25 0 1 0 201713400 22016000 4634 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 5375 4634 105 226 0 5146 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 21500

[startup+210.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27659
/proc/meminfo: memFree=1652864/2055920 swapFree=4182500/4192956

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

/proc/27659/statm: 106098 98632 110 226 0 105869 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (Kb) 424392

[startup+1785.2 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1275072/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=425220 CPUtime=1784.38
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102068 0 0 0 178380 58 0 0 25 0 1 0 201713400 435425280 98976 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 106305 98976 110 226 0 106076 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (Kb) 425220

[startup+1786.2 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1274304/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=425816 CPUtime=1785.39
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102253 0 0 0 178481 58 0 0 25 0 1 0 201713400 436035584 99161 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 106454 99161 110 226 0 106225 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (Kb) 425816

[startup+1787.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1273280/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=433268 CPUtime=1786.39
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102511 0 0 0 178581 58 0 0 25 0 1 0 201713400 443666432 99419 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108317 99419 110 226 0 108088 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 433268

[startup+1788.21 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1273152/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=433268 CPUtime=1787.4
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102536 0 0 0 178682 58 0 0 25 0 1 0 201713400 443666432 99444 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108317 99444 110 226 0 108088 0
Current children cumulated CPU time (s) 1787.4
Current children cumulated vsize (Kb) 433268

[startup+1789.22 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1788.4
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 178782 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (Kb) 434144

[startup+1790.22 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1789.4
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 178882 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014918 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 434144

[startup+1791.23 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1790.4
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 178982 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014979 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (Kb) 434144

[startup+1792.23 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1791.41
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 179083 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (Kb) 434144

[startup+1793.24 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1792.41
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 179183 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (Kb) 434144

[startup+1794.24 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271872/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1793.42
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102876 0 0 0 179284 58 0 0 25 0 1 0 201713400 444563456 99784 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99784 110 226 0 108307 0
Current children cumulated CPU time (s) 1793.42
Current children cumulated vsize (Kb) 434144

[startup+1795.25 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271808/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1794.42
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102881 0 0 0 179384 58 0 0 25 0 1 0 201713400 444563456 99789 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99789 110 226 0 108307 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 434144

[startup+1796.25 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271808/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1795.43
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102895 0 0 0 179485 58 0 0 25 0 1 0 201713400 444563456 99803 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99803 110 226 0 108307 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 434144

[startup+1797.26 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1796.43
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102895 0 0 0 179585 58 0 0 25 0 1 0 201713400 444563456 99803 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99803 110 226 0 108307 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (Kb) 434144

[startup+1798.26 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1797.43
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102895 0 0 0 179685 58 0 0 25 0 1 0 201713400 444563456 99803 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99803 110 226 0 108307 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 434144

[startup+1799.27 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434144 CPUtime=1798.44
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102895 0 0 0 179786 58 0 0 25 0 1 0 201713400 444563456 99803 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108536 99803 110 226 0 108307 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 434144

[startup+1800.27 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434276 CPUtime=1799.44
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102908 0 0 0 179886 58 0 0 25 0 1 0 201713400 444698624 99816 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108569 99816 110 226 0 108340 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 434276

[startup+1801.28 s]
/proc/loadavg: 1.07 0.99 0.93 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434276 CPUtime=1800.45
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102909 0 0 0 179987 58 0 0 25 0 1 0 201713400 444698624 99817 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014918 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108569 99817 110 226 0 108340 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 434276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.28 s]
/proc/loadavg: 1.07 0.99 0.93 2/64 27854
/proc/meminfo: memFree=1271744/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434276 CPUtime=1800.45
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102909 0 0 0 179987 58 0 0 25 0 1 0 201713400 444698624 99817 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108569 99817 110 226 0 108340 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 434276

Sending SIGTERM to -27659
Sleeping 2 seconds

[startup+1802.29 s]
/proc/loadavg: 1.07 0.99 0.93 2/65 27855
/proc/meminfo: memFree=1271736/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=434276 CPUtime=1801.46
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4194304 102909 0 0 0 180088 58 0 0 25 0 1 0 201713400 444698624 99817 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 108569 99817 110 226 0 108340 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (Kb) 434276
Sending SIGKILL to -27659

[startup+1803.29 s]
/proc/loadavg: 1.07 0.99 0.93 2/64 27855
/proc/meminfo: memFree=1298432/2055920 swapFree=4182500/4192956
[pid=27659] ppid=27657 vsize=0 CPUtime=1802.46
/proc/27659/stat : 27659 (wildcat-skc) R 27657 27659 27613 0 -1 4195332 102920 0 0 0 180187 59 0 0 25 0 1 0 201713400 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27659/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.46
Current children cumulated vsize (Kb) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.35
CPU time (s): 1802.53
CPU user time (s): 1801.88
CPU system time (s): 0.646901
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (Kb): 434276
The end

Launcher Data (download as text)

Begin job on node75 on Sat Jun  3 18:48:20 UTC 2006


FILE ID= 32920-1149360498

PBS_JOBID= 311484

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node75/32920-1149360498/instance-32920-1149360498.opb 692816906
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-32920-1149360498 -o ROOT/results/node75/solver-32920-1149360498 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node75/32920-1149360498/instance-32920-1149360498.opb 692816906

MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d
MD5SUM BENCH=  08881dff6590c7283bf2bddc3ff4042d

RANDOM SEED= 692816906


/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1671408 kB
Buffers:         25100 kB
Cached:         293744 kB
SwapCached:       2048 kB
Active:         110692 kB
Inactive:       216736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671408 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            42972 kB
Committed_AS:   350936 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Sat Jun  3 19:18:23 UTC 2006