Trace number 40971

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 1540.66 1541.17

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
MD5SUMa94882f61e84be0ce1718fd53c8fd7c8
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 benchmark319.072
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 689
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/node53/40971-1149216155/instance-40971-1149216155.opb ......
1541.14	c done parsing opb.
1541.14	s UNSATISFIABLE
1541.14	c Total Run Time					1540.62

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/node53/watcher-40971-1149216155 -o ROOT/results/node53/solver-40971-1149216155 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.77 0.95 0.93 2/64 12279
/proc/meminfo: memFree=1298952/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=1400 CPUtime=0
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 187282996 1433600 135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617263 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 350 135 100 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 0.81 0.95 0.93 2/64 12279
/proc/meminfo: memFree=1286616/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=13752 CPUtime=9.99
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 3541 0 0 0 993 6 0 0 25 0 1 0 187282996 14082048 3177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 3438 3177 105 232 0 3203 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13752

[startup+20.0084 s]
/proc/loadavg: 0.84 0.95 0.93 2/64 12279
/proc/meminfo: memFree=1280280/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=25000 CPUtime=20
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 5513 0 0 0 1990 10 0 0 25 0 1 0 187282996 25600000 4764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551993 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 6250 4764 105 232 0 6015 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 25000

[startup+30.0146 s]
/proc/loadavg: 0.86 0.95 0.93 2/64 12279
/proc/meminfo: memFree=1275352/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=26212 CPUtime=30
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 6735 0 0 0 2987 13 0 0 25 0 1 0 187282996 26841088 5986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 6553 5986 105 232 0 6318 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26212

[startup+40.0207 s]
/proc/loadavg: 0.88 0.95 0.93 2/64 12279
/proc/meminfo: memFree=1271064/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=43652 CPUtime=39.99
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 7802 0 0 0 3984 15 0 0 25 0 1 0 187282996 44699648 7053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 10913 7053 105 232 0 10678 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 43652

[startup+50.0268 s]
/proc/loadavg: 0.90 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1267224/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=47860 CPUtime=50.01
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 9539 0 0 0 4982 19 0 0 25 0 1 0 187282996 49008640 8021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 11965 8021 105 232 0 11730 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 47860

[startup+60.033 s]
/proc/loadavg: 0.91 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1263384/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=48980 CPUtime=60
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 10495 0 0 0 5978 22 0 0 25 0 1 0 187282996 50155520 8977 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 12245 8977 105 232 0 12010 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48980

[startup+70.0391 s]
/proc/loadavg: 0.93 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1260824/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=49820 CPUtime=70.01
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 11131 0 0 0 6977 24 0 0 25 0 1 0 187282996 51015680 9613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 12455 9613 105 232 0 12220 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49820

[startup+80.0462 s]
/proc/loadavg: 0.94 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1257816/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=50916 CPUtime=80.02
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 11876 0 0 0 7975 27 0 0 25 0 1 0 187282996 52137984 10358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 12729 10358 105 232 0 12494 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 50916

