Trace number 40947

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 358.232 358.342

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
MD5SUMae752929c20bdaef808bd42af6910473
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 benchmark113.649
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 761
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/node63/40947-1149213088/instance-40947-1149213088.opb ......
358.31	c done parsing opb.
358.31	s UNSATISFIABLE
358.31	c Total Run Time					358.198

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/node63/watcher-40947-1149213088 -o ROOT/results/node63/solver-40947-1149213088 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/40947-1149213088/instance-40947-1149213088.opb 974127191 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.87 0.87 2/64 7724
/proc/meminfo: memFree=1495944/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=1400 CPUtime=0
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 186875972 1433600 135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536712 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 350 135 100 232 0 115 0

[startup+10.003 s]
/proc/loadavg: 0.88 0.88 0.87 2/64 7724
/proc/meminfo: memFree=1484432/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=13764 CPUtime=9.99
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 3337 0 0 0 993 6 0 0 25 0 1 0 186875972 14094336 2973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 3441 2973 104 232 0 3206 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13764

[startup+20.0091 s]
/proc/loadavg: 0.90 0.88 0.88 2/64 7724
/proc/meminfo: memFree=1478160/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=25116 CPUtime=19.99
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 5288 0 0 0 1988 11 0 0 25 0 1 0 186875972 25718784 4539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 6279 4539 104 232 0 6044 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25116

[startup+30.0151 s]
/proc/loadavg: 0.91 0.88 0.88 2/64 7724
/proc/meminfo: memFree=1473552/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=26272 CPUtime=30
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 6449 0 0 0 2985 15 0 0 25 0 1 0 186875972 26902528 5700 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 6568 5700 105 232 0 6333 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26272

[startup+40.0212 s]
/proc/loadavg: 0.93 0.89 0.88 2/64 7724
/proc/meminfo: memFree=1469136/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=43528 CPUtime=40.01
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 7537 0 0 0 3983 18 0 0 25 0 1 0 186875972 44572672 6788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 10882 6788 105 232 0 10647 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 43528

[startup+50.0273 s]
/proc/loadavg: 0.94 0.89 0.88 2/64 7724
/proc/meminfo: memFree=1464976/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=47660 CPUtime=50.01
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 9350 0 0 0 4979 22 0 0 25 0 1 0 186875972 48803840 7832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 11915 7832 105 232 0 11680 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 47660

[startup+60.0334 s]
/proc/loadavg: 0.95 0.89 0.88 2/64 7724
/proc/meminfo: memFree=1461328/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=48540 CPUtime=60.01
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 10273 0 0 0 5977 24 0 0 25 0 1 0 186875972 49704960 8755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12135 8755 105 232 0 11900 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48540

[startup+70.0404 s]
/proc/loadavg: 0.95 0.90 0.88 2/64 7724
/proc/meminfo: memFree=1458192/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=49596 CPUtime=70.02
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 11051 0 0 0 6976 26 0 0 25 0 1 0 186875972 50786304 9533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12399 9533 105 232 0 12164 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 49596

[startup+80.0465 s]
/proc/loadavg: 0.96 0.90 0.88 2/64 7724
/proc/meminfo: memFree=1455248/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=50404 CPUtime=80.02
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 11782 0 0 0 7974 28 0 0 25 0 1 0 186875972 51613696 10264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12601 10264 105 232 0 12366 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 50404

[startup+90.0526 s]
/proc/loadavg: 0.97 0.90 0.88 2/64 7724
/proc/meminfo: memFree=1453008/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=51064 CPUtime=90.02
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 12340 0 0 0 8972 30 0 0 25 0 1 0 186875972 52289536 10822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12766 10822 105 232 0 12531 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51064

[startup+100.059 s]
/proc/loadavg: 0.97 0.90 0.88 2/64 7724
/proc/meminfo: memFree=1450768/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=51592 CPUtime=100.03
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 12906 0 0 0 9970 33 0 0 25 0 1 0 186875972 52830208 11388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552199 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12898 11388 105 232 0 12663 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 51592

[startup+110.065 s]
/proc/loadavg: 0.98 0.91 0.88 2/64 7724
/proc/meminfo: memFree=1449552/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=51752 CPUtime=110.02
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 13202 0 0 0 10968 34 0 0 25 0 1 0 186875972 52994048 11684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 12938 11684 105 232 0 12703 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 51752

[startup+120.071 s]
/proc/loadavg: 0.98 0.91 0.89 2/64 7724
/proc/meminfo: memFree=1447120/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=52884 CPUtime=120.04
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 13816 0 0 0 11967 37 0 0 25 0 1 0 186875972 54153216 12298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 13221 12298 105 232 0 12986 0
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 52884

