Trace number 40966

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 709.003 709.197

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
MD5SUM19ba22a32308a07bd9c7341c12b6a0ff
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 benchmark167.145
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 733
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/node23/40966-1149215674/instance-40966-1149215674.opb ......
709.17	c done parsing opb.
709.17	s UNSATISFIABLE
709.18	c Total Run Time					708.965

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/node23/watcher-40966-1149215674 -o ROOT/results/node23/solver-40966-1149215674 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/40966-1149215674/instance-40966-1149215674.opb 278509091 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.62 0.89 0.91 3/64 7116
/proc/meminfo: memFree=1394256/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=1400 CPUtime=0
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 147 0 0 0 0 0 0 0 19 0 1 0 187231111 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134859629 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 350 130 100 232 0 115 0

[startup+10.0023 s]
/proc/loadavg: 0.68 0.89 0.91 2/64 7116
/proc/meminfo: memFree=1382608/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=13668 CPUtime=9.99
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 3377 0 0 0 993 6 0 0 25 0 1 0 187231111 13996032 3013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 3417 3013 104 232 0 3182 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13668

[startup+20.0095 s]
/proc/loadavg: 0.73 0.90 0.91 2/64 7116
/proc/meminfo: memFree=1376528/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=25176 CPUtime=19.99
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 5276 0 0 0 1990 9 0 0 25 0 1 0 187231111 25780224 4527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 6294 4527 104 232 0 6059 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25176

[startup+30.0166 s]
/proc/loadavg: 0.77 0.90 0.91 2/64 7117
/proc/meminfo: memFree=1371536/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=26496 CPUtime=30
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 6506 0 0 0 2987 13 0 0 25 0 1 0 187231111 27131904 5757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 6624 5757 104 232 0 6389 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 26496

[startup+40.0227 s]
/proc/loadavg: 0.80 0.90 0.91 2/64 7117
/proc/meminfo: memFree=1367120/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=44052 CPUtime=40
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 7603 0 0 0 3984 16 0 0 25 0 1 0 187231111 45109248 6854 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 11013 6854 104 232 0 10778 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44052

[startup+50.0289 s]
/proc/loadavg: 0.83 0.90 0.91 2/64 7118
/proc/meminfo: memFree=1363344/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=48268 CPUtime=50.01
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 9315 0 0 0 4982 19 0 0 25 0 1 0 187231111 49426432 7797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 12067 7797 104 232 0 11832 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 48268

[startup+60.035 s]
/proc/loadavg: 0.86 0.91 0.91 2/64 7118
/proc/meminfo: memFree=1359888/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=49808 CPUtime=60.01
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 10184 0 0 0 5979 22 0 0 25 0 1 0 187231111 51003392 8666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551997 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 12452 8666 105 232 0 12217 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 49808

[startup+70.0411 s]
/proc/loadavg: 0.88 0.91 0.91 2/64 7118
/proc/meminfo: memFree=1357328/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=50636 CPUtime=70.01
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 10826 0 0 0 6977 24 0 0 25 0 1 0 187231111 51851264 9308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 12659 9308 105 232 0 12424 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 50636

[startup+80.0473 s]
/proc/loadavg: 0.90 0.91 0.91 2/64 7118
/proc/meminfo: memFree=1354704/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=51224 CPUtime=80.02
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 11476 0 0 0 7976 26 0 0 25 0 1 0 187231111 52453376 9958 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 12806 9958 105 232 0 12571 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 51224

[startup+90.0534 s]
/proc/loadavg: 0.91 0.91 0.91 2/64 7118
/proc/meminfo: memFree=1352144/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=51800 CPUtime=90.02
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 12126 0 0 0 8974 28 0 0 25 0 1 0 187231111 53043200 10608 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550762 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 12950 10608 105 232 0 12715 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 51800

[startup+100.06 s]
/proc/loadavg: 0.93 0.92 0.91 2/64 7118
/proc/meminfo: memFree=1349520/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=52328 CPUtime=100.02
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 12778 0 0 0 9972 30 0 0 25 0 1 0 187231111 53583872 11260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 13082 11260 105 232 0 12847 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 52328

[startup+110.066 s]
/proc/loadavg: 0.94 0.92 0.91 2/64 7118
/proc/meminfo: memFree=1346896/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=52856 CPUtime=110.02
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 13426 0 0 0 10970 32 0 0 25 0 1 0 187231111 54124544 11908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 13214 11908 105 232 0 12979 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 52856

[startup+120.072 s]
/proc/loadavg: 0.95 0.92 0.91 2/64 7118
/proc/meminfo: memFree=1344464/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=86076 CPUtime=120.03
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 14073 0 0 0 11969 34 0 0 25 0 1 0 187231111 88141824 12522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 21519 12522 105 232 0 21284 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 86076

[startup+130.078 s]
/proc/loadavg: 0.95 0.92 0.91 2/64 7118
/proc/meminfo: memFree=1342224/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=86636 CPUtime=130.04
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 14687 0 0 0 12968 36 0 0 25 0 1 0 187231111 88715264 13070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 21659 13070 105 232 0 21424 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 86636

