Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.25 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb |
MD5SUM | 3df4b6f92f1f3083d4934635de2b04ef |
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.048991 |
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 | 2280 |
Total number of constraints | 1636 |
Number of constraints which are clauses | 1558 |
Number of constraints which are cardinality constraints (but not clauses) | 78 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
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 | 41 |
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/node77/41097-1149230955/instance-41097-1149230955.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/node77/watcher-41097-1149230955 -o ROOT/results/node77/solver-41097-1149230955 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1660312/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=1616 CPUtime=0 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 218 0 0 0 0 0 0 0 19 0 1 0 188734703 1654784 203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 404 203 100 232 0 169 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1633112/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=38456 CPUtime=9.99 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 6946 0 0 0 982 17 0 0 25 0 1 0 188734703 39378944 6874 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 9614 6874 105 232 0 9379 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38456 [startup+20.0069 s] /proc/loadavg: 0.94 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1622752/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=40852 CPUtime=19.99 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 9643 0 0 0 1955 44 0 0 25 0 1 0 188734703 41832448 9474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 10213 9474 105 232 0 9978 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 40852 [startup+30.0132 s] /proc/loadavg: 0.95 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1621472/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=42664 CPUtime=29.99 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10142 0 0 0 2940 59 0 0 25 0 1 0 188734703 43687936 9780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 10666 9780 105 232 0 10431 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 42664 [startup+40.0194 s] /proc/loadavg: 0.96 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1620000/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=44056 CPUtime=40 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10523 0 0 0 3925 75 0 0 25 0 1 0 188734703 45113344 10161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 11014 10161 105 232 0 10779 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44056 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1619488/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=44408 CPUtime=50 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10650 0 0 0 4914 86 0 0 25 0 1 0 188734703 45473792 10288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 11102 10288 105 232 0 10867 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 44408 [startup+60.0319 s] /proc/loadavg: 0.97 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1614240/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=77832 CPUtime=60.01 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 11968 0 0 0 5913 88 0 0 25 0 1 0 188734703 79699968 11606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 19458 11606 105 232 0 19223 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 77832 [startup+70.0372 s] /proc/loadavg: 0.97 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1585312/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=80372 CPUtime=70.01 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 19179 0 0 0 6910 91 0 0 25 0 1 0 188734703 82300928 18817 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 20093 18817 105 232 0 19858 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 80372 [startup+80.0434 s] /proc/loadavg: 0.98 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1561248/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=147356 CPUtime=80.01 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 25183 0 0 0 7906 95 0 0 25 0 1 0 188734703 150892544 24821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561665 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 36839 24821 105 232 0 36604 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 147356 [startup+90.0496 s] /proc/loadavg: 0.98 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1548000/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=152736 CPUtime=90.02 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 28873 0 0 0 8904 98 0 0 25 0 1 0 188734703 156401664 28126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585352 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 38184 28126 105 232 0 37949 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 152736 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1534432/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=155396 CPUtime=100.02 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 32265 0 0 0 9902 100 0 0 25 0 1 0 188734703 159125504 31518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 38849 31518 105 232 0 38614 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 155396 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1519072/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=156948 CPUtime=110.02 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 36083 0 0 0 10900 102 0 0 25 0 1 0 188734703 160714752 35336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 39237 35336 105 232 0 39002 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 156948 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1497120/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=291204 CPUtime=120.02 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 41492 0 0 0 11897 105 0 0 25 0 1 0 188734703 298192896 40745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564915 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 72801 40745 105 232 0 72566 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 291204 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1484960/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=295924 CPUtime=130.02 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 44536 0 0 0 12896 106 0 0 25 0 1 0 188734703 303026176 43789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 73981 43789 105 232 0 73746 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 295924 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1475104/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=299604 CPUtime=140.04 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 46993 0 0 0 13895 109 0 0 25 0 1 0 188734703 306794496 46246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 74901 46246 105 232 0 74666 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 299604 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1457184/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=304180 CPUtime=150.04 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 51452 0 0 0 14893 111 0 0 25 0 1 0 188734703 311480320 50705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559012 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 76045 50705 105 232 0 75810 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 304180 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1448352/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=305128 CPUtime=160.04 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 53672 0 0 0 15892 112 0 0 25 0 1 0 188734703 312451072 52925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 76282 52925 105 232 0 76047 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 305128 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1444640/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=307624 CPUtime=170.04 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 54590 0 0 0 16891 113 0 0 25 0 1 0 188734703 315006976 53843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 76906 53843 105 232 0 76671 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 307624 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1442016/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=310496 CPUtime=180.04 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 55238 0 0 0 17890 114 0 0 25 0 1 0 188734703 317947904 54491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 77624 54491 105 232 0 77389 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 310496 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1439008/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=313536 CPUtime=190.05 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 56005 0 0 0 18890 115 0 0 25 0 1 0 188734703 321060864 55258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611861 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 78384 55258 105 232 0 78149 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 313536 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1425824/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=317600 CPUtime=200.05 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 59299 0 0 0 19887 118 0 0 25 0 1 0 188734703 325222400 58552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 79400 58552 105 232 0 79165 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 317600 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26084 /proc/meminfo: memFree=1413984/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111728 0 0 0 177927 208 0 0 25 0 1 0 188734703 571256832 108675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549052 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108675 105 232 0 139232 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 557868 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1782.36 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111730 0 0 0 178028 208 0 0 25 0 1 0 188734703 571256832 108677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552747 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108677 105 232 0 139232 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 557868 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1783.36 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111731 0 0 0 178128 208 0 0 25 0 1 0 188734703 571256832 108678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108678 105 232 0 139232 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 557868 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1784.37 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111731 0 0 0 178229 208 0 0 25 0 1 0 188734703 571256832 108678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548993 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108678 105 232 0 139232 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 557868 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1785.37 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111732 0 0 0 178329 208 0 0 25 0 1 0 188734703 571256832 108679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108679 105 232 0 139232 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 557868 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1786.37 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111734 0 0 0 178429 208 0 0 25 0 1 0 188734703 571256832 108681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108681 105 232 0 139232 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 557868 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1787.38 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111739 0 0 0 178530 208 0 0 25 0 1 0 188734703 571256832 108686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108686 105 232 0 139232 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 557868 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1788.38 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111746 0 0 0 178630 208 0 0 25 0 1 0 188734703 571256832 108693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564924 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108693 105 232 0 139232 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 557868 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1789.39 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111747 0 0 0 178731 208 0 0 25 0 1 0 188734703 571256832 108694 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108694 105 232 0 139232 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 557868 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1790.39 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111748 0 0 0 178831 208 0 0 25 0 1 0 188734703 571256832 108695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108695 105 232 0 139232 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 557868 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1791.39 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111749 0 0 0 178931 208 0 0 25 0 1 0 188734703 571256832 108696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559035 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108696 105 232 0 139232 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 557868 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1792.41 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111751 0 0 0 179032 209 0 0 25 0 1 0 188734703 571256832 108698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108698 105 232 0 139232 0 Current children cumulated CPU time (s) 1792.41 Current children cumulated vsize (Kb) 557868 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1793.41 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111752 0 0 0 179132 209 0 0 25 0 1 0 188734703 571256832 108699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108699 105 232 0 139232 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 557868 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1794.42 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111754 0 0 0 179233 209 0 0 25 0 1 0 188734703 571256832 108701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108701 105 232 0 139232 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 557868 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1795.42 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111754 0 0 0 179333 209 0 0 25 0 1 0 188734703 571256832 108701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108701 105 232 0 139232 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 557868 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1796.42 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111755 0 0 0 179433 209 0 0 25 0 1 0 188734703 571256832 108702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108702 105 232 0 139232 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 557868 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1797.43 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111757 0 0 0 179534 209 0 0 25 0 1 0 188734703 571256832 108704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561166 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108704 105 232 0 139232 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 557868 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1798.43 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111758 0 0 0 179634 209 0 0 25 0 1 0 188734703 571256832 108705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108705 105 232 0 139232 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 557868 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1799.43 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111762 0 0 0 179734 209 0 0 25 0 1 0 188734703 571256832 108709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108709 105 232 0 139232 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 557868 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224032/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1800.44 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111769 0 0 0 179835 209 0 0 25 0 1 0 188734703 571256832 108716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108716 105 232 0 139232 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 557868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26279 /proc/meminfo: memFree=1224032/2055892 swapFree=4085336/4096564 [pid=26084] ppid=26082 vsize=557868 CPUtime=1800.44 /proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111769 0 0 0 179835 209 0 0 25 0 1 0 188734703 571256832 108716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26084/statm: 139467 108716 105 232 0 139232 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 557868 Sending SIGTERM to -26084 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.25 CPU time (s): 1800.52 CPU user time (s): 1798.36 CPU system time (s): 2.15767 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (Kb): 557868 The end
Begin job on node77 on Fri Jun 2 06:49:15 UTC 2006 FILE ID= 41097-1149230955 PBS_JOBID= 296422 BENCH NAME= ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-41097-1149230955 -o ROOT/results/node77/solver-41097-1149230955 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 3df4b6f92f1f3083d4934635de2b04ef RANDOM SEED= 792588085 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1660520 kB Buffers: 33336 kB Cached: 295384 kB SwapCached: 2644 kB Active: 96876 kB Inactive: 240672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1660520 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16108 kB Slab: 44472 kB Committed_AS: 229416 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Fri Jun 2 07:19:16 UTC 2006