Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.67 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 64 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
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/41685-1149399493/instance-41685-1149399493.opb ...... 0.22 c done parsing opb. 0.22 o 80 0.72 o 78 0.84 o 74 4.22 o 72 66.15 o 70 74.02 o 68 1401.32 o 66
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-41685-1149399493 -o ROOT/results/node63/solver-41685-1149399493 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/41685-1149399493/instance-41685-1149399493.opb 910004324 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 31762 /proc/meminfo: memFree=1601880/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=1400 CPUtime=0 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 205516510 1433600 143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615395 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 350 143 99 232 0 115 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.95 0.98 2/64 31762 /proc/meminfo: memFree=1589544/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=22028 CPUtime=9.99 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 3551 0 0 0 993 6 0 0 25 0 1 0 205516510 22556672 3184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553171 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 5507 3184 108 232 0 5272 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 22028 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1584424/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=23480 CPUtime=19.99 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 4827 0 0 0 1990 9 0 0 25 0 1 0 205516510 24043520 4460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 5870 4460 108 232 0 5635 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 23480 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1581096/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=26200 CPUtime=30 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 6014 0 0 0 2989 11 0 0 25 0 1 0 205516510 26828800 5262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 6550 5262 108 232 0 6315 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26200 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1577704/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=27412 CPUtime=40 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 6916 0 0 0 3986 14 0 0 25 0 1 0 205516510 28069888 6164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550031 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 6853 6164 108 232 0 6618 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 27412 [startup+50.027 s] /proc/loadavg: 0.96 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1574696/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=44972 CPUtime=50 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 7661 0 0 0 4983 17 0 0 25 0 1 0 205516510 46051328 6909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 11243 6909 108 232 0 11008 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 44972 [startup+60.0331 s] /proc/loadavg: 0.97 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1573800/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=45672 CPUtime=60 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 7890 0 0 0 5981 19 0 0 25 0 1 0 205516510 46768128 7138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 11418 7138 108 232 0 11183 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 45672 [startup+70.0391 s] /proc/loadavg: 0.97 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1571048/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=46616 CPUtime=70.01 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 8570 0 0 0 6980 21 0 0 25 0 1 0 205516510 47734784 7818 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 11654 7818 108 232 0 11419 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 46616 [startup+80.0452 s] /proc/loadavg: 0.98 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1570408/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=46964 CPUtime=80.02 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 8733 0 0 0 7978 24 0 0 25 0 1 0 205516510 48091136 7981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 11741 7981 108 232 0 11506 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 46964 [startup+90.0513 s] /proc/loadavg: 0.98 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1569768/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=50476 CPUtime=90.02 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 9662 0 0 0 8976 26 0 0 25 0 1 0 205516510 51687424 8141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 12619 8141 108 232 0 12384 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 50476 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1567400/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=50948 CPUtime=100.03 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 10240 0 0 0 9975 28 0 0 25 0 1 0 205516510 52170752 8719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 12737 8719 108 232 0 12502 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 50948 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/64 31762 /proc/meminfo: memFree=1564968/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=51588 CPUtime=110.03 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 10848 0 0 0 10973 30 0 0 25 0 1 0 205516510 52826112 9327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 12897 9327 108 232 0 12662 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 51588 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1563688/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=51952 CPUtime=120.02 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 11167 0 0 0 11971 31 0 0 25 0 1 0 205516510 53198848 9646 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 12988 9646 108 232 0 12753 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 51952 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1562600/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=52296 CPUtime=130.03 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 11441 0 0 0 12969 34 0 0 25 0 1 0 205516510 53551104 9920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13074 9920 108 232 0 12839 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 52296 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1561192/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=52680 CPUtime=140.03 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 11790 0 0 0 13968 35 0 0 25 0 1 0 205516510 53944320 10269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13170 10269 108 232 0 12935 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 52680 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1560488/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=53076 CPUtime=150.04 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 11974 0 0 0 14966 38 0 0 25 0 1 0 205516510 54349824 10453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552140 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13269 10453 108 232 0 13034 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 53076 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1558568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=53268 CPUtime=160.05 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 12447 0 0 0 15966 39 0 0 25 0 1 0 205516510 54546432 10926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13317 10926 108 232 0 13082 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 53268 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1555880/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=54060 CPUtime=170.05 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 13113 0 0 0 16964 41 0 0 25 0 1 0 205516510 55357440 11592 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13515 11592 108 232 0 13280 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 54060 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1552808/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=54828 CPUtime=180.05 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 13894 0 0 0 17962 43 0 0 25 0 1 0 205516510 56143872 12373 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13707 12373 108 232 0 13472 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 54828 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1551272/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=55636 CPUtime=190.06 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 14265 0 0 0 18962 44 0 0 25 0 1 0 205516510 56971264 12744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 13909 12744 108 232 0 13674 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 55636 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1549288/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=88404 CPUtime=200.06 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 14766 0 0 0 19960 46 0 0 25 0 1 0 205516510 90525696 13245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 22101 13245 108 232 0 21866 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 88404 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31762 /proc/meminfo: memFree=1548712/2055920 swapFree=4182320/4192956 ################ # More data... # ################ /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37670 0 0 0 177936 218 0 0 25 0 1 0 205516510 142925824 31539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31539 108 232 0 34659 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 139576 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475632/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1782.55 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37672 0 0 0 178037 218 0 0 25 0 1 0 205516510 142925824 31541 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31541 108 232 0 34659 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 139576 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1783.55 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37675 0 0 0 178137 218 0 0 25 0 1 0 205516510 142925824 31544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551257 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31544 108 232 0 34659 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 139576 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1784.55 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37677 0 0 0 178237 218 0 0 25 0 1 0 205516510 142925824 31546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630288 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31546 108 232 0 34659 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 139576 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1785.56 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37680 0 0 0 178337 219 0 0 25 0 1 0 205516510 142925824 31549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31549 108 232 0 34659 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 139576 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1786.57 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37684 0 0 0 178438 219 0 0 25 0 1 0 205516510 142925824 31553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31553 108 232 0 34659 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 139576 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475568/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1787.57 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37686 0 0 0 178538 219 0 0 25 0 1 0 205516510 142925824 31555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552269 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31555 108 232 0 34659 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 139576 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475504/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1788.58 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37690 0 0 0 178639 219 0 0 25 0 1 0 205516510 142925824 31559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31559 108 232 0 34659 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 139576 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475504/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1789.58 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37691 0 0 0 178739 219 0 0 25 0 1 0 205516510 142925824 31560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31560 108 232 0 34659 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 139576 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475504/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1790.58 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37695 0 0 0 178839 219 0 0 25 0 1 0 205516510 142925824 31564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31564 108 232 0 34659 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 139576 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475504/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1791.58 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37698 0 0 0 178939 219 0 0 25 0 1 0 205516510 142925824 31567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31567 108 232 0 34659 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 139576 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475504/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1792.59 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37703 0 0 0 179040 219 0 0 25 0 1 0 205516510 142925824 31572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31572 108 232 0 34659 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 139576 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475376/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1793.6 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37730 0 0 0 179140 220 0 0 25 0 1 0 205516510 142925824 31599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31599 108 232 0 34659 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 139576 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475376/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1794.6 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37733 0 0 0 179240 220 0 0 25 0 1 0 205516510 142925824 31602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31602 108 232 0 34659 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 139576 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475376/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1795.61 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37736 0 0 0 179341 220 0 0 25 0 1 0 205516510 142925824 31605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31605 108 232 0 34659 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 139576 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475248/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1796.61 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37757 0 0 0 179441 220 0 0 25 0 1 0 205516510 142925824 31626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31626 108 232 0 34659 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 139576 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475248/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1797.62 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37761 0 0 0 179542 220 0 0 25 0 1 0 205516510 142925824 31630 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31630 108 232 0 34659 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 139576 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475248/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1798.62 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37762 0 0 0 179642 220 0 0 25 0 1 0 205516510 142925824 31631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31631 108 232 0 34659 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 139576 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475248/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1799.62 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37764 0 0 0 179742 220 0 0 25 0 1 0 205516510 142925824 31633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31633 108 232 0 34659 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 139576 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475184/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1800.63 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37772 0 0 0 179843 220 0 0 25 0 1 0 205516510 142925824 31641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31641 108 232 0 34659 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 139576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 31959 /proc/meminfo: memFree=1475184/2055920 swapFree=4182320/4192956 [pid=31762] ppid=31760 vsize=139576 CPUtime=1800.63 /proc/31762/stat : 31762 (PBS4L) R 31760 31762 31716 0 -1 4194304 37772 0 0 0 179843 220 0 0 25 0 1 0 205516510 142925824 31641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/31762/statm: 34894 31641 108 232 0 34659 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 139576 Sending SIGTERM to -31762 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.67 CPU user time (s): 1798.44 CPU system time (s): 2.22766 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (Kb): 139576 The end
Begin job on node63 on Sun Jun 4 05:38:14 UTC 2006 FILE ID= 41685-1149399493 PBS_JOBID= 313917 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/41685-1149399493/instance-41685-1149399493.opb 910004324 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-41685-1149399493 -o ROOT/results/node63/solver-41685-1149399493 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node63/41685-1149399493/instance-41685-1149399493.opb 910004324 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED= 910004324 /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: 1602088 kB Buffers: 27084 kB Cached: 357432 kB SwapCached: 2336 kB Active: 128640 kB Inactive: 264512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1602088 kB SwapTotal: 4192956 kB SwapFree: 4182320 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15864 kB Slab: 46628 kB Committed_AS: 385116 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sun Jun 4 06:08:15 UTC 2006