Trace number 40838

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.54 1801.28

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
MD5SUMf8964c43535341fcc69e672675167b77
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 benchmark1.78673
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints1085
Number of constraints which are clauses738
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint169
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
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/node73/40838-1149204831/instance-40838-1149204831.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/node73/watcher-40838-1149204831 -o ROOT/results/node73/solver-40838-1149204831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.45 0.12 0.20 2/64 9260
/proc/meminfo: memFree=1600392/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=1400 CPUtime=0
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 168 0 0 0 0 0 0 0 18 0 1 0 186147897 1433600 149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 350 149 100 232 0 115 0

[startup+10.002 s]
/proc/loadavg: 0.61 0.16 0.22 2/64 9260
/proc/meminfo: memFree=1581720/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=23296 CPUtime=10
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 4927 0 0 0 993 7 0 0 25 0 1 0 186147897 23855104 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 5824 4754 105 232 0 5589 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 23296

[startup+20.008 s]
/proc/loadavg: 0.67 0.19 0.22 2/64 9260
/proc/meminfo: memFree=1568352/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=44416 CPUtime=19.99
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 8454 0 0 0 1987 12 0 0 25 0 1 0 186147897 45481984 8088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 11104 8088 105 232 0 10869 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 44416

[startup+30.0139 s]
/proc/loadavg: 0.72 0.22 0.23 2/64 9260
/proc/meminfo: memFree=1561184/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=49492 CPUtime=30
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 10645 0 0 0 2984 16 0 0 25 0 1 0 186147897 50679808 9894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546344 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 12373 9894 105 232 0 12138 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 49492

[startup+40.0199 s]
/proc/loadavg: 0.76 0.24 0.24 2/64 9260
/proc/meminfo: memFree=1554272/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=51480 CPUtime=40
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 12358 0 0 0 3981 19 0 0 25 0 1 0 186147897 52715520 11607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559021 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 12870 11607 105 232 0 12635 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 51480

[startup+50.0259 s]
/proc/loadavg: 0.80 0.27 0.25 2/64 9260
/proc/meminfo: memFree=1543392/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=87412 CPUtime=50
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 15077 0 0 0 4977 23 0 0 25 0 1 0 186147897 89509888 14326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 21853 14326 105 232 0 21618 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 87412

[startup+60.0318 s]
/proc/loadavg: 0.83 0.29 0.26 2/64 9260
/proc/meminfo: memFree=1537056/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=93976 CPUtime=60
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 17424 0 0 0 5972 28 0 0 25 0 1 0 186147897 96231424 15904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 23494 15904 105 232 0 23259 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 93976

[startup+70.0378 s]
/proc/loadavg: 0.85 0.31 0.26 2/64 9262
/proc/meminfo: memFree=1531104/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=96220 CPUtime=70.01
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 18911 0 0 0 6970 31 0 0 25 0 1 0 186147897 98529280 17391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 24055 17391 105 232 0 23820 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 96220

[startup+80.0438 s]
/proc/loadavg: 0.88 0.33 0.27 2/64 9262
/proc/meminfo: memFree=1527328/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=98068 CPUtime=80
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 19855 0 0 0 7967 33 0 0 25 0 1 0 186147897 100421632 18335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 24517 18335 105 232 0 24282 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 98068

[startup+90.0497 s]
/proc/loadavg: 0.89 0.36 0.28 2/64 9262
/proc/meminfo: memFree=1526304/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=98796 CPUtime=90.01
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20110 0 0 0 8965 36 0 0 25 0 1 0 186147897 101167104 18590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 24699 18590 105 232 0 24464 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 98796

[startup+100.056 s]
/proc/loadavg: 0.91 0.38 0.29 2/64 9262
/proc/meminfo: memFree=1525088/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=99452 CPUtime=100.01
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20409 0 0 0 9963 38 0 0 25 0 1 0 186147897 101838848 18889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 24863 18889 105 232 0 24628 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 99452

[startup+110.062 s]
/proc/loadavg: 0.92 0.40 0.29 2/64 9262
/proc/meminfo: memFree=1524448/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=99708 CPUtime=110.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20563 0 0 0 10961 41 0 0 25 0 1 0 186147897 102100992 19043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 24927 19043 105 232 0 24692 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 99708

