Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 358.232 | 358.342 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb |
MD5SUM | ae752929c20bdaef808bd42af6910473 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 113.649 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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
ERROR: no interpretation found !
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
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