Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | ? (TO) | 1800.85 | 1801.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-65-60.opb |
MD5SUM | e2f35c503d924e79e4ebd2cc0bd6c322 |
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 | 3900 |
Total number of constraints | 124865 |
Number of constraints which are clauses | 124865 |
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 | 60 |
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 | 61 |
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/46307-1154060081/instance-46307-1154060081.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-46307-1154060081 -o ROOT/results/node37/solver-46307-1154060081 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46307-1154060081/instance-46307-1154060081.opb 998397463 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 31690 /proc/meminfo: memFree=1391432/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=1400 CPUtime=0 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 122 0 0 0 0 0 0 0 19 0 1 0 152879560 1433600 105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137821 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 442 112 90 232 0 207 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.99 2/64 31690 /proc/meminfo: memFree=1377952/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=17192 CPUtime=9.98 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 4337 0 0 0 977 21 0 0 25 0 1 0 152879560 17604608 3491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 4298 3491 105 232 0 4063 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 17192 [startup+20.0087 s] /proc/loadavg: 1.01 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1371680/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=30964 CPUtime=19.99 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 6715 0 0 0 1966 33 0 0 25 0 1 0 152879560 31707136 5100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549567 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 7741 5100 105 232 0 7506 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 30964 [startup+30.0158 s] /proc/loadavg: 1.01 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1354080/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=49188 CPUtime=30 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 11116 0 0 0 2963 37 0 0 25 0 1 0 152879560 50368512 9501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 12297 9501 105 232 0 12062 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 49188 [startup+40.0218 s] /proc/loadavg: 1.01 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1335392/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=85740 CPUtime=40 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 15794 0 0 0 3960 40 0 0 25 0 1 0 152879560 87797760 14179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 21435 14179 105 232 0 21200 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 85740 [startup+50.0279 s] /proc/loadavg: 1.01 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1319712/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=89468 CPUtime=50 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 19700 0 0 0 4955 45 0 0 25 0 1 0 152879560 91615232 18085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 22367 18085 105 232 0 22132 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 89468 [startup+60.034 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1317664/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=91308 CPUtime=60.01 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 20226 0 0 0 5954 47 0 0 25 0 1 0 152879560 93499392 18611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550034 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 22827 18611 105 232 0 22592 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 91308 [startup+70.0401 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1316576/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=92172 CPUtime=70.01 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 20506 0 0 0 6953 48 0 0 25 0 1 0 152879560 94384128 18891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23043 18891 105 232 0 22808 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 92172 [startup+80.0462 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1309152/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=94572 CPUtime=80.01 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22357 0 0 0 7950 51 0 0 25 0 1 0 152879560 96841728 20742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23643 20742 105 232 0 23408 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 94572 [startup+90.0522 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1308384/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95424 CPUtime=90.01 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22550 0 0 0 8929 72 0 0 25 0 1 0 152879560 97714176 20935 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23856 20935 105 232 0 23621 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 95424 [startup+100.058 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1308256/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95424 CPUtime=100.01 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22574 0 0 0 9918 83 0 0 25 0 1 0 152879560 97714176 20959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23856 20959 105 232 0 23621 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 95424 [startup+110.064 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1308064/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95576 CPUtime=110.02 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22631 0 0 0 10901 101 0 0 25 0 1 0 152879560 97869824 21016 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23894 21016 105 232 0 23659 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 95576 [startup+120.07 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307872/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95576 CPUtime=120.02 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22664 0 0 0 11892 110 0 0 25 0 1 0 152879560 97869824 21049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23894 21049 105 232 0 23659 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 95576 [startup+130.077 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307744/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95576 CPUtime=130.03 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22707 0 0 0 12889 114 0 0 25 0 1 0 152879560 97869824 21092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23894 21092 105 232 0 23659 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 95576 [startup+140.083 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307488/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95736 CPUtime=140.03 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22759 0 0 0 13887 116 0 0 25 0 1 0 152879560 98033664 21144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23934 21144 105 232 0 23699 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 95736 [startup+150.089 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307424/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95908 CPUtime=150.03 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22786 0 0 0 14874 129 0 0 25 0 1 0 152879560 98209792 21171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549062 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23977 21171 105 232 0 23742 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 95908 [startup+160.095 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307296/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95908 CPUtime=160.04 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22817 0 0 0 15870 134 0 0 25 0 1 0 152879560 98209792 21202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23977 21202 105 232 0 23742 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 95908 [startup+170.101 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1307104/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=95908 CPUtime=170.04 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22855 0 0 0 16860 144 0 0 25 0 1 0 152879560 98209792 21240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 23977 21240 105 232 0 23742 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 95908 [startup+180.107 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1306976/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=96088 CPUtime=180.04 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22887 0 0 0 17852 152 0 0 25 0 1 0 152879560 98394112 21272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564532 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 24022 21272 105 232 0 23787 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 96088 [startup+190.113 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1306848/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=96088 CPUtime=190.04 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22913 0 0 0 18848 156 0 0 25 0 1 0 152879560 98394112 21298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 24022 21298 105 232 0 23787 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 96088 [startup+200.119 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 /proc/meminfo: memFree=1306592/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=96088 CPUtime=200.05 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 22977 0 0 0 19846 159 0 0 25 0 1 0 152879560 98394112 21362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 24022 21362 105 232 0 23787 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 96088 [startup+210.125 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31690 ################ # More data... # ################ /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58547 0 0 0 177844 327 0 0 25 0 1 0 152879560 249962496 46177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46177 105 232 0 60791 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (Kb) 244104 [startup+1783.24 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1207016/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1782.72 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58555 0 0 0 177944 328 0 0 25 0 1 0 152879560 249962496 46185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46185 105 232 0 60791 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (Kb) 244104 [startup+1784.25 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1207016/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1783.72 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58564 0 0 0 178044 328 0 0 25 0 1 0 152879560 249962496 46194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46194 105 232 0 60791 0 Current children cumulated CPU time (s) 1783.72 Current children cumulated vsize (Kb) 244104 [startup+1785.25 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1207016/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1784.73 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58564 0 0 0 178145 328 0 0 25 0 1 0 152879560 249962496 46194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46194 105 232 0 60791 0 Current children cumulated CPU time (s) 1784.73 Current children cumulated vsize (Kb) 244104 [startup+1786.26 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206952/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1785.73 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58569 0 0 0 178245 328 0 0 25 0 1 0 152879560 249962496 46199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46199 105 232 0 60791 0 Current children cumulated CPU time (s) 1785.73 Current children cumulated vsize (Kb) 244104 [startup+1787.26 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206952/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1786.73 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58574 0 0 0 178345 328 0 0 25 0 1 0 152879560 249962496 46204 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46204 105 232 0 60791 0 Current children cumulated CPU time (s) 1786.73 Current children cumulated vsize (Kb) 244104 [startup+1788.27 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206952/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1787.74 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58579 0 0 0 178446 328 0 0 25 0 1 0 152879560 249962496 46209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46209 105 232 0 60791 0 Current children cumulated CPU time (s) 1787.74 Current children cumulated vsize (Kb) 244104 [startup+1789.27 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206888/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1788.75 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58583 0 0 0 178546 329 0 0 25 0 1 0 152879560 249962496 46213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46213 105 232 0 60791 0 Current children cumulated CPU time (s) 1788.75 Current children cumulated vsize (Kb) 244104 [startup+1790.28 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206888/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1789.76 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58596 0 0 0 178647 329 0 0 25 0 1 0 152879560 249962496 46226 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46226 105 232 0 60791 0 Current children cumulated CPU time (s) 1789.76 Current children cumulated vsize (Kb) 244104 [startup+1791.28 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206824/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1790.76 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58598 0 0 0 178747 329 0 0 25 0 1 0 152879560 249962496 46228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46228 105 232 0 60791 0 Current children cumulated CPU time (s) 1790.76 Current children cumulated vsize (Kb) 244104 [startup+1792.29 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206824/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1791.76 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58609 0 0 0 178847 329 0 0 25 0 1 0 152879560 249962496 46239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46239 105 232 0 60791 0 Current children cumulated CPU time (s) 1791.76 Current children cumulated vsize (Kb) 244104 [startup+1793.29 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206824/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1792.77 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58610 0 0 0 178948 329 0 0 25 0 1 0 152879560 249962496 46240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46240 105 232 0 60791 0 Current children cumulated CPU time (s) 1792.77 Current children cumulated vsize (Kb) 244104 [startup+1794.3 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206760/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1793.77 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58623 0 0 0 179048 329 0 0 25 0 1 0 152879560 249962496 46253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46253 105 232 0 60791 0 Current children cumulated CPU time (s) 1793.77 Current children cumulated vsize (Kb) 244104 [startup+1795.3 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206696/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1794.78 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58630 0 0 0 179149 329 0 0 25 0 1 0 152879560 249962496 46260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134589990 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46260 105 232 0 60791 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (Kb) 244104 [startup+1796.31 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206696/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1795.78 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58631 0 0 0 179249 329 0 0 25 0 1 0 152879560 249962496 46261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46261 105 232 0 60791 0 Current children cumulated CPU time (s) 1795.78 Current children cumulated vsize (Kb) 244104 [startup+1797.31 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206696/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1796.79 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58632 0 0 0 179350 329 0 0 25 0 1 0 152879560 249962496 46262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46262 105 232 0 60791 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (Kb) 244104 [startup+1798.32 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206632/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1797.79 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58643 0 0 0 179450 329 0 0 25 0 1 0 152879560 249962496 46273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46273 105 232 0 60791 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (Kb) 244104 [startup+1799.32 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206632/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1798.8 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58647 0 0 0 179551 329 0 0 25 0 1 0 152879560 249962496 46277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558982 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46277 105 232 0 60791 0 Current children cumulated CPU time (s) 1798.8 Current children cumulated vsize (Kb) 244104 [startup+1800.33 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206632/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1799.8 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58649 0 0 0 179651 329 0 0 25 0 1 0 152879560 249962496 46279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46279 105 232 0 60791 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (Kb) 244104 [startup+1801.33 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206632/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1800.8 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58656 0 0 0 179751 329 0 0 25 0 1 0 152879560 249962496 46286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46286 105 232 0 60791 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 244104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.34 s] /proc/loadavg: 1.00 0.98 0.99 2/64 31692 /proc/meminfo: memFree=1206632/2055920 swapFree=4183120/4192956 [pid=31690] ppid=31688 vsize=244104 CPUtime=1800.8 /proc/31690/stat : 31690 (PBS4L) R 31688 31690 31641 0 -1 4194304 58656 0 0 0 179751 329 0 0 25 0 1 0 152879560 249962496 46286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0 /proc/31690/statm: 61026 46286 105 232 0 60791 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 244104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.42 CPU time (s): 1800.85 CPU user time (s): 1797.52 CPU system time (s): 3.33149 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (Kb): 244104 The end
Begin job on node37 on Fri Jul 28 04:14:41 UTC 2006 FILE ID= 46307-1154060081 PBS_JOBID= 882199 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46307-1154060081/instance-46307-1154060081.opb 998397463 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-46307-1154060081 -o ROOT/results/node37/solver-46307-1154060081 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/46307-1154060081/instance-46307-1154060081.opb 998397463 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e2f35c503d924e79e4ebd2cc0bd6c322 RANDOM SEED= 998397463 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: 1391640 kB Buffers: 37936 kB Cached: 547200 kB SwapCached: 3812 kB Active: 245048 kB Inactive: 348872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1391640 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14812 kB Slab: 56468 kB Committed_AS: 624056 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 04:44:42 UTC 2006