Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.57 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb |
MD5SUM | 7f24dba3f3d4b877b96bd50f5b27c089 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 601.031 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | YES |
Number of variables | 595 |
Total number of constraints | 28143 |
Number of constraints which are clauses | 28143 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
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/node73/41949-1149300804/instance-41949-1149300804.opb ...... 0.17 c done parsing opb. 0.17 o 595 0.17 o 594 0.18 o 593 0.19 o 592 0.23 o 591 0.23 o 571 0.23 o 570 0.24 o 569 0.24 o 568 6.25 o 567 83.04 o 566 108.44 o 565
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/node73/watcher-41949-1149300804 -o ROOT/results/node73/solver-41949-1149300804 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 3/64 21409 /proc/meminfo: memFree=1567976/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=1536 CPUtime=0 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 171 0 0 0 0 0 0 0 18 0 1 0 195745185 1572864 151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 384 151 98 232 0 149 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1516472/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=72048 CPUtime=9.99 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 13345 0 0 0 992 7 0 0 25 0 1 0 195745185 73777152 12971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564872 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 18012 12971 108 232 0 17777 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 72048 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1506432/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=74460 CPUtime=20 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 15883 0 0 0 1991 9 0 0 25 0 1 0 195745185 76247040 15509 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 18615 15509 108 232 0 18380 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 74460 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1500032/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=76564 CPUtime=29.99 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 17467 0 0 0 2989 10 0 0 25 0 1 0 195745185 78401536 17093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 19141 17093 108 232 0 18906 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 76564 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1496896/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=79260 CPUtime=40 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 18625 0 0 0 3988 12 0 0 25 0 1 0 195745185 81162240 17866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 19815 17866 108 232 0 19580 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 79260 [startup+50.0261 s] /proc/loadavg: 0.96 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1494720/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=80432 CPUtime=50 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19185 0 0 0 4986 14 0 0 25 0 1 0 195745185 82362368 18426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 20108 18426 108 232 0 19873 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 80432 [startup+60.032 s] /proc/loadavg: 0.97 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1493376/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=81428 CPUtime=60 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19545 0 0 0 5984 16 0 0 25 0 1 0 195745185 83382272 18786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 20357 18786 108 232 0 20122 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 81428 [startup+70.038 s] /proc/loadavg: 0.97 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1492672/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=81936 CPUtime=70 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 19719 0 0 0 6983 17 0 0 25 0 1 0 195745185 83902464 18960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 20484 18960 108 232 0 20249 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 81936 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1491008/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=82300 CPUtime=80 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20124 0 0 0 7982 18 0 0 25 0 1 0 195745185 84275200 19365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 20575 19365 108 232 0 20340 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 82300 [startup+90.0499 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1490240/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=82908 CPUtime=90.01 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20319 0 0 0 8981 20 0 0 25 0 1 0 195745185 84897792 19560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 20727 19560 108 232 0 20492 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 82908 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1489088/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=84184 CPUtime=100.01 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20598 0 0 0 9980 21 0 0 25 0 1 0 195745185 86204416 19839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611550 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 21046 19839 108 232 0 20811 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 84184 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1488192/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=84976 CPUtime=110.01 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 20826 0 0 0 10978 23 0 0 25 0 1 0 195745185 87015424 20067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 21244 20067 108 232 0 21009 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 84976 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1487040/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=86256 CPUtime=120.02 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 21107 0 0 0 11977 25 0 0 25 0 1 0 195745185 88326144 20348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 21564 20348 108 232 0 21329 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86256 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1486528/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=89608 CPUtime=130.01 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 21992 0 0 0 12975 26 0 0 25 0 1 0 195745185 91758592 20464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22402 20464 108 232 0 22167 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 89608 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1486016/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=90084 CPUtime=140.02 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22141 0 0 0 13974 28 0 0 25 0 1 0 195745185 92246016 20613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22521 20613 108 232 0 22286 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 90084 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1485632/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=90408 CPUtime=150.02 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22244 0 0 0 14973 29 0 0 25 0 1 0 195745185 92577792 20716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22602 20716 108 232 0 22367 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 90408 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1485056/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=90744 CPUtime=160.02 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22376 0 0 0 15972 30 0 0 25 0 1 0 195745185 92921856 20848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22686 20848 108 232 0 22451 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 90744 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1484736/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=90928 CPUtime=170.02 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22456 0 0 0 16971 31 0 0 25 0 1 0 195745185 93110272 20928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564517 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22732 20928 108 232 0 22497 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 90928 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1484416/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=90928 CPUtime=180.03 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22543 0 0 0 17970 33 0 0 25 0 1 0 195745185 93110272 21015 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564471 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22732 21015 108 232 0 22497 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 90928 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1484032/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=91284 CPUtime=190.03 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22651 0 0 0 18969 34 0 0 25 0 1 0 195745185 93474816 21123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617577 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22821 21123 108 232 0 22586 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 91284 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1483520/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=91812 CPUtime=200.03 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 22769 0 0 0 19968 35 0 0 25 0 1 0 195745185 94015488 21241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 22953 21241 108 232 0 22718 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 91812 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.96 2/64 21409 /proc/meminfo: memFree=1482816/2055920 swapFree=4182212/4192956 ################ # More data... # ################ /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37065 0 0 0 177975 170 0 0 25 0 1 0 195745185 134905856 30927 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611571 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30927 108 232 0 32701 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 131744 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1782.45 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37067 0 0 0 178075 170 0 0 25 0 1 0 195745185 134905856 30929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30929 108 232 0 32701 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 131744 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1783.46 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37068 0 0 0 178176 170 0 0 25 0 1 0 195745185 134905856 30930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30930 108 232 0 32701 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 131744 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1784.46 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37075 0 0 0 178276 170 0 0 25 0 1 0 195745185 134905856 30937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30937 108 232 0 32701 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 131744 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444480/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1785.46 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37077 0 0 0 178376 170 0 0 25 0 1 0 195745185 134905856 30939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30939 108 232 0 32701 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 131744 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1786.47 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37083 0 0 0 178477 170 0 0 25 0 1 0 195745185 134905856 30945 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558780 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30945 108 232 0 32701 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 131744 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1787.48 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37085 0 0 0 178577 171 0 0 25 0 1 0 195745185 134905856 30947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30947 108 232 0 32701 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 131744 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1788.49 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37091 0 0 0 178678 171 0 0 25 0 1 0 195745185 134905856 30953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30953 108 232 0 32701 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 131744 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444416/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1789.49 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37094 0 0 0 178778 171 0 0 25 0 1 0 195745185 134905856 30956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30956 108 232 0 32701 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 131744 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1790.49 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37100 0 0 0 178878 171 0 0 25 0 1 0 195745185 134905856 30962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30962 108 232 0 32701 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 131744 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1791.5 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37103 0 0 0 178979 171 0 0 25 0 1 0 195745185 134905856 30965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546240 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30965 108 232 0 32701 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 131744 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444352/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1792.5 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37109 0 0 0 179079 171 0 0 25 0 1 0 195745185 134905856 30971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30971 108 232 0 32701 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 131744 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131744 CPUtime=1793.5 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37115 0 0 0 179179 171 0 0 25 0 1 0 195745185 134905856 30977 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550813 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32936 30977 108 232 0 32701 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 131744 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1794.51 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37123 0 0 0 179280 171 0 0 25 0 1 0 195745185 135069696 30985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 30985 108 232 0 32741 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 131904 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1795.51 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37124 0 0 0 179380 171 0 0 25 0 1 0 195745185 135069696 30986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 30986 108 232 0 32741 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 131904 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444288/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1796.52 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37125 0 0 0 179480 172 0 0 25 0 1 0 195745185 135069696 30987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 30987 108 232 0 32741 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 131904 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444224/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1797.53 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37137 0 0 0 179581 172 0 0 25 0 1 0 195745185 135069696 30999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 30999 108 232 0 32741 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 131904 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444160/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1798.53 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37145 0 0 0 179681 172 0 0 25 0 1 0 195745185 135069696 31007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 31007 108 232 0 32741 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 131904 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444160/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1799.54 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37157 0 0 0 179782 172 0 0 25 0 1 0 195745185 135069696 31019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 31019 108 232 0 32741 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 131904 [startup+1801.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444096/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1800.54 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37159 0 0 0 179882 172 0 0 25 0 1 0 195745185 135069696 31021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 31021 108 232 0 32741 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 131904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 0.96 2/64 21411 /proc/meminfo: memFree=1444096/2055920 swapFree=4182212/4192956 [pid=21409] ppid=21407 vsize=131904 CPUtime=1800.55 /proc/21409/stat : 21409 (PBS4L) R 21407 21409 21363 0 -1 4194304 37159 0 0 0 179883 172 0 0 25 0 1 0 195745185 135069696 31021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549019 0 0 4096 0 0 0 0 17 1 0 0 /proc/21409/statm: 32976 31021 108 232 0 32741 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 131904 Sending SIGTERM to -21409 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.25 CPU time (s): 1800.57 CPU user time (s): 1798.83 CPU system time (s): 1.74273 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (Kb): 131904 The end
Begin job on node73 on Sat Jun 3 02:13:24 UTC 2006 FILE ID= 41949-1149300804 PBS_JOBID= 307357 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-41949-1149300804 -o ROOT/results/node73/solver-41949-1149300804 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node73/41949-1149300804/instance-41949-1149300804.opb 700211596 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 7f24dba3f3d4b877b96bd50f5b27c089 RANDOM SEED= 700211596 /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.261 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.261 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: 1568184 kB Buffers: 33768 kB Cached: 381200 kB SwapCached: 2348 kB Active: 31556 kB Inactive: 392064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568184 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15068 kB Slab: 50152 kB Committed_AS: 291644 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 3 02:43:25 UTC 2006