[startup+140.084 s]
/proc/loadavg: 0.96 0.92 0.91 2/64 7118
/proc/meminfo: memFree=1340240/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=87092 CPUtime=140.04
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 15185 0 0 0 13966 38 0 0 25 0 1 0 187231111 89182208 13568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 21773 13568 105 232 0 21538 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 87092

[startup+150.09 s]
/proc/loadavg: 0.97 0.93 0.91 2/64 7118
/proc/meminfo: memFree=1338256/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=87380 CPUtime=150.04
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 15711 0 0 0 14965 39 0 0 25 0 1 0 187231111 89477120 14061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 21845 14061 105 232 0 21610 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 87380

[startup+160.096 s]
/proc/loadavg: 0.97 0.93 0.91 2/64 7118
/proc/meminfo: memFree=1336400/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=87948 CPUtime=160.05
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 16262 0 0 0 15964 41 0 0 25 0 1 0 187231111 90058752 14513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 21987 14513 105 232 0 21752 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 87948

[startup+170.102 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 7118
/proc/meminfo: memFree=1334224/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=88788 CPUtime=170.04
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 16877 0 0 0 16962 42 0 0 25 0 1 0 187231111 90918912 15062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 22197 15062 105 232 0 21962 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 88788

[startup+180.109 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 7118
/proc/meminfo: memFree=1332112/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=89240 CPUtime=180.05
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 17409 0 0 0 17961 44 0 0 25 0 1 0 187231111 91381760 15594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 22310 15594 105 232 0 22075 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 89240

[startup+190.115 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 7118
/proc/meminfo: memFree=1330576/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=89692 CPUtime=190.06
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 17863 0 0 0 18960 46 0 0 25 0 1 0 187231111 91844608 15982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 22423 15982 105 232 0 22188 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 89692

[startup+200.121 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 7118
/proc/meminfo: memFree=1329040/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=90120 CPUtime=200.05
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 18273 0 0 0 19958 47 0 0 25 0 1 0 187231111 92282880 16359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 22530 16359 105 232 0 22295 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 90120

[startup+210.128 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 7118
/proc/meminfo: memFree=1327952/2055920 swapFree=4180892/4192956

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

/proc/7116/statm: 26613 21788 105 232 0 26378 0
Current children cumulated CPU time (s) 490.16
Current children cumulated vsize (Kb) 106452

[startup+500.307 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1307088/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=106452 CPUtime=500.16
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 25993 0 0 0 49929 87 0 0 25 0 1 0 187231111 109006848 21816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 26613 21816 105 232 0 26378 0
Current children cumulated CPU time (s) 500.16
Current children cumulated vsize (Kb) 106452

[startup+510.313 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1306320/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=106708 CPUtime=510.17
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26183 0 0 0 50928 89 0 0 25 0 1 0 187231111 109268992 22006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 26677 22006 105 232 0 26442 0
Current children cumulated CPU time (s) 510.17
Current children cumulated vsize (Kb) 106708

[startup+520.319 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1306128/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=106708 CPUtime=520.18
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26234 0 0 0 51927 91 0 0 25 0 1 0 187231111 109268992 22057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 26677 22057 105 232 0 26442 0
Current children cumulated CPU time (s) 520.18
Current children cumulated vsize (Kb) 106708

[startup+530.325 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1305296/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=107268 CPUtime=530.17
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26436 0 0 0 52926 91 0 0 25 0 1 0 187231111 109842432 22259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550774 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 26817 22259 105 232 0 26582 0
Current children cumulated CPU time (s) 530.17
Current children cumulated vsize (Kb) 107268

[startup+540.331 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1304656/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=107836 CPUtime=540.18
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26588 0 0 0 53926 92 0 0 25 0 1 0 187231111 110424064 22411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 26959 22411 105 232 0 26724 0
Current children cumulated CPU time (s) 540.18
Current children cumulated vsize (Kb) 107836

[startup+550.337 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1304272/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=108160 CPUtime=550.18
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26692 0 0 0 54925 93 0 0 25 0 1 0 187231111 110755840 22515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27040 22515 105 232 0 26805 0
Current children cumulated CPU time (s) 550.18
Current children cumulated vsize (Kb) 108160

[startup+560.344 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1304144/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=108160 CPUtime=560.18
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26729 0 0 0 55924 94 0 0 25 0 1 0 187231111 110755840 22552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27040 22552 105 232 0 26805 0
Current children cumulated CPU time (s) 560.18
Current children cumulated vsize (Kb) 108160

[startup+570.349 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1303504/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=108872 CPUtime=570.18
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 26878 0 0 0 56923 95 0 0 25 0 1 0 187231111 111484928 22701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27218 22701 105 232 0 26983 0
Current children cumulated CPU time (s) 570.18
Current children cumulated vsize (Kb) 108872

[startup+580.355 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1303056/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=109000 CPUtime=580.19
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27015 0 0 0 57923 96 0 0 25 0 1 0 187231111 111616000 22805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27250 22805 105 232 0 27015 0
Current children cumulated CPU time (s) 580.19
Current children cumulated vsize (Kb) 109000

[startup+590.361 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1302800/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=109260 CPUtime=590.19
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27094 0 0 0 58922 97 0 0 25 0 1 0 187231111 111882240 22884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27315 22884 105 232 0 27080 0
Current children cumulated CPU time (s) 590.19
Current children cumulated vsize (Kb) 109260

[startup+600.367 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1302672/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=109260 CPUtime=600.2
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27125 0 0 0 59922 98 0 0 25 0 1 0 187231111 111882240 22915 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27315 22915 105 232 0 27080 0
Current children cumulated CPU time (s) 600.2
Current children cumulated vsize (Kb) 109260

[startup+610.373 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1302224/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=109648 CPUtime=610.2
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27225 0 0 0 60921 99 0 0 25 0 1 0 187231111 112279552 23015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27412 23015 105 232 0 27177 0
Current children cumulated CPU time (s) 610.2
Current children cumulated vsize (Kb) 109648

[startup+620.38 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1301904/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110064 CPUtime=620.2
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27319 0 0 0 61920 100 0 0 25 0 1 0 187231111 112705536 23109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27516 23109 105 232 0 27281 0
Current children cumulated CPU time (s) 620.2
Current children cumulated vsize (Kb) 110064

[startup+630.386 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1301520/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110064 CPUtime=630.21
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27400 0 0 0 62920 101 0 0 25 0 1 0 187231111 112705536 23190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27516 23190 105 232 0 27281 0
Current children cumulated CPU time (s) 630.21
Current children cumulated vsize (Kb) 110064

[startup+640.392 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1301456/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110064 CPUtime=640.21
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27429 0 0 0 63919 102 0 0 25 0 1 0 187231111 112705536 23219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27516 23219 105 232 0 27281 0
Current children cumulated CPU time (s) 640.21
Current children cumulated vsize (Kb) 110064

[startup+650.398 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1301328/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110064 CPUtime=650.21
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27457 0 0 0 64919 102 0 0 25 0 1 0 187231111 112705536 23247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27516 23247 105 232 0 27281 0
Current children cumulated CPU time (s) 650.21
Current children cumulated vsize (Kb) 110064

[startup+660.404 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1301008/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110504 CPUtime=660.22
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27527 0 0 0 65919 103 0 0 25 0 1 0 187231111 113156096 23317 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27626 23317 105 232 0 27391 0
Current children cumulated CPU time (s) 660.22
Current children cumulated vsize (Kb) 110504

[startup+670.41 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1300304/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=110972 CPUtime=670.22
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27704 0 0 0 66918 104 0 0 25 0 1 0 187231111 113635328 23494 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27743 23494 105 232 0 27508 0
Current children cumulated CPU time (s) 670.22
Current children cumulated vsize (Kb) 110972

[startup+680.417 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1299728/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=111468 CPUtime=680.23
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27843 0 0 0 67918 105 0 0 25 0 1 0 187231111 114143232 23633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27867 23633 105 232 0 27632 0
Current children cumulated CPU time (s) 680.23
Current children cumulated vsize (Kb) 111468

[startup+690.423 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1299472/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=111468 CPUtime=690.23
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 27914 0 0 0 68918 105 0 0 25 0 1 0 187231111 114143232 23704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 27867 23704 105 232 0 27632 0
Current children cumulated CPU time (s) 690.23
Current children cumulated vsize (Kb) 111468

[startup+700.429 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 7118
/proc/meminfo: memFree=1298640/2055920 swapFree=4180892/4192956
[pid=7116] ppid=7114 vsize=112556 CPUtime=700.24
/proc/7116/stat : 7116 (PBS4L) R 7114 7116 7071 0 -1 4194304 28121 0 0 0 69917 107 0 0 25 0 1 0 187231111 115257344 23911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/7116/statm: 28139 23911 105 232 0 27904 0
Current children cumulated CPU time (s) 700.24
Current children cumulated vsize (Kb) 112556

Child status: 0
Real time (s): 709.197
CPU time (s): 709.003
CPU user time (s): 707.907
CPU system time (s): 1.09583
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (Kb): 112556

Launcher Data (download as text)

Begin job on node23 on Fri Jun  2 02:34:34 UTC 2006


FILE ID= 40966-1149215674

PBS_JOBID= 294713

BENCH NAME= ROOT/tmp/node23/40966-1149215674/instance-40966-1149215674.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/40966-1149215674/instance-40966-1149215674.opb 278509091
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-40966-1149215674 -o ROOT/results/node23/solver-40966-1149215674 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/40966-1149215674/instance-40966-1149215674.opb 278509091

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  19ba22a32308a07bd9c7341c12b6a0ff

RANDOM SEED= 278509091


/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.213
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	: 5931.00
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.213
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:       1394464 kB
Buffers:         39244 kB
Cached:         546172 kB
SwapCached:       3872 kB
Active:         166144 kB
Inactive:       428028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1394464 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          14696 kB
Slab:            53312 kB
Committed_AS:   205712 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jun  2 02:46:24 UTC 2006