Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.62 | 1801.21 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-51-50.opb |
MD5SUM | 60bac2da31df829d5469efd732e15a50 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2550 |
Total number of constraints | 63801 |
Number of constraints which are clauses | 63801 |
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 | 50 |
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 | 51 |
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/node37/46291-1154054670/instance-46291-1154054670.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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node37/watcher-46291-1154054670 -o ROOT/results/node37/solver-46291-1154054670 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46291-1154054670/instance-46291-1154054670.opb 859650390 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1407144/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=1640 CPUtime=0 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 220 0 0 0 0 0 0 0 19 0 1 0 152338500 1679360 203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867792 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 410 205 97 232 0 175 0 [startup+10.0017 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1393256/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=17764 CPUtime=9.99 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 4392 0 0 0 972 27 0 0 25 0 1 0 152338500 18190336 3579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 4441 3579 105 232 0 4206 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 17764 [startup+20.0077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1380136/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=43672 CPUtime=20 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 7709 0 0 0 1957 43 0 0 25 0 1 0 152338500 44720128 6896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 10918 6896 105 232 0 10683 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 43672 [startup+30.0138 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=47072 CPUtime=30 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 10857 0 0 0 2953 47 0 0 25 0 1 0 152338500 48201728 10044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559009 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 11768 10044 105 232 0 11533 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 47072 [startup+40.0199 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1359080/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=82328 CPUtime=39.99 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 12975 0 0 0 3949 50 0 0 25 0 1 0 152338500 84303872 12162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 20582 12162 105 232 0 20347 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 82328 [startup+50.026 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1350376/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=84980 CPUtime=50 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 15150 0 0 0 4947 53 0 0 25 0 1 0 152338500 87019520 14337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 21245 14337 105 232 0 21010 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 84980 [startup+60.032 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1342504/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=91324 CPUtime=60 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 17871 0 0 0 5945 55 0 0 25 0 1 0 152338500 93515776 16289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 22831 16289 105 232 0 22596 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 91324 [startup+70.0381 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1337704/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=92956 CPUtime=70.01 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 19069 0 0 0 6943 58 0 0 25 0 1 0 152338500 95186944 17487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 23239 17487 105 232 0 23004 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 92956 [startup+80.0442 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1335144/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=94072 CPUtime=80.01 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 19713 0 0 0 7940 61 0 0 25 0 1 0 152338500 96329728 18131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 23518 18131 105 232 0 23283 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 94072 [startup+90.0503 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1334120/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=94728 CPUtime=90.01 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 19973 0 0 0 8939 62 0 0 25 0 1 0 152338500 97001472 18391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 23682 18391 105 232 0 23447 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 94728 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1333352/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=95272 CPUtime=100.01 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 20156 0 0 0 9938 63 0 0 25 0 1 0 152338500 97558528 18574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 23818 18574 105 232 0 23583 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 95272 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1329512/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=96076 CPUtime=110.02 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 21115 0 0 0 10936 66 0 0 25 0 1 0 152338500 98381824 19533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24019 19533 105 232 0 23784 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 96076 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1325224/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=96728 CPUtime=120.03 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22188 0 0 0 11935 68 0 0 25 0 1 0 152338500 99049472 20606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24182 20606 105 232 0 23947 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 96728 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1324584/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=97252 CPUtime=130.03 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22353 0 0 0 12934 69 0 0 25 0 1 0 152338500 99586048 20771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24313 20771 105 232 0 24078 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 97252 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1323752/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=97708 CPUtime=140.03 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22547 0 0 0 13932 71 0 0 25 0 1 0 152338500 100052992 20965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24427 20965 105 232 0 24192 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 97708 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1323240/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=97940 CPUtime=150.03 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22671 0 0 0 14930 73 0 0 25 0 1 0 152338500 100290560 21089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24485 21089 105 232 0 24250 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 97940 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1322856/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=98184 CPUtime=160.04 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22794 0 0 0 15930 74 0 0 25 0 1 0 152338500 100540416 21212 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24546 21212 105 232 0 24311 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 98184 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1322216/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=98556 CPUtime=170.04 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 22940 0 0 0 16928 76 0 0 25 0 1 0 152338500 100921344 21358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 24639 21358 105 232 0 24404 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 98556 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1321768/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=105096 CPUtime=180.04 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 24591 0 0 0 17926 78 0 0 25 0 1 0 152338500 107618304 21472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549052 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 26274 21472 105 232 0 26039 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 105096 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1320680/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=105504 CPUtime=190.04 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 24864 0 0 0 18925 79 0 0 25 0 1 0 152338500 108036096 21745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 26376 21745 105 232 0 26141 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 105504 [startup+200.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 /proc/meminfo: memFree=1320168/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=105816 CPUtime=200.05 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 24985 0 0 0 19925 80 0 0 25 0 1 0 152338500 108355584 21866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 26454 21866 105 232 0 26219 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 105816 [startup+210.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31092 ################ # More data... # ################ /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49705 0 0 0 177895 254 0 0 25 0 1 0 152338500 178409472 37368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37368 105 232 0 43322 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 174228 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257904/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1782.49 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49705 0 0 0 177995 254 0 0 25 0 1 0 152338500 178409472 37368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37368 105 232 0 43322 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 174228 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257840/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1783.5 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49709 0 0 0 178096 254 0 0 25 0 1 0 152338500 178409472 37372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37372 105 232 0 43322 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 174228 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257840/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1784.5 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49716 0 0 0 178196 254 0 0 25 0 1 0 152338500 178409472 37379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37379 105 232 0 43322 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 174228 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257840/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1785.5 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49721 0 0 0 178296 254 0 0 25 0 1 0 152338500 178409472 37384 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37384 105 232 0 43322 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 174228 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1786.51 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49727 0 0 0 178397 254 0 0 25 0 1 0 152338500 178409472 37390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37390 105 232 0 43322 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 174228 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1787.51 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49728 0 0 0 178497 254 0 0 25 0 1 0 152338500 178409472 37391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37391 105 232 0 43322 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 174228 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1788.52 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49731 0 0 0 178598 254 0 0 25 0 1 0 152338500 178409472 37394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37394 105 232 0 43322 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 174228 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1789.52 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49731 0 0 0 178698 254 0 0 25 0 1 0 152338500 178409472 37394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37394 105 232 0 43322 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 174228 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1790.52 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49732 0 0 0 178798 254 0 0 25 0 1 0 152338500 178409472 37395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37395 105 232 0 43322 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 174228 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257776/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1791.54 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49735 0 0 0 178899 255 0 0 25 0 1 0 152338500 178409472 37398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558774 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37398 105 232 0 43322 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 174228 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257712/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1792.54 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49747 0 0 0 178999 255 0 0 25 0 1 0 152338500 178409472 37410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37410 105 232 0 43322 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 174228 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257648/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1793.54 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49752 0 0 0 179099 255 0 0 25 0 1 0 152338500 178409472 37415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37415 105 232 0 43322 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 174228 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257648/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1794.55 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49758 0 0 0 179200 255 0 0 25 0 1 0 152338500 178409472 37421 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37421 105 232 0 43322 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 174228 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257648/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1795.55 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49761 0 0 0 179300 255 0 0 25 0 1 0 152338500 178409472 37424 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37424 105 232 0 43322 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 174228 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257648/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1796.56 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49763 0 0 0 179400 256 0 0 25 0 1 0 152338500 178409472 37426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37426 105 232 0 43322 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 174228 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257648/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1797.56 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49766 0 0 0 179500 256 0 0 25 0 1 0 152338500 178409472 37429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37429 105 232 0 43322 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 174228 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257584/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1798.57 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49778 0 0 0 179601 256 0 0 25 0 1 0 152338500 178409472 37441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37441 105 232 0 43322 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 174228 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257584/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1799.57 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49779 0 0 0 179701 256 0 0 25 0 1 0 152338500 178409472 37442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37442 105 232 0 43322 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 174228 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257584/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1800.57 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49781 0 0 0 179801 256 0 0 25 0 1 0 152338500 178409472 37444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37444 105 232 0 43322 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 174228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 31290 /proc/meminfo: memFree=1257584/2055920 swapFree=4183120/4192956 [pid=31092] ppid=31090 vsize=174228 CPUtime=1800.58 /proc/31092/stat : 31092 (PBS4L) R 31090 31092 31043 0 -1 4194304 49781 0 0 0 179802 256 0 0 25 0 1 0 152338500 178409472 37444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31092/statm: 43557 37444 105 232 0 43322 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 174228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.62 CPU user time (s): 1798.02 CPU system time (s): 2.59161 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (Kb): 174228 The end
Begin job on node37 on Fri Jul 28 02:44:30 UTC 2006 FILE ID= 46291-1154054670 PBS_JOBID= 881991 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46291-1154054670/instance-46291-1154054670.opb 859650390 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-46291-1154054670 -o ROOT/results/node37/solver-46291-1154054670 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46291-1154054670/instance-46291-1154054670.opb 859650390 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 60bac2da31df829d5469efd732e15a50 RANDOM SEED= 859650390 TIMEOUT= 1800 seconds /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.232 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.232 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: 1407352 kB Buffers: 37788 kB Cached: 531912 kB SwapCached: 3812 kB Active: 239096 kB Inactive: 339360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1407352 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14812 kB Slab: 56232 kB Committed_AS: 619124 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 node37 on Fri Jul 28 03:14:31 UTC 2006