Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 579.854 | 580.068 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb |
MD5SUM | 3135d58f22cd009942de3e1dff086931 |
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 | 62.9374 |
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 | 667 |
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/node80/40972-1149216275/instance-40972-1149216275.opb ...... 580.05 c done parsing opb. 580.05 s UNSATISFIABLE 580.05 c Total Run Time 579.818
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/node80/watcher-40972-1149216275 -o ROOT/results/node80/solver-40972-1149216275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1727424/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=1368 CPUtime=0 /proc/26255/stat : 26255 (PBS4L) D 26253 26255 26210 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 187266083 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/26255/statm: 342 95 84 232 0 107 0 [startup+10.0029 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1715472/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=13796 CPUtime=9.98 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 3460 0 0 0 994 4 0 0 25 0 1 0 187266083 14127104 3097 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 3449 3097 105 232 0 3214 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13796 [startup+20.0089 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1708688/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=25376 CPUtime=19.99 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 5532 0 0 0 1991 8 0 0 25 0 1 0 187266083 25985024 4784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 6344 4784 105 232 0 6109 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25376 [startup+30.015 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1703760/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=26632 CPUtime=29.99 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 6760 0 0 0 2988 11 0 0 25 0 1 0 187266083 27271168 6012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 6658 6012 105 232 0 6423 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26632 [startup+40.0211 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1700112/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=44088 CPUtime=40 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 7668 0 0 0 3986 14 0 0 25 0 1 0 187266083 45146112 6920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560056 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 11022 6920 105 232 0 10787 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44088 [startup+50.0272 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1695760/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=48488 CPUtime=49.99 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 9527 0 0 0 4983 16 0 0 25 0 1 0 187266083 49651712 8010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 12122 8010 105 232 0 11887 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 48488 [startup+60.0332 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1693136/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=48944 CPUtime=60 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 10168 0 0 0 5982 18 0 0 25 0 1 0 187266083 50118656 8651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 12236 8651 105 232 0 12001 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48944 [startup+70.0393 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1689616/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=49848 CPUtime=70 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 11056 0 0 0 6980 20 0 0 25 0 1 0 187266083 51044352 9539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 12462 9539 105 232 0 12227 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 49848 [startup+80.0454 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1686672/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=51156 CPUtime=80.01 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 11792 0 0 0 7978 23 0 0 25 0 1 0 187266083 52383744 10275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 12789 10275 105 232 0 12554 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 51156 [startup+90.0515 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1684432/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=51816 CPUtime=90.01 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 12351 0 0 0 8977 24 0 0 25 0 1 0 187266083 53059584 10834 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 12954 10834 105 232 0 12719 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 51816 [startup+100.058 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1681360/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=52708 CPUtime=100.01 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 13119 0 0 0 9975 26 0 0 25 0 1 0 187266083 53972992 11602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 13177 11602 105 232 0 12942 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52708 [startup+110.064 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1678800/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=52840 CPUtime=110.01 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 13764 0 0 0 10974 27 0 0 25 0 1 0 187266083 54108160 12247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 13210 12247 105 232 0 12975 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 52840 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1675728/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=86668 CPUtime=120.02 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 14520 0 0 0 11972 30 0 0 25 0 1 0 187266083 88748032 13003 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 21667 13003 105 232 0 21432 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86668 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1673552/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=87060 CPUtime=130.02 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 15074 0 0 0 12971 31 0 0 25 0 1 0 187266083 89149440 13557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 21765 13557 105 232 0 21530 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 87060 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1670992/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=87796 CPUtime=140.02 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 15737 0 0 0 13969 33 0 0 25 0 1 0 187266083 89903104 14187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 21949 14187 105 232 0 21714 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 87796 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1669008/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=88060 CPUtime=150.02 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 16232 0 0 0 14967 35 0 0 25 0 1 0 187266083 90173440 14682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 22015 14682 105 232 0 21780 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 88060 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1666256/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=88736 CPUtime=160.02 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 16941 0 0 0 15965 37 0 0 25 0 1 0 187266083 90865664 15358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563518 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 22184 15358 105 232 0 21949 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 88736 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1665488/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=89548 CPUtime=170.03 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 17137 0 0 0 16965 38 0 0 25 0 1 0 187266083 91697152 15554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 22387 15554 105 232 0 22152 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 89548 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1665040/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=95824 CPUtime=180.03 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 18777 0 0 0 17962 41 0 0 25 0 1 0 187266083 98123776 15657 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 23956 15657 105 232 0 23721 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 95824 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1663824/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=96088 CPUtime=190.03 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 19090 0 0 0 18961 42 0 0 25 0 1 0 187266083 98394112 15970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 24022 15970 105 232 0 23787 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 96088 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1662224/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=96980 CPUtime=200.03 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 19589 0 0 0 19960 43 0 0 25 0 1 0 187266083 99307520 16370 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 24245 16370 105 232 0 24010 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 96980 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1660368/2055888 swapFree=4085432/4096564 ################ # More data... # ################ /proc/26255/statm: 25735 20284 105 232 0 25500 0 Current children cumulated CPU time (s) 360.07 Current children cumulated vsize (Kb) 102940 [startup+370.223 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1645648/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=103988 CPUtime=370.08 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24334 0 0 0 36946 62 0 0 25 0 1 0 187266083 106483712 20488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 25997 20488 105 232 0 25762 0 Current children cumulated CPU time (s) 370.08 Current children cumulated vsize (Kb) 103988 [startup+380.229 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1645264/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=104404 CPUtime=380.08 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24468 0 0 0 37945 63 0 0 25 0 1 0 187266083 106909696 20589 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26101 20589 105 232 0 25866 0 Current children cumulated CPU time (s) 380.08 Current children cumulated vsize (Kb) 104404 [startup+390.235 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1645008/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=104404 CPUtime=390.08 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24519 0 0 0 38944 64 0 0 25 0 1 0 187266083 106909696 20640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26101 20640 105 232 0 25866 0 Current children cumulated CPU time (s) 390.08 Current children cumulated vsize (Kb) 104404 [startup+400.241 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1644752/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=104664 CPUtime=400.09 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24636 0 0 0 39944 65 0 0 25 0 1 0 187266083 107175936 20724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26166 20724 105 232 0 25931 0 Current children cumulated CPU time (s) 400.09 Current children cumulated vsize (Kb) 104664 [startup+410.247 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1644560/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=104664 CPUtime=410.09 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24693 0 0 0 40943 66 0 0 25 0 1 0 187266083 107175936 20781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26166 20781 105 232 0 25931 0 Current children cumulated CPU time (s) 410.09 Current children cumulated vsize (Kb) 104664 [startup+420.253 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1644368/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=105100 CPUtime=420.09 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24772 0 0 0 41942 67 0 0 25 0 1 0 187266083 107622400 20827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26275 20827 105 232 0 26040 0 Current children cumulated CPU time (s) 420.09 Current children cumulated vsize (Kb) 105100 [startup+430.259 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1643728/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=105424 CPUtime=430.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24926 0 0 0 42942 68 0 0 25 0 1 0 187266083 107954176 20981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26356 20981 105 232 0 26121 0 Current children cumulated CPU time (s) 430.1 Current children cumulated vsize (Kb) 105424 [startup+440.265 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1643408/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=105616 CPUtime=440.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 24994 0 0 0 43941 69 0 0 25 0 1 0 187266083 108150784 21049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26404 21049 105 232 0 26169 0 Current children cumulated CPU time (s) 440.1 Current children cumulated vsize (Kb) 105616 [startup+450.271 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1642192/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=106716 CPUtime=450.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25308 0 0 0 44940 70 0 0 25 0 1 0 187266083 109277184 21363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26679 21363 105 232 0 26444 0 Current children cumulated CPU time (s) 450.1 Current children cumulated vsize (Kb) 106716 [startup+460.277 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1641936/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=106844 CPUtime=460.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25400 0 0 0 45939 71 0 0 25 0 1 0 187266083 109408256 21422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552275 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26711 21422 105 232 0 26476 0 Current children cumulated CPU time (s) 460.1 Current children cumulated vsize (Kb) 106844 [startup+470.283 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1641744/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=107260 CPUtime=470.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25447 0 0 0 46939 71 0 0 25 0 1 0 187266083 109834240 21469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26815 21469 105 232 0 26580 0 Current children cumulated CPU time (s) 470.1 Current children cumulated vsize (Kb) 107260 [startup+480.289 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1641104/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=107520 CPUtime=480.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25606 0 0 0 47938 72 0 0 25 0 1 0 187266083 110100480 21628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550040 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26880 21628 105 232 0 26645 0 Current children cumulated CPU time (s) 480.1 Current children cumulated vsize (Kb) 107520 [startup+490.295 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1640912/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=107520 CPUtime=490.1 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25653 0 0 0 48937 73 0 0 25 0 1 0 187266083 110100480 21675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26880 21675 105 232 0 26645 0 Current children cumulated CPU time (s) 490.1 Current children cumulated vsize (Kb) 107520 [startup+500.301 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1640720/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=107520 CPUtime=500.11 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25692 0 0 0 49937 74 0 0 25 0 1 0 187266083 110100480 21714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26880 21714 105 232 0 26645 0 Current children cumulated CPU time (s) 500.11 Current children cumulated vsize (Kb) 107520 [startup+510.308 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1640208/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=107960 CPUtime=510.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25819 0 0 0 50937 75 0 0 25 0 1 0 187266083 110551040 21841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 26990 21841 105 232 0 26755 0 Current children cumulated CPU time (s) 510.12 Current children cumulated vsize (Kb) 107960 [startup+520.314 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1639952/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=108428 CPUtime=520.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25904 0 0 0 51936 76 0 0 25 0 1 0 187266083 111030272 21926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550776 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27107 21926 105 232 0 26872 0 Current children cumulated CPU time (s) 520.12 Current children cumulated vsize (Kb) 108428 [startup+530.32 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1639696/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=108560 CPUtime=530.11 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 25967 0 0 0 52935 76 0 0 25 0 1 0 187266083 111165440 21989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27140 21989 105 232 0 26905 0 Current children cumulated CPU time (s) 530.11 Current children cumulated vsize (Kb) 108560 [startup+540.326 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1639568/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=108560 CPUtime=540.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26002 0 0 0 53934 78 0 0 25 0 1 0 187266083 111165440 22024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27140 22024 105 232 0 26905 0 Current children cumulated CPU time (s) 540.12 Current children cumulated vsize (Kb) 108560 [startup+550.331 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1639056/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=109056 CPUtime=550.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26122 0 0 0 54933 79 0 0 25 0 1 0 187266083 111673344 22144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27264 22144 105 232 0 27029 0 Current children cumulated CPU time (s) 550.12 Current children cumulated vsize (Kb) 109056 [startup+560.337 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1638608/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=109056 CPUtime=560.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26227 0 0 0 55932 80 0 0 25 0 1 0 187266083 111673344 22249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27264 22249 105 232 0 27029 0 Current children cumulated CPU time (s) 560.12 Current children cumulated vsize (Kb) 109056 [startup+570.342 s] /proc/loadavg: 0.99 0.98 0.91 2/67 26255 /proc/meminfo: memFree=1637712/2055888 swapFree=4085432/4096564 [pid=26255] ppid=26253 vsize=110144 CPUtime=570.12 /proc/26255/stat : 26255 (PBS4L) R 26253 26255 26210 0 -1 4194304 26460 0 0 0 56931 81 0 0 25 0 1 0 187266083 112787456 22482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/26255/statm: 27536 22482 105 232 0 27301 0 Current children cumulated CPU time (s) 570.12 Current children cumulated vsize (Kb) 110144 Child status: 0 Real time (s): 580.068 CPU time (s): 579.854 CPU user time (s): 579.012 CPU system time (s): 0.841872 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (Kb): 110144
Begin job on node80 on Fri Jun 2 02:44:35 UTC 2006 FILE ID= 40972-1149216275 PBS_JOBID= 294793 BENCH NAME= ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-40972-1149216275 -o ROOT/results/node80/solver-40972-1149216275 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/40972-1149216275/instance-40972-1149216275.opb 420586582 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931 RANDOM SEED= 420586582 /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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1727632 kB Buffers: 26984 kB Cached: 228016 kB SwapCached: 2516 kB Active: 93268 kB Inactive: 170612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1727632 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16576 kB Slab: 50952 kB Committed_AS: 246604 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 2 02:54:15 UTC 2006