[startup+120.068 s]
/proc/loadavg: 0.93 0.42 0.30 2/64 9262
/proc/meminfo: memFree=1523296/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=100460 CPUtime=120.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 20855 0 0 0 11959 43 0 0 25 0 1 0 186147897 102871040 19335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 25115 19335 105 232 0 24880 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 100460

[startup+130.074 s]
/proc/loadavg: 0.94 0.43 0.31 2/64 9262
/proc/meminfo: memFree=1522336/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=101292 CPUtime=130.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 21087 0 0 0 12957 45 0 0 25 0 1 0 186147897 103723008 19567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 25323 19567 105 232 0 25088 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 101292

[startup+140.081 s]
/proc/loadavg: 0.95 0.45 0.31 2/64 9262
/proc/meminfo: memFree=1521312/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=101960 CPUtime=140.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 21349 0 0 0 13954 48 0 0 25 0 1 0 186147897 104407040 19829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 25490 19829 105 232 0 25255 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 101960

[startup+150.09 s]
/proc/loadavg: 0.96 0.47 0.32 2/64 9262
/proc/meminfo: memFree=1520416/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=108468 CPUtime=150.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23098 0 0 0 14951 51 0 0 25 0 1 0 186147897 111071232 20041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27117 20041 105 232 0 26882 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 108468

[startup+160.096 s]
/proc/loadavg: 0.96 0.49 0.33 2/64 9262
/proc/meminfo: memFree=1519072/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=109268 CPUtime=160.02
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23438 0 0 0 15948 54 0 0 25 0 1 0 186147897 111890432 20381 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550768 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27317 20381 105 232 0 27082 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 109268

[startup+170.103 s]
/proc/loadavg: 0.97 0.50 0.33 2/64 9262
/proc/meminfo: memFree=1518432/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=109268 CPUtime=170.03
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23603 0 0 0 16946 57 0 0 25 0 1 0 186147897 111890432 20546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27317 20546 105 232 0 27082 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 109268

[startup+180.11 s]
/proc/loadavg: 0.97 0.52 0.34 2/64 9262
/proc/meminfo: memFree=1517536/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=109704 CPUtime=180.03
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 23817 0 0 0 17944 59 0 0 25 0 1 0 186147897 112336896 20760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27426 20760 105 232 0 27191 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 109704

[startup+190.117 s]
/proc/loadavg: 0.98 0.54 0.35 2/64 9262
/proc/meminfo: memFree=1516448/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=110660 CPUtime=190.04
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 24087 0 0 0 18942 62 0 0 25 0 1 0 186147897 113315840 21030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27665 21030 105 232 0 27430 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 110660

[startup+200.123 s]
/proc/loadavg: 0.98 0.55 0.35 2/64 9262
/proc/meminfo: memFree=1515936/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=110660 CPUtime=200.04
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 24225 0 0 0 19940 64 0 0 25 0 1 0 186147897 113315840 21168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 27665 21168 105 232 0 27430 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 110660

[startup+210.13 s]
/proc/loadavg: 0.98 0.56 0.36 2/64 9262
/proc/meminfo: memFree=1514912/2055920 swapFree=4182220/4192956

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

/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98849 0 0 0 177834 305 0 0 25 0 1 0 186147897 451796992 80084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80084 105 232 0 110067 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 441208