[startup+130.077 s]
/proc/loadavg: 0.98 0.91 0.89 2/64 7724
/proc/meminfo: memFree=1446480/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=53352 CPUtime=130.03
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 14026 0 0 0 12965 38 0 0 25 0 1 0 186875972 54632448 12442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 13338 12442 105 232 0 13103 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 53352

[startup+140.083 s]
/proc/loadavg: 0.98 0.91 0.89 2/64 7724
/proc/meminfo: memFree=1445968/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=53676 CPUtime=140.04
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 14162 0 0 0 13964 40 0 0 25 0 1 0 186875972 54964224 12578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 13419 12578 105 232 0 13184 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 53676

[startup+150.089 s]
/proc/loadavg: 0.99 0.92 0.89 2/64 7724
/proc/meminfo: memFree=1443984/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=87160 CPUtime=150.04
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 14658 0 0 0 14963 41 0 0 25 0 1 0 186875972 89251840 13074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 21790 13074 105 232 0 21555 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 87160

[startup+160.095 s]
/proc/loadavg: 0.99 0.92 0.89 2/64 7724
/proc/meminfo: memFree=1441616/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=88168 CPUtime=160.05
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 15290 0 0 0 15961 44 0 0 25 0 1 0 186875972 90284032 13640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 22042 13640 105 232 0 21807 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 88168

[startup+170.101 s]
/proc/loadavg: 0.99 0.92 0.89 2/64 7724
/proc/meminfo: memFree=1440144/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=89276 CPUtime=170.05
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 15754 0 0 0 16960 45 0 0 25 0 1 0 186875972 91418624 14038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 22319 14038 105 232 0 22084 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 89276

[startup+180.107 s]
/proc/loadavg: 0.99 0.92 0.89 2/64 7724
/proc/meminfo: memFree=1439824/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=89276 CPUtime=180.05
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 15834 0 0 0 17959 46 0 0 25 0 1 0 186875972 91418624 14118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 22319 14118 105 232 0 22084 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 89276

[startup+190.113 s]
/proc/loadavg: 0.99 0.92 0.89 2/64 7724
/proc/meminfo: memFree=1439120/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=95960 CPUtime=190.05
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 17538 0 0 0 18956 49 0 0 25 0 1 0 186875972 98263040 14252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 23990 14252 105 232 0 23755 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 95960

[startup+200.118 s]
/proc/loadavg: 0.99 0.93 0.89 2/64 7724
/proc/meminfo: memFree=1438608/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=96420 CPUtime=200.06
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 17694 0 0 0 19955 51 0 0 25 0 1 0 186875972 98734080 14408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24105 14408 105 232 0 23870 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 96420

[startup+210.124 s]
/proc/loadavg: 0.99 0.93 0.89 2/64 7724
/proc/meminfo: memFree=1438032/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=97116 CPUtime=210.07
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 17945 0 0 0 20955 52 0 0 25 0 1 0 186875972 99446784 14560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24279 14560 105 232 0 24044 0
Current children cumulated CPU time (s) 210.07
Current children cumulated vsize (Kb) 97116

[startup+220.13 s]
/proc/loadavg: 0.99 0.93 0.90 2/64 7724
/proc/meminfo: memFree=1437456/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=97636 CPUtime=220.07
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18077 0 0 0 21954 53 0 0 25 0 1 0 186875972 99979264 14692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550031 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24409 14692 105 232 0 24174 0
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (Kb) 97636

[startup+230.137 s]
/proc/loadavg: 0.99 0.93 0.90 2/64 7724
/proc/meminfo: memFree=1437008/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=97956 CPUtime=230.07
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18213 0 0 0 22953 54 0 0 25 0 1 0 186875972 100306944 14795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24489 14795 105 232 0 24254 0
Current children cumulated CPU time (s) 230.07
Current children cumulated vsize (Kb) 97956

[startup+240.143 s]
/proc/loadavg: 0.99 0.93 0.90 2/64 7724
/proc/meminfo: memFree=1436752/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=97956 CPUtime=240.07
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18291 0 0 0 23952 55 0 0 25 0 1 0 186875972 100306944 14873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24489 14873 105 232 0 24254 0
Current children cumulated CPU time (s) 240.07
Current children cumulated vsize (Kb) 97956

