Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 259 |
Best CPU time to get the best result obtained on this benchmark | 95.8174 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | YES |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
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 | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 1278 |
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 | 1278 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1278 |
Number of bits of the biggest sum of numbers | 11 |
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/node48/41721-1149405751/instance-41721-1149405751.opb ...... 0.04 c done parsing opb. 0.04 o 1212 0.05 o 1211 0.06 o 1091 0.06 o 1090 0.07 o 1089 0.08 o 1087 0.09 o 1086 0.09 o 1084 0.10 o 1083 0.11 o 1082 0.11 o 1080 0.12 o 1079 0.13 o 814 0.14 o 807 0.14 o 801 0.47 o 800 0.48 o 474 0.48 o 473 0.48 o 455 0.49 o 454 0.49 o 453 0.50 o 452 0.50 o 451 0.50 o 450 0.51 o 449 0.51 o 448 0.52 o 447 0.53 o 446 0.53 o 382 0.54 o 373 0.54 o 371 0.54 o 370 0.55 o 369 0.56 o 367 0.56 o 365 0.56 o 364 0.57 o 363 0.57 o 362 0.58 o 346 0.58 o 345 0.58 o 344 0.59 o 343 0.59 o 342 0.60 o 341 0.90 o 340
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/node48/watcher-41721-1149405751 -o ROOT/results/node48/solver-41721-1149405751 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41721-1149405751/instance-41721-1149405751.opb 470844599 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.93 2/64 3699 /proc/meminfo: memFree=1866480/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=1532 CPUtime=0 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 164 0 0 0 0 0 0 0 19 0 1 0 206242171 1568768 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598729 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 383 141 90 232 0 148 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.93 2/64 3699 /proc/meminfo: memFree=1860240/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=10028 CPUtime=9.98 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 1693 0 0 0 992 6 0 0 25 0 1 0 206242171 10268672 1660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 2507 1660 108 232 0 2272 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 10028 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1858008/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=10028 CPUtime=19.99 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 2271 0 0 0 1992 7 0 0 25 0 1 0 206242171 10268672 2238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 2507 2238 108 232 0 2272 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10028 [startup+30.016 s] /proc/loadavg: 0.95 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1855640/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=18320 CPUtime=29.99 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 2869 0 0 0 2992 7 0 0 25 0 1 0 206242171 18759680 2836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 4580 2836 108 232 0 4345 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 18320 [startup+40.0217 s] /proc/loadavg: 0.95 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1853336/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=18320 CPUtime=39.99 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 3449 0 0 0 3992 7 0 0 25 0 1 0 206242171 18759680 3416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 4580 3416 108 232 0 4345 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 18320 [startup+50.0284 s] /proc/loadavg: 0.96 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1851032/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=18320 CPUtime=50 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 4027 0 0 0 4992 8 0 0 25 0 1 0 206242171 18759680 3994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 4580 3994 108 232 0 4345 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 18320 [startup+60.0341 s] /proc/loadavg: 0.97 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1848728/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=34704 CPUtime=60 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 4604 0 0 0 5992 8 0 0 25 0 1 0 206242171 35536896 4571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8676 4571 108 232 0 8441 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 34704 [startup+70.0398 s] /proc/loadavg: 0.97 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1846488/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=34704 CPUtime=70 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 5165 0 0 0 6991 9 0 0 25 0 1 0 206242171 35536896 5132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8676 5132 108 232 0 8441 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 34704 [startup+80.0455 s] /proc/loadavg: 0.98 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1845400/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35160 CPUtime=80.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 5466 0 0 0 7984 17 0 0 25 0 1 0 206242171 36003840 5384 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549248 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8790 5384 108 232 0 8555 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 35160 [startup+90.0512 s] /proc/loadavg: 0.98 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1844568/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35436 CPUtime=90.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 5689 0 0 0 8979 22 0 0 25 0 1 0 206242171 36286464 5607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8859 5607 108 232 0 8624 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 35436 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1842328/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35564 CPUtime=100.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 6254 0 0 0 9974 27 0 0 25 0 1 0 206242171 36417536 6172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8891 6172 108 232 0 8656 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 35564 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.93 2/64 3699 /proc/meminfo: memFree=1839832/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35564 CPUtime=110.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 6871 0 0 0 10969 32 0 0 25 0 1 0 206242171 36417536 6789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8891 6789 108 232 0 8656 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 35564 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838872/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35708 CPUtime=120.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7118 0 0 0 11964 37 0 0 25 0 1 0 206242171 36564992 7036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8927 7036 108 232 0 8692 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 35708 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838872/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35708 CPUtime=130.01 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7132 0 0 0 12960 41 0 0 25 0 1 0 206242171 36564992 7050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8927 7050 108 232 0 8692 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 35708 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838744/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35840 CPUtime=140.02 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7155 0 0 0 13957 45 0 0 25 0 1 0 206242171 36700160 7073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8960 7073 108 232 0 8725 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 35840 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838680/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35840 CPUtime=150.02 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7172 0 0 0 14952 50 0 0 25 0 1 0 206242171 36700160 7090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8960 7090 108 232 0 8725 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 35840 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838616/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=35840 CPUtime=160.02 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7188 0 0 0 15947 55 0 0 25 0 1 0 206242171 36700160 7106 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 8960 7106 108 232 0 8725 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 35840 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838360/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=36356 CPUtime=170.03 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7305 0 0 0 16947 56 0 0 25 0 1 0 206242171 37228544 7126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 9089 7126 108 232 0 8854 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 36356 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838360/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=36356 CPUtime=180.03 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7334 0 0 0 17947 56 0 0 25 0 1 0 206242171 37228544 7155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549513 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 9089 7155 108 232 0 8854 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 36356 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838360/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=36484 CPUtime=190.03 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7347 0 0 0 18947 56 0 0 25 0 1 0 206242171 37359616 7168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 9121 7168 108 232 0 8886 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 36484 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838232/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=36484 CPUtime=200.03 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 7368 0 0 0 19947 56 0 0 25 0 1 0 206242171 37359616 7189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 9121 7189 108 232 0 8886 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 36484 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3699 /proc/meminfo: memFree=1838168/2055920 swapFree=4181432/4192956 ################ # More data... # ################ /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11272 0 0 0 178021 121 0 0 25 0 1 0 206242171 49213440 9746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9746 108 232 0 11780 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 48060 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1782.42 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11273 0 0 0 178121 121 0 0 25 0 1 0 206242171 49213440 9747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9747 108 232 0 11780 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 48060 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1783.42 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11274 0 0 0 178221 121 0 0 25 0 1 0 206242171 49213440 9748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9748 108 232 0 11780 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 48060 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1784.43 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11274 0 0 0 178322 121 0 0 25 0 1 0 206242171 49213440 9748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9748 108 232 0 11780 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 48060 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1785.43 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11275 0 0 0 178422 121 0 0 25 0 1 0 206242171 49213440 9749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9749 108 232 0 11780 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 48060 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1786.43 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11276 0 0 0 178522 121 0 0 25 0 1 0 206242171 49213440 9750 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9750 108 232 0 11780 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 48060 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1787.44 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11277 0 0 0 178623 121 0 0 25 0 1 0 206242171 49213440 9751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9751 108 232 0 11780 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 48060 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1788.44 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11277 0 0 0 178723 121 0 0 25 0 1 0 206242171 49213440 9751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9751 108 232 0 11780 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 48060 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1789.45 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11278 0 0 0 178824 121 0 0 25 0 1 0 206242171 49213440 9752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9752 108 232 0 11780 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 48060 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1790.45 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11278 0 0 0 178924 121 0 0 25 0 1 0 206242171 49213440 9752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9752 108 232 0 11780 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 48060 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827416/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1791.46 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11279 0 0 0 179025 121 0 0 25 0 1 0 206242171 49213440 9753 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9753 108 232 0 11780 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 48060 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1792.46 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11287 0 0 0 179125 121 0 0 25 0 1 0 206242171 49213440 9761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9761 108 232 0 11780 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 48060 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1793.46 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11289 0 0 0 179225 121 0 0 25 0 1 0 206242171 49213440 9763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9763 108 232 0 11780 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 48060 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1794.47 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11290 0 0 0 179326 121 0 0 25 0 1 0 206242171 49213440 9764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9764 108 232 0 11780 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 48060 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1795.47 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11291 0 0 0 179426 121 0 0 25 0 1 0 206242171 49213440 9765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9765 108 232 0 11780 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 48060 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1796.48 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11291 0 0 0 179527 121 0 0 25 0 1 0 206242171 49213440 9765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9765 108 232 0 11780 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 48060 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1797.48 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11292 0 0 0 179627 121 0 0 25 0 1 0 206242171 49213440 9766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9766 108 232 0 11780 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 48060 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1798.49 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11292 0 0 0 179728 121 0 0 25 0 1 0 206242171 49213440 9766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9766 108 232 0 11780 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 48060 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1799.49 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11293 0 0 0 179828 121 0 0 25 0 1 0 206242171 49213440 9767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9767 108 232 0 11780 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 48060 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1800.5 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11293 0 0 0 179929 121 0 0 25 0 1 0 206242171 49213440 9767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9767 108 232 0 11780 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 48060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 3701 /proc/meminfo: memFree=1827352/2055920 swapFree=4181432/4192956 [pid=3699] ppid=3697 vsize=48060 CPUtime=1800.5 /proc/3699/stat : 3699 (PBS4L) R 3697 3699 3653 0 -1 4194304 11293 0 0 0 179929 121 0 0 25 0 1 0 206242171 49213440 9767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/3699/statm: 12015 9767 108 232 0 11780 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 48060 Sending SIGTERM to -3699 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.52 CPU user time (s): 1799.3 CPU system time (s): 1.22681 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (Kb): 48060 The end
Begin job on node48 on Sun Jun 4 07:22:31 UTC 2006 FILE ID= 41721-1149405751 PBS_JOBID= 314392 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41721-1149405751/instance-41721-1149405751.opb 470844599 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-41721-1149405751 -o ROOT/results/node48/solver-41721-1149405751 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/41721-1149405751/instance-41721-1149405751.opb 470844599 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED= 470844599 /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.259 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.259 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: 1866688 kB Buffers: 11448 kB Cached: 112076 kB SwapCached: 3228 kB Active: 42172 kB Inactive: 90068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866688 kB SwapTotal: 4192956 kB SwapFree: 4181432 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14804 kB Slab: 43040 kB Committed_AS: 384700 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 node48 on Sun Jun 4 07:52:33 UTC 2006