[startup+1783.13 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1782.39
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98850 0 0 0 177934 305 0 0 25 0 1 0 186147897 451796992 80085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80085 105 232 0 110067 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 441208

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1783.4
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98851 0 0 0 178035 305 0 0 25 0 1 0 186147897 451796992 80086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80086 105 232 0 110067 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 441208

[startup+1785.14 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1784.4
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98852 0 0 0 178135 305 0 0 25 0 1 0 186147897 451796992 80087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80087 105 232 0 110067 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 441208

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1785.41
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98856 0 0 0 178236 305 0 0 25 0 1 0 186147897 451796992 80091 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80091 105 232 0 110067 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 441208

[startup+1787.15 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278944/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1786.41
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98859 0 0 0 178336 305 0 0 25 0 1 0 186147897 451796992 80094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80094 105 232 0 110067 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 441208

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1787.42
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98862 0 0 0 178437 305 0 0 25 0 1 0 186147897 451796992 80097 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80097 105 232 0 110067 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 441208

[startup+1789.16 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1788.42
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98865 0 0 0 178537 305 0 0 25 0 1 0 186147897 451796992 80100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80100 105 232 0 110067 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 441208

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1789.42
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98868 0 0 0 178637 305 0 0 25 0 1 0 186147897 451796992 80103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80103 105 232 0 110067 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 441208

[startup+1791.17 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1790.43
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98870 0 0 0 178737 306 0 0 25 0 1 0 186147897 451796992 80105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80105 105 232 0 110067 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 441208

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1791.44
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98874 0 0 0 178838 306 0 0 25 0 1 0 186147897 451796992 80109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80109 105 232 0 110067 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 441208

[startup+1793.18 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278880/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1792.44
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98877 0 0 0 178938 306 0 0 25 0 1 0 186147897 451796992 80112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80112 105 232 0 110067 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 441208

[startup+1794.19 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278816/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1793.45
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98883 0 0 0 179039 306 0 0 25 0 1 0 186147897 451796992 80118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80118 105 232 0 110067 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 441208

[startup+1795.19 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278816/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441208 CPUtime=1794.45
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98888 0 0 0 179139 306 0 0 25 0 1 0 186147897 451796992 80123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110302 80123 105 232 0 110067 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 441208

[startup+1796.2 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278688/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1795.45
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98925 0 0 0 179239 306 0 0 25 0 1 0 186147897 452063232 80160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80160 105 232 0 110132 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 441468

[startup+1797.2 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1796.45
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98934 0 0 0 179339 306 0 0 25 0 1 0 186147897 452063232 80169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80169 105 232 0 110132 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 441468

[startup+1798.21 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1797.47
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98936 0 0 0 179440 307 0 0 25 0 1 0 186147897 452063232 80171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80171 105 232 0 110132 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 441468

[startup+1799.21 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278624/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1798.47
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98940 0 0 0 179540 307 0 0 25 0 1 0 186147897 452063232 80175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80175 105 232 0 110132 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 441468

[startup+1800.22 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1799.47
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98944 0 0 0 179640 307 0 0 25 0 1 0 186147897 452063232 80179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80179 105 232 0 110132 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 441468

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1800.48
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98949 0 0 0 179741 307 0 0 25 0 1 0 186147897 452063232 80184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80184 105 232 0 110132 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 441468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 9457
/proc/meminfo: memFree=1278560/2055920 swapFree=4182220/4192956
[pid=9260] ppid=9258 vsize=441468 CPUtime=1800.48
/proc/9260/stat : 9260 (PBS4L) R 9258 9260 9215 0 -1 4194304 98949 0 0 0 179741 307 0 0 25 0 1 0 186147897 452063232 80184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/9260/statm: 110367 80184 105 232 0 110132 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 441468

Sending SIGTERM to -9260
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.28
CPU time (s): 1800.54
CPU user time (s): 1797.42
CPU system time (s): 3.12552
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (Kb): 441468
The end

Launcher Data (download as text)

Begin job on node73 on Thu Jun  1 23:33:51 UTC 2006


FILE ID= 40838-1149204831

PBS_JOBID= 293055

BENCH NAME= ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-40838-1149204831 -o ROOT/results/node73/solver-40838-1149204831 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/40838-1149204831/instance-40838-1149204831.opb 863750111

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f8964c43535341fcc69e672675167b77

RANDOM SEED= 863750111


/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.261
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.261
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:       1600600 kB
Buffers:         32432 kB
Cached:         351640 kB
SwapCached:       2508 kB
Active:         101656 kB
Inactive:       291196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600600 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             292 kB
Writeback:           0 kB
Mapped:          15096 kB
Slab:            48524 kB
Committed_AS:   153640 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Fri Jun  2 00:03:53 UTC 2006