Trace number 40993

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.1LUNSAT 928.762 929.083

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
MD5SUM12591fb3a3171df58322c5e93cb6a45b
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark199.53
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
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/node82/40993-1149218829/instance-40993-1149218829.opb ......
929.06	c done parsing opb.
929.06	s UNSATISFIABLE
929.06	c Total Run Time					928.724

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/node82/watcher-40993-1149218829 -o ROOT/results/node82/solver-40993-1149218829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1194744/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=1400 CPUtime=0
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 179072196 1433600 138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630594 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 350 138 100 232 0 115 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1182968/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=13768 CPUtime=9.99
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 3427 0 0 0 993 6 0 0 25 0 1 0 179072196 14098432 3065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 3442 3065 104 232 0 3207 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13768

[startup+20.0083 s]
/proc/loadavg: 0.94 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1176504/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=24952 CPUtime=19.99
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 5432 0 0 0 1988 11 0 0 25 0 1 0 179072196 25550848 4685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 6238 4685 105 232 0 6003 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 24952

[startup+30.0142 s]
/proc/loadavg: 0.95 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1171384/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=26116 CPUtime=30
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 6714 0 0 0 2986 14 0 0 25 0 1 0 179072196 26742784 5966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 6529 5966 105 232 0 6294 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26116

