Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.71 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16a1.opb |
MD5SUM | f385fcab37e162e321ef096cfb16e5e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1096 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1096 |
Optimality of the best value was proved | NO |
Number of variables | 3300 |
Total number of constraints | 21018 |
Number of constraints which are clauses | 21018 |
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 | 16 |
Number of terms in the objective function | 3300 |
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 | 3300 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3300 |
Number of bits of the biggest sum of numbers | 12 |
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/node27/41761-1149412059/instance-41761-1149412059.opb ...... 0.53 c done parsing opb. 0.53 o 1650 0.68 o 1649 0.73 o 1648 0.90 o 1647 0.95 o 1645 1.01 o 1644 1.05 o 1643 1.12 o 1642 1.16 o 1641 1.25 o 1640 1.30 o 1639 1.35 o 1638 1.39 o 1637 1.44 o 1636 1.50 o 1635 1.55 o 1634 1.59 o 1633 1.64 o 1632 1.72 o 1631 1.76 o 1630 1.82 o 1629 1.87 o 1628 1.90 o 1627 1.95 o 1626 2.01 o 1625 2.09 o 1624 2.17 o 1623 2.19 o 1622 2.23 o 1621 2.28 o 1620 2.34 o 1619 2.40 o 1618 2.44 o 1617 2.47 o 1616 2.51 o 1615 2.54 o 1614 2.58 o 1613 2.63 o 1612 2.67 o 1611 2.69 o 1610 2.72 o 1609 2.74 o 1608 2.77 o 1607 2.80 o 1606 2.82 o 1605 2.85 o 1604 2.87 o 1603 2.90 o 1602 2.92 o 1601 2.95 o 1600 2.97 o 1599 3.00 o 1598 3.03 o 1597 3.05 o 1596 3.08 o 1595 3.15 o 1594 3.18 o 1593 3.20 o 1592 4.40 o 1591 5.72 o 1590 5.90 o 1589 6.08 o 1588 6.11 o 1587 6.23 o 1586 6.28 o 1585 6.33 o 1579 6.42 o 1578 6.49 o 1577 6.67 o 1576 6.72 o 1575 6.80 o 1574 7.81 o 1573 8.95 o 1572 9.13 o 1571 9.44 o 1570 26.27 o 1555 217.44 o 1554
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/node27/watcher-41761-1149412059 -o ROOT/results/node27/solver-41761-1149412059 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41761-1149412059/instance-41761-1149412059.opb 564307901 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1861280/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=1368 CPUtime=0 /proc/8590/stat : 8590 (PBS4L) D 8588 8590 8544 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 206869418 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8590/statm: 342 95 84 232 0 107 0 [startup+10.0029 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1823272/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=69028 CPUtime=9.99 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 9789 0 0 0 988 11 0 0 25 0 1 0 206869418 70684672 9613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 17257 9613 108 232 0 17022 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 69028 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1783152/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=134696 CPUtime=19.99 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 19797 0 0 0 1984 15 0 0 25 0 1 0 206869418 137928704 19621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 33674 19621 108 232 0 33439 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 134696 [startup+30.0149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1782576/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=134976 CPUtime=29.99 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 19949 0 0 0 2978 21 0 0 25 0 1 0 206869418 138215424 19773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564476 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 33744 19773 108 232 0 33509 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134976 [startup+40.0209 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781808/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=135084 CPUtime=40 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20147 0 0 0 3975 25 0 0 25 0 1 0 206869418 138326016 19971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 33771 19971 108 232 0 33536 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 135084 [startup+50.027 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781680/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=135984 CPUtime=50 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20373 0 0 0 4970 30 0 0 25 0 1 0 206869418 139247616 20004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 33996 20004 108 232 0 33761 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135984 [startup+60.033 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781744/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=135984 CPUtime=60 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20399 0 0 0 5965 35 0 0 25 0 1 0 206869418 139247616 20030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 33996 20030 108 232 0 33761 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135984 [startup+70.039 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136140 CPUtime=70 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20432 0 0 0 6961 39 0 0 25 0 1 0 206869418 139407360 20063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34035 20063 108 232 0 33800 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 136140 [startup+80.0451 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136140 CPUtime=80.01 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20464 0 0 0 7959 42 0 0 25 0 1 0 206869418 139407360 20095 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34035 20095 108 232 0 33800 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136140 [startup+90.0511 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781296/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136256 CPUtime=90.02 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20499 0 0 0 8954 48 0 0 25 0 1 0 206869418 139526144 20130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549245 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34064 20130 108 232 0 33829 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 136256 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781168/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136420 CPUtime=100.01 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20525 0 0 0 9949 52 0 0 25 0 1 0 206869418 139694080 20156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34105 20156 108 232 0 33870 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136420 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1781104/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136420 CPUtime=110.01 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20553 0 0 0 10945 56 0 0 25 0 1 0 206869418 139694080 20184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34105 20184 108 232 0 33870 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 136420 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780976/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136532 CPUtime=120.02 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20583 0 0 0 11942 60 0 0 25 0 1 0 206869418 139808768 20214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34133 20214 108 232 0 33898 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136532 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780848/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136532 CPUtime=130.03 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20612 0 0 0 12938 65 0 0 25 0 1 0 206869418 139808768 20243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34133 20243 108 232 0 33898 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 136532 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780720/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136644 CPUtime=140.03 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20644 0 0 0 13933 70 0 0 25 0 1 0 206869418 139923456 20275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549082 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34161 20275 108 232 0 33926 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 136644 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780592/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136752 CPUtime=150.03 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20677 0 0 0 14930 73 0 0 25 0 1 0 206869418 140034048 20308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34188 20308 108 232 0 33953 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 136752 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780464/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136752 CPUtime=160.03 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20708 0 0 0 15924 79 0 0 25 0 1 0 206869418 140034048 20339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34188 20339 108 232 0 33953 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 136752 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780336/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136868 CPUtime=170.04 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20736 0 0 0 16919 85 0 0 25 0 1 0 206869418 140152832 20367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34217 20367 108 232 0 33982 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 136868 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780208/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136980 CPUtime=180.05 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20767 0 0 0 17916 89 0 0 25 0 1 0 206869418 140267520 20398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34245 20398 108 232 0 34010 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 136980 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780080/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=136980 CPUtime=190.05 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20791 0 0 0 18912 93 0 0 25 0 1 0 206869418 140267520 20422 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34245 20422 108 232 0 34010 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 136980 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1780016/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=137112 CPUtime=200.05 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 20820 0 0 0 19909 96 0 0 25 0 1 0 206869418 140402688 20451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 34278 20451 108 232 0 34043 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 137112 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8590 /proc/meminfo: memFree=1779696/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26986 0 0 0 177875 285 0 0 25 0 1 0 206869418 159326208 23926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23926 108 232 0 38663 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 155592 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1782.6 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26987 0 0 0 177975 285 0 0 25 0 1 0 206869418 159326208 23927 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23927 108 232 0 38663 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 155592 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1783.6 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26993 0 0 0 178075 285 0 0 25 0 1 0 206869418 159326208 23933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23933 108 232 0 38663 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 155592 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1784.61 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26993 0 0 0 178176 285 0 0 25 0 1 0 206869418 159326208 23933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23933 108 232 0 38663 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 155592 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1785.61 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26994 0 0 0 178276 285 0 0 25 0 1 0 206869418 159326208 23934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23934 108 232 0 38663 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 155592 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1786.62 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 26995 0 0 0 178376 286 0 0 25 0 1 0 206869418 159326208 23935 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23935 108 232 0 38663 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 155592 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765552/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1787.63 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27000 0 0 0 178477 286 0 0 25 0 1 0 206869418 159326208 23940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23940 108 232 0 38663 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 155592 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1788.63 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27001 0 0 0 178577 286 0 0 25 0 1 0 206869418 159326208 23941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23941 108 232 0 38663 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 155592 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1789.64 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27002 0 0 0 178678 286 0 0 25 0 1 0 206869418 159326208 23942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23942 108 232 0 38663 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 155592 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1790.64 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27003 0 0 0 178778 286 0 0 25 0 1 0 206869418 159326208 23943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23943 108 232 0 38663 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 155592 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1791.64 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27003 0 0 0 178878 286 0 0 25 0 1 0 206869418 159326208 23943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23943 108 232 0 38663 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 155592 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1792.65 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27008 0 0 0 178979 286 0 0 25 0 1 0 206869418 159326208 23948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23948 108 232 0 38663 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 155592 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1793.65 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27009 0 0 0 179079 286 0 0 25 0 1 0 206869418 159326208 23949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23949 108 232 0 38663 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 155592 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1794.65 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27010 0 0 0 179179 286 0 0 25 0 1 0 206869418 159326208 23950 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612773 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23950 108 232 0 38663 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 155592 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765488/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1795.66 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27014 0 0 0 179280 286 0 0 25 0 1 0 206869418 159326208 23954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23954 108 232 0 38663 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 155592 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1796.66 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27016 0 0 0 179380 286 0 0 25 0 1 0 206869418 159326208 23956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23956 108 232 0 38663 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 155592 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1797.67 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27017 0 0 0 179480 287 0 0 25 0 1 0 206869418 159326208 23957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23957 108 232 0 38663 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 155592 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1798.68 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27018 0 0 0 179581 287 0 0 25 0 1 0 206869418 159326208 23958 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23958 108 232 0 38663 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 155592 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1799.68 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27018 0 0 0 179681 287 0 0 25 0 1 0 206869418 159326208 23958 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23958 108 232 0 38663 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 155592 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1800.69 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27019 0 0 0 179782 287 0 0 25 0 1 0 206869418 159326208 23959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23959 108 232 0 38663 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 155592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 8592 /proc/meminfo: memFree=1765424/2055920 swapFree=4180900/4192956 [pid=8590] ppid=8588 vsize=155592 CPUtime=1800.69 /proc/8590/stat : 8590 (PBS4L) R 8588 8590 8544 0 -1 4194304 27019 0 0 0 179782 287 0 0 25 0 1 0 206869418 159326208 23959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8590/statm: 38898 23959 108 232 0 38663 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 155592 Sending SIGTERM to -8590 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.71 CPU user time (s): 1797.82 CPU system time (s): 2.88856 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (Kb): 155592 The end
Begin job on node27 on Sun Jun 4 09:07:39 UTC 2006 FILE ID= 41761-1149412059 PBS_JOBID= 314912 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41761-1149412059/instance-41761-1149412059.opb 564307901 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-41761-1149412059 -o ROOT/results/node27/solver-41761-1149412059 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41761-1149412059/instance-41761-1149412059.opb 564307901 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f385fcab37e162e321ef096cfb16e5e9 RANDOM SEED= 564307901 /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.234 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.234 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: 1861552 kB Buffers: 15716 kB Cached: 115504 kB SwapCached: 3692 kB Active: 46468 kB Inactive: 93312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1861552 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14776 kB Slab: 40656 kB Committed_AS: 446704 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Sun Jun 4 09:37:41 UTC 2006