[startup+90.0524 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1254680/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=51900 CPUtime=90.02
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 12654 0 0 0 8973 29 0 0 25 0 1 0 187282996 53145600 11136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 12975 11136 105 232 0 12740 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51900

[startup+100.058 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1251864/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=52948 CPUtime=100.02
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 13361 0 0 0 9971 31 0 0 25 0 1 0 187282996 54218752 11843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 13237 11843 105 232 0 13002 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 52948

[startup+110.065 s]
/proc/loadavg: 0.96 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1250008/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=53148 CPUtime=110.02
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 13821 0 0 0 10969 33 0 0 25 0 1 0 187282996 54423552 12303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 13287 12303 105 232 0 13052 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 53148

[startup+120.071 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1247256/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=86312 CPUtime=120.02
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 14508 0 0 0 11967 35 0 0 25 0 1 0 187282996 88383488 12990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 21578 12990 105 232 0 21343 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 86312

[startup+130.077 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1244632/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=87104 CPUtime=130.03
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 15159 0 0 0 12965 38 0 0 25 0 1 0 187282996 89194496 13641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 21776 13641 105 232 0 21541 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 87104

[startup+140.084 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 12279
/proc/meminfo: memFree=1242328/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=87368 CPUtime=140.03
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 15745 0 0 0 13964 39 0 0 25 0 1 0 187282996 89464832 14227 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 21842 14227 105 232 0 21607 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 87368

[startup+150.089 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1240216/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=87896 CPUtime=150.04
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 16269 0 0 0 14963 41 0 0 25 0 1 0 187282996 90005504 14751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 21974 14751 105 232 0 21739 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 87896

[startup+160.095 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1238168/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=88488 CPUtime=160.04
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 16777 0 0 0 15962 42 0 0 25 0 1 0 187282996 90611712 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 22122 15259 105 232 0 21887 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 88488

[startup+170.101 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1236184/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=88780 CPUtime=170.04
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 17263 0 0 0 16960 44 0 0 25 0 1 0 187282996 90910720 15745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 22195 15745 105 232 0 21960 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 88780

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1234904/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=95872 CPUtime=180.04
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19150 0 0 0 17958 46 0 0 25 0 1 0 187282996 98172928 16062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 23968 16062 105 232 0 23733 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 95872

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1234392/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=96312 CPUtime=190.05
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19312 0 0 0 18958 47 0 0 25 0 1 0 187282996 98623488 16191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 24078 16191 105 232 0 23843 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 96312

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1233944/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=96572 CPUtime=200.05
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19451 0 0 0 19956 49 0 0 25 0 1 0 187282996 98889728 16297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 24143 16297 105 232 0 23908 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 96572

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12279
/proc/meminfo: memFree=1232728/2055920 swapFree=4181356/4192956

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

/proc/12279/statm: 50391 34822 105 232 0 50156 0
Current children cumulated CPU time (s) 1330.37
Current children cumulated vsize (Kb) 201564

[startup+1340.82 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1159000/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=201692 CPUtime=1340.37
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42798 0 0 0 133856 181 0 0 25 0 1 0 187282996 206532608 34859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50423 34859 105 232 0 50188 0
Current children cumulated CPU time (s) 1340.37
Current children cumulated vsize (Kb) 201692

[startup+1350.82 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1159000/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=201692 CPUtime=1350.37
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42826 0 0 0 134855 182 0 0 25 0 1 0 187282996 206532608 34887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50423 34887 105 232 0 50188 0
Current children cumulated CPU time (s) 1350.37
Current children cumulated vsize (Kb) 201692

[startup+1360.83 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1158872/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=201692 CPUtime=1360.38
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42852 0 0 0 135855 183 0 0 25 0 1 0 187282996 206532608 34913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50423 34913 105 232 0 50188 0
Current children cumulated CPU time (s) 1360.38
Current children cumulated vsize (Kb) 201692

[startup+1370.83 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1158680/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=201692 CPUtime=1370.37
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42899 0 0 0 136854 183 0 0 25 0 1 0 187282996 206532608 34960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552182 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50423 34960 105 232 0 50188 0
Current children cumulated CPU time (s) 1370.37
Current children cumulated vsize (Kb) 201692

[startup+1380.84 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1157784/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=202496 CPUtime=1380.38
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43121 0 0 0 137854 184 0 0 25 0 1 0 187282996 207355904 35182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50624 35182 105 232 0 50389 0
Current children cumulated CPU time (s) 1380.38
Current children cumulated vsize (Kb) 202496

[startup+1390.85 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1157336/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=203352 CPUtime=1390.38
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43226 0 0 0 138854 184 0 0 25 0 1 0 187282996 208232448 35287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50838 35287 105 232 0 50603 0
Current children cumulated CPU time (s) 1390.38
Current children cumulated vsize (Kb) 203352

[startup+1400.85 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1156952/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=203352 CPUtime=1400.39
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43346 0 0 0 139853 186 0 0 25 0 1 0 187282996 208232448 35407 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 50838 35407 105 232 0 50603 0
Current children cumulated CPU time (s) 1400.39
Current children cumulated vsize (Kb) 203352

[startup+1410.86 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1156568/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204260 CPUtime=1410.4
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43453 0 0 0 140853 187 0 0 25 0 1 0 187282996 209162240 35514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51065 35514 105 232 0 50830 0
Current children cumulated CPU time (s) 1410.4
Current children cumulated vsize (Kb) 204260

[startup+1420.87 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1156440/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1420.39
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43493 0 0 0 141852 187 0 0 25 0 1 0 187282996 209358848 35554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35554 105 232 0 50878 0
Current children cumulated CPU time (s) 1420.39
Current children cumulated vsize (Kb) 204452

[startup+1430.87 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1156312/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1430.4
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43516 0 0 0 142852 188 0 0 25 0 1 0 187282996 209358848 35577 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35577 105 232 0 50878 0
Current children cumulated CPU time (s) 1430.4
Current children cumulated vsize (Kb) 204452

[startup+1440.88 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1156184/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1440.4
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43546 0 0 0 143851 189 0 0 25 0 1 0 187282996 209358848 35607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35607 105 232 0 50878 0
Current children cumulated CPU time (s) 1440.4
Current children cumulated vsize (Kb) 204452

[startup+1450.88 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1155736/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1450.4
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43673 0 0 0 144851 189 0 0 25 0 1 0 187282996 209358848 35734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35734 105 232 0 50878 0
Current children cumulated CPU time (s) 1450.4
Current children cumulated vsize (Kb) 204452

[startup+1460.89 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1155544/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1460.41
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43714 0 0 0 145851 190 0 0 25 0 1 0 187282996 209358848 35775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35775 105 232 0 50878 0
Current children cumulated CPU time (s) 1460.41
Current children cumulated vsize (Kb) 204452

[startup+1470.9 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1155480/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1470.41
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43740 0 0 0 146850 191 0 0 25 0 1 0 187282996 209358848 35801 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35801 105 232 0 50878 0
Current children cumulated CPU time (s) 1470.41
Current children cumulated vsize (Kb) 204452

[startup+1480.9 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1155352/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=204452 CPUtime=1480.42
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43765 0 0 0 147850 192 0 0 25 0 1 0 187282996 209358848 35826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51113 35826 105 232 0 50878 0
Current children cumulated CPU time (s) 1480.42
Current children cumulated vsize (Kb) 204452

[startup+1490.91 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1154840/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=205416 CPUtime=1490.41
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43888 0 0 0 148849 192 0 0 25 0 1 0 187282996 210345984 35949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51354 35949 105 232 0 51119 0
Current children cumulated CPU time (s) 1490.41
Current children cumulated vsize (Kb) 205416

[startup+1500.92 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1154008/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=205416 CPUtime=1500.42
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44098 0 0 0 149849 193 0 0 25 0 1 0 187282996 210345984 36159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51354 36159 105 232 0 51119 0
Current children cumulated CPU time (s) 1500.42
Current children cumulated vsize (Kb) 205416

[startup+1510.92 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1153560/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=206440 CPUtime=1510.42
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44210 0 0 0 150848 194 0 0 25 0 1 0 187282996 211394560 36271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51610 36271 105 232 0 51375 0
Current children cumulated CPU time (s) 1510.42
Current children cumulated vsize (Kb) 206440

[startup+1520.93 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1153432/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=206440 CPUtime=1520.43
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44239 0 0 0 151848 195 0 0 25 0 1 0 187282996 211394560 36300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51610 36300 105 232 0 51375 0
Current children cumulated CPU time (s) 1520.43
Current children cumulated vsize (Kb) 206440

[startup+1530.93 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1153112/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=206440 CPUtime=1530.43
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44324 0 0 0 152848 195 0 0 25 0 1 0 187282996 211394560 36385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51610 36385 105 232 0 51375 0
Current children cumulated CPU time (s) 1530.43
Current children cumulated vsize (Kb) 206440

[startup+1540.94 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 12474
/proc/meminfo: memFree=1152216/2055920 swapFree=4181356/4192956
[pid=12279] ppid=12277 vsize=207528 CPUtime=1540.43
/proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44536 0 0 0 153847 196 0 0 25 0 1 0 187282996 212508672 36597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12279/statm: 51882 36597 105 232 0 51647 0
Current children cumulated CPU time (s) 1540.43
Current children cumulated vsize (Kb) 207528

Child status: 0
Real time (s): 1541.17
CPU time (s): 1540.66
CPU user time (s): 1538.67
CPU system time (s): 1.9897
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 207528

Launcher Data (download as text)

Begin job on node53 on Fri Jun  2 02:42:35 UTC 2006


FILE ID= 40971-1149216155

PBS_JOBID= 294778

BENCH NAME= ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node53/watcher-40971-1149216155 -o ROOT/results/node53/solver-40971-1149216155 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  a94882f61e84be0ce1718fd53c8fd7c8

RANDOM SEED= 198934242


/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.249
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.249
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:       1299160 kB
Buffers:         36064 kB
Cached:         647784 kB
SwapCached:       3632 kB
Active:         350592 kB
Inactive:       342256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1299160 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             252 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            49924 kB
Committed_AS:   232400 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 node53 on Fri Jun  2 03:08:17 UTC 2006