[startup+40.0201 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1166648/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=43864 CPUtime=40
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 7920 0 0 0 3983 17 0 0 25 0 1 0 179072196 44916736 7172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 10966 7172 105 232 0 10731 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43864

[startup+50.026 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1162808/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=47924 CPUtime=50
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 9631 0 0 0 4980 20 0 0 25 0 1 0 179072196 49074176 8114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 11981 8114 105 232 0 11746 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 47924

[startup+60.0319 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1159416/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=48892 CPUtime=60.01
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 10485 0 0 0 5978 23 0 0 25 0 1 0 179072196 50065408 8968 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 12223 8969 105 232 0 11988 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48892

[startup+70.0378 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1155576/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=49904 CPUtime=70.01
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 11440 0 0 0 6975 26 0 0 25 0 1 0 179072196 51101696 9923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 12476 9923 105 232 0 12241 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49904

[startup+80.0437 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1152632/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=50684 CPUtime=80.01
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 12179 0 0 0 7974 27 0 0 25 0 1 0 179072196 51900416 10662 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 12671 10662 105 232 0 12436 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50684

[startup+90.0496 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1149496/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=51404 CPUtime=90.01
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 12950 0 0 0 8971 30 0 0 25 0 1 0 179072196 52637696 11433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 12851 11433 105 232 0 12616 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 51404

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1146936/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=51992 CPUtime=100.01
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 13598 0 0 0 9969 32 0 0 25 0 1 0 179072196 53239808 12081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 12998 12081 105 232 0 12763 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 51992

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1144056/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=85684 CPUtime=110.02
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 14314 0 0 0 10968 34 0 0 25 0 1 0 179072196 87740416 12797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 21421 12797 105 232 0 21186 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 85684

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1141944/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=86604 CPUtime=120.02
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 14837 0 0 0 11967 35 0 0 25 0 1 0 179072196 88682496 13320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 21651 13320 105 232 0 21416 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86604

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1139512/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=86868 CPUtime=130.02
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 15463 0 0 0 12965 37 0 0 25 0 1 0 179072196 88952832 13946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 21717 13946 105 232 0 21482 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 86868

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1137400/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=87468 CPUtime=140.02
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 15986 0 0 0 13964 38 0 0 25 0 1 0 179072196 89567232 14469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 21867 14469 105 232 0 21632 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 87468

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1135992/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=87864 CPUtime=150.03
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 16338 0 0 0 14963 40 0 0 25 0 1 0 179072196 89972736 14821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 21966 14821 105 232 0 21731 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 87864

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1133944/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=88352 CPUtime=160.02
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 16851 0 0 0 15961 41 0 0 25 0 1 0 179072196 90472448 15334 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 22088 15334 105 232 0 21853 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 88352

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1132216/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=95288 CPUtime=170.04
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 18822 0 0 0 16959 45 0 0 25 0 1 0 179072196 97574912 15768 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 23822 15768 105 232 0 23587 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 95288

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1130296/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=95448 CPUtime=180.03
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 19302 0 0 0 17957 46 0 0 25 0 1 0 179072196 97738752 16248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 23862 16248 105 232 0 23627 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 95448

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1128312/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=96064 CPUtime=190.03
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 19848 0 0 0 18955 48 0 0 25 0 1 0 179072196 98369536 16728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 24016 16728 105 232 0 23781 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 96064

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1127480/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=96824 CPUtime=200.04
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 20087 0 0 0 19955 49 0 0 25 0 1 0 179072196 99147776 16934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611838 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 24206 16934 105 232 0 23971 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 96824

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1126392/2055892 swapFree=4087504/4096564

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

/proc/11756/statm: 31216 25574 105 232 0 30981 0
Current children cumulated CPU time (s) 710.16
Current children cumulated vsize (Kb) 124864

[startup+720.425 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1092536/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=124864 CPUtime=720.17
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32649 0 0 0 71905 112 0 0 25 0 1 0 179072196 127860736 25631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31216 25631 105 232 0 30981 0
Current children cumulated CPU time (s) 720.17
Current children cumulated vsize (Kb) 124864

[startup+730.431 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1091576/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126084 CPUtime=730.17
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32906 0 0 0 72904 113 0 0 25 0 1 0 179072196 129110016 25888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31521 25888 105 232 0 31286 0
Current children cumulated CPU time (s) 730.17
Current children cumulated vsize (Kb) 126084

[startup+740.437 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1091384/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126084 CPUtime=740.17
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 32947 0 0 0 73903 114 0 0 25 0 1 0 179072196 129110016 25929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31521 25929 105 232 0 31286 0
Current children cumulated CPU time (s) 740.17
Current children cumulated vsize (Kb) 126084

[startup+750.442 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1091000/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126212 CPUtime=750.18
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33087 0 0 0 74903 115 0 0 25 0 1 0 179072196 129241088 26036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31553 26036 105 232 0 31318 0
Current children cumulated CPU time (s) 750.18
Current children cumulated vsize (Kb) 126212

[startup+760.448 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1090488/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126808 CPUtime=760.17
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33207 0 0 0 75901 116 0 0 25 0 1 0 179072196 129851392 26156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31702 26156 105 232 0 31467 0
Current children cumulated CPU time (s) 760.17
Current children cumulated vsize (Kb) 126808

[startup+770.454 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1090296/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126808 CPUtime=770.19
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33260 0 0 0 76901 118 0 0 25 0 1 0 179072196 129851392 26209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31702 26209 105 232 0 31467 0
Current children cumulated CPU time (s) 770.19
Current children cumulated vsize (Kb) 126808

[startup+780.46 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1090104/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=126808 CPUtime=780.18
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33300 0 0 0 77899 119 0 0 25 0 1 0 179072196 129851392 26249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31702 26249 105 232 0 31467 0
Current children cumulated CPU time (s) 780.18
Current children cumulated vsize (Kb) 126808

[startup+790.466 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1089656/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=127440 CPUtime=790.19
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33408 0 0 0 78899 120 0 0 25 0 1 0 179072196 130498560 26357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31860 26357 105 232 0 31625 0
Current children cumulated CPU time (s) 790.19
Current children cumulated vsize (Kb) 127440

[startup+800.471 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1089528/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=127440 CPUtime=800.19
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33444 0 0 0 79899 120 0 0 25 0 1 0 179072196 130498560 26393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31860 26393 105 232 0 31625 0
Current children cumulated CPU time (s) 800.19
Current children cumulated vsize (Kb) 127440

[startup+810.477 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1089400/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=127440 CPUtime=810.19
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33482 0 0 0 80898 121 0 0 25 0 1 0 179072196 130498560 26431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31860 26431 105 232 0 31625 0
Current children cumulated CPU time (s) 810.19
Current children cumulated vsize (Kb) 127440

[startup+820.484 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1089272/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=127440 CPUtime=820.19
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33513 0 0 0 81897 122 0 0 25 0 1 0 179072196 130498560 26462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558976 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31860 26462 105 232 0 31625 0
Current children cumulated CPU time (s) 820.19
Current children cumulated vsize (Kb) 127440

[startup+830.49 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1088760/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=127440 CPUtime=830.2
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33635 0 0 0 82897 123 0 0 25 0 1 0 179072196 130498560 26584 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 31860 26584 105 232 0 31625 0
Current children cumulated CPU time (s) 830.2
Current children cumulated vsize (Kb) 127440

[startup+840.496 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1088248/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=128240 CPUtime=840.2
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33801 0 0 0 83896 124 0 0 25 0 1 0 179072196 131317760 26717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32060 26717 105 232 0 31825 0
Current children cumulated CPU time (s) 840.2
Current children cumulated vsize (Kb) 128240

[startup+850.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1087800/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=128368 CPUtime=850.21
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 33944 0 0 0 84895 126 0 0 25 0 1 0 179072196 131448832 26827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32092 26827 105 232 0 31857 0
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (Kb) 128368

[startup+860.508 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1087416/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=129080 CPUtime=860.21
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34040 0 0 0 85894 127 0 0 25 0 1 0 179072196 132177920 26923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32270 26923 105 232 0 32035 0
Current children cumulated CPU time (s) 860.21
Current children cumulated vsize (Kb) 129080

[startup+870.514 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1087224/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=129080 CPUtime=870.21
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34079 0 0 0 86893 128 0 0 25 0 1 0 179072196 132177920 26962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32270 26962 105 232 0 32035 0
Current children cumulated CPU time (s) 870.21
Current children cumulated vsize (Kb) 129080

[startup+880.52 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1086840/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=129080 CPUtime=880.21
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34179 0 0 0 87892 129 0 0 25 0 1 0 179072196 132177920 27062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32270 27062 105 232 0 32035 0
Current children cumulated CPU time (s) 880.21
Current children cumulated vsize (Kb) 129080

[startup+890.527 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1086200/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=129836 CPUtime=890.22
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34330 0 0 0 88892 130 0 0 25 0 1 0 179072196 132952064 27213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32459 27213 105 232 0 32224 0
Current children cumulated CPU time (s) 890.22
Current children cumulated vsize (Kb) 129836

[startup+900.533 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1085560/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=130640 CPUtime=900.22
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34496 0 0 0 89891 131 0 0 25 0 1 0 179072196 133775360 27379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32660 27379 105 232 0 32425 0
Current children cumulated CPU time (s) 900.22
Current children cumulated vsize (Kb) 130640

[startup+910.539 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1085432/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=130640 CPUtime=910.22
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34529 0 0 0 90889 133 0 0 25 0 1 0 179072196 133775360 27412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32660 27412 105 232 0 32425 0
Current children cumulated CPU time (s) 910.22
Current children cumulated vsize (Kb) 130640

[startup+920.545 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 11756
/proc/meminfo: memFree=1084472/2055892 swapFree=4087504/4096564
[pid=11756] ppid=11754 vsize=131496 CPUtime=920.22
/proc/11756/stat : 11756 (PBS4L) R 11754 11756 11711 0 -1 4194304 34761 0 0 0 91888 134 0 0 25 0 1 0 179072196 134651904 27644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/11756/statm: 32874 27644 105 232 0 32639 0
Current children cumulated CPU time (s) 920.22
Current children cumulated vsize (Kb) 131496

Child status: 0
Real time (s): 929.083
CPU time (s): 928.762
CPU user time (s): 927.39
CPU system time (s): 1.37179
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 131496

Launcher Data (download as text)

Begin job on node82 on Fri Jun  2 03:27:09 UTC 2006


FILE ID= 40993-1149218829

PBS_JOBID= 295068

BENCH NAME= ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-40993-1149218829 -o ROOT/results/node82/solver-40993-1149218829 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/40993-1149218829/instance-40993-1149218829.opb 354963479

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  12591fb3a3171df58322c5e93cb6a45b

RANDOM SEED= 354963479


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1194952 kB
Buffers:         44276 kB
Cached:         739160 kB
SwapCached:       2848 kB
Active:         117876 kB
Inactive:       674264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1194952 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14532 kB
Slab:            55084 kB
Committed_AS:   210452 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Fri Jun  2 03:42:38 UTC 2006