[startup+250.148 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1436368/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=98148 CPUtime=250.07
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18379 0 0 0 24951 56 0 0 25 0 1 0 186875972 100503552 14961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24537 14961 105 232 0 24302 0
Current children cumulated CPU time (s) 250.07
Current children cumulated vsize (Kb) 98148

[startup+260.154 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1436112/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=98340 CPUtime=260.08
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18451 0 0 0 25950 58 0 0 25 0 1 0 186875972 100700160 15033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24585 15033 105 232 0 24350 0
Current children cumulated CPU time (s) 260.08
Current children cumulated vsize (Kb) 98340

[startup+270.16 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1434768/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=98780 CPUtime=270.08
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18775 0 0 0 26950 58 0 0 25 0 1 0 186875972 101150720 15357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24695 15357 105 232 0 24460 0
Current children cumulated CPU time (s) 270.08
Current children cumulated vsize (Kb) 98780

[startup+280.166 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1434192/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=99408 CPUtime=280.09
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 18925 0 0 0 27949 60 0 0 25 0 1 0 186875972 101793792 15507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24852 15507 105 232 0 24617 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (Kb) 99408

[startup+290.172 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1433808/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=99408 CPUtime=290.09
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19027 0 0 0 28948 61 0 0 25 0 1 0 186875972 101793792 15609 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24852 15609 105 232 0 24617 0
Current children cumulated CPU time (s) 290.09
Current children cumulated vsize (Kb) 99408

[startup+300.178 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1433552/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=99408 CPUtime=300.09
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19075 0 0 0 29947 62 0 0 25 0 1 0 186875972 101793792 15657 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 24852 15657 105 232 0 24617 0
Current children cumulated CPU time (s) 300.09
Current children cumulated vsize (Kb) 99408

[startup+310.184 s]
/proc/loadavg: 0.99 0.94 0.90 2/64 7724
/proc/meminfo: memFree=1432464/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=100600 CPUtime=310.09
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19352 0 0 0 30946 63 0 0 25 0 1 0 186875972 103014400 15934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 25150 15934 105 232 0 24915 0
Current children cumulated CPU time (s) 310.09
Current children cumulated vsize (Kb) 100600

[startup+320.19 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 7724
/proc/meminfo: memFree=1432272/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=100600 CPUtime=320.1
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19402 0 0 0 31945 65 0 0 25 0 1 0 186875972 103014400 15984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 25150 15984 105 232 0 24915 0
Current children cumulated CPU time (s) 320.1
Current children cumulated vsize (Kb) 100600

[startup+330.196 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 7724
/proc/meminfo: memFree=1431376/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=101312 CPUtime=330.1
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19621 0 0 0 32944 66 0 0 25 0 1 0 186875972 103743488 16203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 25328 16203 105 232 0 25093 0
Current children cumulated CPU time (s) 330.1
Current children cumulated vsize (Kb) 101312

[startup+340.202 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 7724
/proc/meminfo: memFree=1430928/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=101504 CPUtime=340.1
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19742 0 0 0 33943 67 0 0 25 0 1 0 186875972 103940096 16324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 25376 16324 105 232 0 25141 0
Current children cumulated CPU time (s) 340.1
Current children cumulated vsize (Kb) 101504

[startup+350.208 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 7724
/proc/meminfo: memFree=1430608/2055920 swapFree=4182328/4192956
[pid=7724] ppid=7722 vsize=101892 CPUtime=350.11
/proc/7724/stat : 7724 (PBS4L) R 7722 7724 7679 0 -1 4194304 19821 0 0 0 34942 69 0 0 25 0 1 0 186875972 104337408 16403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/7724/statm: 25473 16403 105 232 0 25238 0
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 101892

Child status: 0
Real time (s): 358.342
CPU time (s): 358.232
CPU user time (s): 357.513
CPU system time (s): 0.71889
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (Kb): 101892

Launcher Data (download as text)

Begin job on node63 on Fri Jun  2 01:51:28 UTC 2006


FILE ID= 40947-1149213088

PBS_JOBID= 294471

BENCH NAME= ROOT/tmp/node63/40947-1149213088/instance-40947-1149213088.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/40947-1149213088/instance-40947-1149213088.opb 974127191
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-40947-1149213088 -o ROOT/results/node63/solver-40947-1149213088 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/40947-1149213088/instance-40947-1149213088.opb 974127191

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  ae752929c20bdaef808bd42af6910473

RANDOM SEED= 974127191


/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.228
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.228
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:       1496224 kB
Buffers:         33468 kB
Cached:         451404 kB
SwapCached:       2824 kB
Active:         107044 kB
Inactive:       387000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496224 kB
SwapTotal:     4192956 kB
SwapFree:      4182328 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          15864 kB
Slab:            51716 kB
Committed_AS:   186076 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node63 on Fri Jun  2 01:57:27 UTC 2006