Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.59 | 1801.24 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb |
MD5SUM | 0d2d0c8fcbbf85b522a59ecd3e43cd8e |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.041992 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1785 |
Total number of constraints | 1293 |
Number of constraints which are clauses | 1224 |
Number of constraints which are cardinality constraints (but not clauses) | 69 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 35 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
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/node44/41100-1149231179/instance-41100-1149231179.opb ......
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/node44/watcher-41100-1149231179 -o ROOT/results/node44/solver-41100-1149231179 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 2/64 10559 /proc/meminfo: memFree=1425888/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=1568 CPUtime=0 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 188784788 1605632 185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867652 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 392 185 100 232 0 157 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.92 2/64 10559 /proc/meminfo: memFree=1390704/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=38936 CPUtime=9.99 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 8906 0 0 0 989 10 0 0 25 0 1 0 188784788 39870464 8882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 9734 8882 105 232 0 9499 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38936 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1377840/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=73432 CPUtime=20 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 12175 0 0 0 1986 14 0 0 25 0 1 0 188784788 75194368 12102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549062 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 18358 12102 105 232 0 18123 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 73432 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1376048/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=74904 CPUtime=30 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 12726 0 0 0 2985 15 0 0 25 0 1 0 188784788 76701696 12556 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549045 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 18726 12556 105 232 0 18491 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 74904 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1355440/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=76436 CPUtime=40 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 17847 0 0 0 3981 19 0 0 25 0 1 0 188784788 78270464 17677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 19109 17677 105 232 0 18874 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 76436 [startup+50.0257 s] /proc/loadavg: 0.96 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1336176/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=145348 CPUtime=50 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 22672 0 0 0 4979 21 0 0 25 0 1 0 188784788 148836352 22502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 36337 22502 105 232 0 36102 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 145348 [startup+60.0316 s] /proc/loadavg: 0.97 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1322864/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=147240 CPUtime=60 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 25999 0 0 0 5976 24 0 0 25 0 1 0 188784788 150773760 25829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 36810 25829 105 232 0 36575 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 147240 [startup+70.0374 s] /proc/loadavg: 0.97 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1308336/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=152768 CPUtime=70 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 29616 0 0 0 6974 26 0 0 25 0 1 0 188784788 156434432 29446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 38192 29446 105 232 0 37957 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 152768 [startup+80.0433 s] /proc/loadavg: 0.98 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1293744/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=155424 CPUtime=80 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 33450 0 0 0 7971 29 0 0 25 0 1 0 188784788 159154176 33087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549025 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 38856 33087 105 232 0 38621 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 155424 [startup+90.0491 s] /proc/loadavg: 0.98 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1286896/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=157496 CPUtime=90.01 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 35163 0 0 0 8971 30 0 0 25 0 1 0 188784788 161275904 34800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558988 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 39374 34800 105 232 0 39139 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 157496 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1274160/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=162792 CPUtime=100.01 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 38336 0 0 0 9969 32 0 0 25 0 1 0 188784788 166699008 37973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558853 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 40698 37973 105 232 0 40463 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 162792 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.92 2/64 10559 /proc/meminfo: memFree=1260400/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=297432 CPUtime=110.02 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 41713 0 0 0 10966 36 0 0 25 0 1 0 188784788 304570368 41350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 74358 41350 105 232 0 74123 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 297432 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1250544/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=303576 CPUtime=120.02 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 44159 0 0 0 11965 37 0 0 25 0 1 0 188784788 310861824 43796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559004 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 75894 43796 105 232 0 75659 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 303576 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1237872/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=306444 CPUtime=130.02 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 47330 0 0 0 12963 39 0 0 25 0 1 0 188784788 313798656 46967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552279 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 76611 46968 105 232 0 76376 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 306444 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1223216/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=306828 CPUtime=140.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 50979 0 0 0 13962 41 0 0 25 0 1 0 188784788 314191872 50616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 76707 50616 105 232 0 76472 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 306828 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1215024/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=311376 CPUtime=150.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 53026 0 0 0 14961 42 0 0 25 0 1 0 188784788 318849024 52663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 77844 52663 105 232 0 77609 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 311376 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1203888/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=320220 CPUtime=160.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 55798 0 0 0 15959 44 0 0 25 0 1 0 188784788 327905280 55435 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 80055 55435 105 232 0 79820 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 320220 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1193904/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=321000 CPUtime=170.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 58293 0 0 0 16958 45 0 0 25 0 1 0 188784788 328704000 57930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 80250 57930 105 232 0 80015 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 321000 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1186736/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=326496 CPUtime=180.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 60073 0 0 0 17957 46 0 0 25 0 1 0 188784788 334331904 59710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585540 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 81624 59710 105 232 0 81389 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 326496 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1179504/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=327216 CPUtime=190.03 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 61879 0 0 0 18956 47 0 0 25 0 1 0 188784788 335069184 61516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 81804 61516 105 232 0 81569 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 327216 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1171696/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=330332 CPUtime=200.04 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 64164 0 0 0 19955 49 0 0 25 0 1 0 188784788 338259968 63416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 82583 63416 105 232 0 82348 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 330332 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.92 2/64 10559 /proc/meminfo: memFree=1170544/2055920 swapFree=4181400/4192956 ################ # More data... # ################ /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102993 0 0 0 178003 139 0 0 25 0 1 0 188784788 569405440 99939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99939 105 232 0 138780 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 556060 [startup+1783.08 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1782.44 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102994 0 0 0 178104 140 0 0 25 0 1 0 188784788 569405440 99940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559040 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99940 105 232 0 138780 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 556060 [startup+1784.08 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1783.44 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102994 0 0 0 178204 140 0 0 25 0 1 0 188784788 569405440 99940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99940 105 232 0 138780 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 556060 [startup+1785.09 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1784.45 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102996 0 0 0 178305 140 0 0 25 0 1 0 188784788 569405440 99942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99942 105 232 0 138780 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 556060 [startup+1786.09 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1785.45 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102997 0 0 0 178405 140 0 0 25 0 1 0 188784788 569405440 99943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99943 105 232 0 138780 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 556060 [startup+1787.1 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1786.45 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102998 0 0 0 178505 140 0 0 25 0 1 0 188784788 569405440 99944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99944 105 232 0 138780 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 556060 [startup+1788.1 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1787.46 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103002 0 0 0 178606 140 0 0 25 0 1 0 188784788 569405440 99948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564924 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99948 105 232 0 138780 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 556060 [startup+1789.11 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1788.46 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103003 0 0 0 178706 140 0 0 25 0 1 0 188784788 569405440 99949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99949 105 232 0 138780 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 556060 [startup+1790.11 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1789.47 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103005 0 0 0 178807 140 0 0 25 0 1 0 188784788 569405440 99951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99951 105 232 0 138780 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 556060 [startup+1791.12 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1790.47 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103005 0 0 0 178907 140 0 0 25 0 1 0 188784788 569405440 99951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99951 105 232 0 138780 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 556060 [startup+1792.12 s] /proc/loadavg: 1.04 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1791.48 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103006 0 0 0 179008 140 0 0 25 0 1 0 188784788 569405440 99952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99952 105 232 0 138780 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 556060 [startup+1793.13 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1792.48 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103007 0 0 0 179108 140 0 0 25 0 1 0 188784788 569405440 99953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134857060 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99953 105 232 0 138780 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 556060 [startup+1794.13 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024368/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556060 CPUtime=1793.48 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103015 0 0 0 179208 140 0 0 25 0 1 0 188784788 569405440 99961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139015 99961 105 232 0 138780 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 556060 [startup+1795.14 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024304/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1794.49 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103044 0 0 0 179309 140 0 0 25 0 1 0 188784788 569540608 99990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 99990 105 232 0 138813 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 556192 [startup+1796.14 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024304/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1795.49 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103045 0 0 0 179409 140 0 0 25 0 1 0 188784788 569540608 99991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 99991 105 232 0 138813 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 556192 [startup+1797.15 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024240/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1796.49 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103047 0 0 0 179509 140 0 0 25 0 1 0 188784788 569540608 99993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549536 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 99993 105 232 0 138813 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 556192 [startup+1798.15 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024240/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1797.5 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103053 0 0 0 179610 140 0 0 25 0 1 0 188784788 569540608 99999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 99999 105 232 0 138813 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 556192 [startup+1799.16 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1798.5 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103066 0 0 0 179710 140 0 0 25 0 1 0 188784788 569540608 100012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 100012 105 232 0 138813 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 556192 [startup+1800.16 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1799.51 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103067 0 0 0 179810 141 0 0 25 0 1 0 188784788 569540608 100013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 100013 105 232 0 138813 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 556192 [startup+1801.16 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1800.52 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103068 0 0 0 179911 141 0 0 25 0 1 0 188784788 569540608 100014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 100014 105 232 0 138813 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 556192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.03 0.99 0.93 2/64 10754 /proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956 [pid=10559] ppid=10557 vsize=556192 CPUtime=1800.52 /proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103068 0 0 0 179911 141 0 0 25 0 1 0 188784788 569540608 100014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10559/statm: 139048 100014 105 232 0 138813 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 556192 Sending SIGTERM to -10559 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.59 CPU user time (s): 1799.12 CPU system time (s): 1.47478 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (Kb): 556192 The end
Begin job on node44 on Fri Jun 2 06:52:59 UTC 2006 FILE ID= 41100-1149231179 PBS_JOBID= 296457 BENCH NAME= ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-41100-1149231179 -o ROOT/results/node44/solver-41100-1149231179 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0d2d0c8fcbbf85b522a59ecd3e43cd8e RANDOM SEED= 40319760 /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: 1426104 kB Buffers: 22172 kB Cached: 536020 kB SwapCached: 3488 kB Active: 65560 kB Inactive: 501616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1426104 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14936 kB Slab: 48620 kB Committed_AS: 216776 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 node44 on Fri Jun 2 07:23:01 UTC 2006