Trace number 41178

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 NameAnswerCPU timeWall clock time
PBS 4.1L? (TO) 1800.57 1801.18

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark32.96
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb ......

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/node68/watcher-41178-1149241774 -o ROOT/results/node68/solver-41178-1149241774 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 10507
/proc/meminfo: memFree=1742872/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=1832 CPUtime=0
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 224 0 0 0 0 0 0 0 18 0 1 0 189847008 1875968 208 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 458 210 90 232 0 223 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 10507
/proc/meminfo: memFree=1731424/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=14964 CPUtime=9.99
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 3382 0 0 0 980 19 0 0 25 0 1 0 189847008 15323136 3019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 3741 3019 105 232 0 3506 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 14964

[startup+20.0077 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1729760/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=17152 CPUtime=19.99
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4182 0 0 0 1956 43 0 0 25 0 1 0 189847008 17563648 3434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550067 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 4288 3434 105 232 0 4053 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 17152

[startup+30.0134 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1727776/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=17860 CPUtime=30
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4671 0 0 0 2934 66 0 0 25 0 1 0 189847008 18288640 3923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 4465 3923 105 232 0 4230 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 17860

[startup+40.0191 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1726880/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=18432 CPUtime=40
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 4889 0 0 0 3915 85 0 0 25 0 1 0 189847008 18874368 4141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 4608 4141 105 232 0 4373 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 18432

[startup+50.0248 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1725920/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=19068 CPUtime=50.01
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 5136 0 0 0 4896 105 0 0 25 0 1 0 189847008 19525632 4388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 4767 4388 105 232 0 4532 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 19068

[startup+60.0305 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1725088/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=19608 CPUtime=60
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 5336 0 0 0 5874 126 0 0 25 0 1 0 189847008 20078592 4588 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 4902 4588 105 232 0 4667 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 19608

[startup+70.0363 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1724256/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=23284 CPUtime=70.01
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6311 0 0 0 6855 146 0 0 25 0 1 0 189847008 23842816 4794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 5821 4794 105 232 0 5586 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23284

[startup+80.042 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1723616/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=23496 CPUtime=80.01
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6474 0 0 0 7836 165 0 0 25 0 1 0 189847008 24059904 4957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 5874 4957 105 232 0 5639 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 23496

[startup+90.0477 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1722912/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=23960 CPUtime=90.02
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6647 0 0 0 8819 183 0 0 25 0 1 0 189847008 24535040 5130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 5990 5130 105 232 0 5755 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 23960

[startup+100.053 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1722272/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=24308 CPUtime=100.01
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6817 0 0 0 9800 201 0 0 25 0 1 0 189847008 24891392 5300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 6077 5300 105 232 0 5842 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 24308

[startup+110.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 10507
/proc/meminfo: memFree=1721632/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=24576 CPUtime=110.02
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 6977 0 0 0 10781 221 0 0 25 0 1 0 189847008 25165824 5460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 6144 5460 105 232 0 5909 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 24576

[startup+120.065 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1720928/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=25088 CPUtime=120.02
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7153 0 0 0 11763 239 0 0 25 0 1 0 189847008 25690112 5636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 6272 5636 105 232 0 6037 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 25088

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1720352/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=25392 CPUtime=130.02
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7292 0 0 0 12745 257 0 0 25 0 1 0 189847008 26001408 5775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 6348 5775 105 232 0 6113 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 25392

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1718624/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=34100 CPUtime=140.02
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7722 0 0 0 13733 269 0 0 25 0 1 0 189847008 34918400 6205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 8525 6205 105 232 0 8290 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 34100

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1717984/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=34536 CPUtime=150.03
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 7889 0 0 0 14720 283 0 0 25 0 1 0 189847008 35364864 6372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 8634 6372 105 232 0 8399 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 34536

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1717408/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=34536 CPUtime=160.03
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 8030 0 0 0 15707 296 0 0 25 0 1 0 189847008 35364864 6513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 8634 6513 105 232 0 8399 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 34536

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1716832/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=35008 CPUtime=170.03
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 8177 0 0 0 16692 311 0 0 25 0 1 0 189847008 35848192 6660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 8752 6660 105 232 0 8517 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 35008

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1716064/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=41636 CPUtime=180.03
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 9895 0 0 0 17673 330 0 0 25 0 1 0 189847008 42635264 6841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 10409 6841 105 232 0 10174 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 41636

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1715552/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=42044 CPUtime=190.04
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 10023 0 0 0 18658 346 0 0 25 0 1 0 189847008 43053056 6969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 10511 6969 105 232 0 10276 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 42044

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1714976/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=42044 CPUtime=200.04
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 10165 0 0 0 19639 365 0 0 25 0 1 0 189847008 43053056 7111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 10511 7111 105 232 0 10276 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 42044

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10507
/proc/meminfo: memFree=1714336/2055920 swapFree=4182316/4192956

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

/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35850 0 0 0 175914 2232 0 0 25 0 1 0 189847008 115642368 23578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23578 105 232 0 27998 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 112932

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648480/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1782.46
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35873 0 0 0 176013 2233 0 0 25 0 1 0 189847008 115642368 23601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611544 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23601 105 232 0 27998 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 112932

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648480/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1783.47
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35878 0 0 0 176113 2234 0 0 25 0 1 0 189847008 115642368 23606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23606 105 232 0 27998 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 112932

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648416/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1784.47
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35893 0 0 0 176212 2235 0 0 25 0 1 0 189847008 115642368 23621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23621 105 232 0 27998 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 112932

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648352/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1785.47
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35902 0 0 0 176311 2236 0 0 25 0 1 0 189847008 115642368 23630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23630 105 232 0 27998 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 112932

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648352/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1786.48
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35911 0 0 0 176411 2237 0 0 25 0 1 0 189847008 115642368 23639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23639 105 232 0 27998 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 112932

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648288/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1787.48
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35919 0 0 0 176511 2237 0 0 25 0 1 0 189847008 115642368 23647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23647 105 232 0 27998 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 112932

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648224/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1788.49
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35939 0 0 0 176610 2239 0 0 25 0 1 0 189847008 115642368 23667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23667 105 232 0 27998 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 112932

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648224/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1789.49
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35942 0 0 0 176709 2240 0 0 25 0 1 0 189847008 115642368 23670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23670 105 232 0 27998 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 112932

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648160/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1790.5
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35953 0 0 0 176809 2241 0 0 25 0 1 0 189847008 115642368 23681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23681 105 232 0 27998 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 112932

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648160/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1791.5
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35956 0 0 0 176908 2242 0 0 25 0 1 0 189847008 115642368 23684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23684 105 232 0 27998 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 112932

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1792.5
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35968 0 0 0 177007 2243 0 0 25 0 1 0 189847008 115642368 23696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23696 105 232 0 27998 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 112932

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1793.51
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35975 0 0 0 177107 2244 0 0 25 0 1 0 189847008 115642368 23703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23703 105 232 0 27998 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 112932

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 10702
/proc/meminfo: memFree=1648096/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1794.52
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35980 0 0 0 177207 2245 0 0 25 0 1 0 189847008 115642368 23708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23708 105 232 0 27998 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 112932

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1648032/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1795.52
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 35990 0 0 0 177306 2246 0 0 25 0 1 0 189847008 115642368 23718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23718 105 232 0 27998 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 112932

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647968/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1796.52
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36004 0 0 0 177405 2247 0 0 25 0 1 0 189847008 115642368 23732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23732 105 232 0 27998 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 112932

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647968/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1797.53
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36009 0 0 0 177505 2248 0 0 25 0 1 0 189847008 115642368 23737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23737 105 232 0 27998 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 112932

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1798.53
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36014 0 0 0 177605 2248 0 0 25 0 1 0 189847008 115642368 23742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23742 105 232 0 27998 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 112932

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1799.54
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36019 0 0 0 177705 2249 0 0 25 0 1 0 189847008 115642368 23747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23747 105 232 0 27998 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (Kb) 112932

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1800.54
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36023 0 0 0 177804 2250 0 0 25 0 1 0 189847008 115642368 23751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23751 105 232 0 27998 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 112932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 10702
/proc/meminfo: memFree=1647904/2055920 swapFree=4182316/4192956
[pid=10507] ppid=10505 vsize=112932 CPUtime=1800.54
/proc/10507/stat : 10507 (PBS4L) R 10505 10507 10462 0 -1 4194304 36023 0 0 0 177804 2250 0 0 25 0 1 0 189847008 115642368 23751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10507/statm: 28233 23751 105 232 0 27998 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 112932

Sending SIGTERM to -10507
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.57
CPU user time (s): 1778.05
CPU system time (s): 22.5236
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (Kb): 112932
The end

Launcher Data (download as text)

Begin job on node68 on Fri Jun  2 09:49:35 UTC 2006


FILE ID= 41178-1149241774

PBS_JOBID= 297471

BENCH NAME= ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-41178-1149241774 -o ROOT/results/node68/solver-41178-1149241774 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node68/41178-1149241774/instance-41178-1149241774.opb 317103778

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  d484bc8efed557f17788965b19feafe5

RANDOM SEED= 317103778


/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.279
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.279
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1743272 kB
Buffers:         11972 kB
Cached:         237268 kB
SwapCached:       2292 kB
Active:          36800 kB
Inactive:       221124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743272 kB
SwapTotal:     4192956 kB
SwapFree:      4182316 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            40736 kB
Committed_AS:   224176 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Fri Jun  2 10:19:36 UTC 2006