Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | 05a418d42b6e85967009c0fa73623d83 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 372 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
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 | 32 |
Number of terms in the objective function | 808 |
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 | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
Number of bits of the biggest sum of numbers | 10 |
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/node45/41784-1149415383/instance-41784-1149415383.opb ...... 0.06 c done parsing opb. 0.06 o 404 0.12 o 403 0.53 o 402 0.97 o 401 1.53 o 400 2.05 o 399 2.93 o 398 4.21 o 397 4.92 o 396 7.14 o 395 7.98 o 394 8.64 o 393 8.80 o 392 9.16 o 391 9.67 o 390 11.13 o 389 11.25 o 388 12.05 o 387 13.03 o 386 13.61 o 385 13.77 o 384 13.77 o 383 13.78 o 382 14.43 o 381 15.03 o 380 15.62 o 379 16.30 o 378 16.43 o 377 16.75 o 376 17.06 o 375 17.24 o 374 18.07 o 373 293.12 o 372
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/node45/watcher-41784-1149415383 -o ROOT/results/node45/solver-41784-1149415383 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node45/41784-1149415383/instance-41784-1149415383.opb 57367539 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 2/64 5254 /proc/meminfo: memFree=1431384/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=1532 CPUtime=0 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 178 0 0 0 0 0 0 0 19 0 1 0 102976084 1568768 156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 383 156 97 232 0 148 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.99 2/64 5254 /proc/meminfo: memFree=1426208/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=7580 CPUtime=9.99 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 1577 0 0 0 996 3 0 0 25 0 1 0 102976084 7761920 1401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 1895 1401 108 232 0 1660 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7580 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.99 2/64 5254 /proc/meminfo: memFree=1423008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=12988 CPUtime=20 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 2572 0 0 0 1994 6 0 0 25 0 1 0 102976084 13299712 2203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 3247 2203 108 232 0 3012 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 12988 [startup+30.014 s] /proc/loadavg: 0.95 0.97 0.99 2/64 5254 /proc/meminfo: memFree=1413408/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=21732 CPUtime=29.99 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 4976 0 0 0 2989 10 0 0 25 0 1 0 102976084 22253568 4607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 5433 4607 108 232 0 5198 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21732 [startup+40.0198 s] /proc/loadavg: 0.96 0.97 0.99 2/64 5254 /proc/meminfo: memFree=1410528/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=22340 CPUtime=40 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 5682 0 0 0 3988 12 0 0 25 0 1 0 102976084 22876160 5313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 5585 5313 108 232 0 5350 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22340 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1409760/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=22824 CPUtime=50 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 5864 0 0 0 4985 15 0 0 25 0 1 0 102976084 23371776 5495 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 5706 5495 108 232 0 5471 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22824 [startup+60.0315 s] /proc/loadavg: 0.97 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1409376/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=23108 CPUtime=60 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 5968 0 0 0 5982 18 0 0 25 0 1 0 102976084 23662592 5599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 5777 5599 108 232 0 5542 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 23108 [startup+70.0373 s] /proc/loadavg: 0.97 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1408608/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=25208 CPUtime=70 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 6517 0 0 0 6980 20 0 0 25 0 1 0 102976084 25812992 5763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 6302 5763 108 232 0 6067 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 25208 [startup+80.0431 s] /proc/loadavg: 0.98 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1405536/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=41592 CPUtime=80.01 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 7311 0 0 0 7978 23 0 0 25 0 1 0 102976084 42590208 6557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10398 6557 108 232 0 10163 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41592 [startup+90.0489 s] /proc/loadavg: 0.98 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1402592/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=42096 CPUtime=90.01 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 8061 0 0 0 8977 24 0 0 25 0 1 0 102976084 43106304 7307 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10524 7307 108 232 0 10289 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 42096 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1402272/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=42268 CPUtime=100.01 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 8142 0 0 0 9975 26 0 0 25 0 1 0 102976084 43282432 7388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10567 7388 108 232 0 10332 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 42268 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1401568/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=42532 CPUtime=110.02 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 8313 0 0 0 10974 28 0 0 25 0 1 0 102976084 43552768 7559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10633 7559 108 232 0 10398 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 42532 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1394912/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=43016 CPUtime=120.02 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 9982 0 0 0 11971 31 0 0 25 0 1 0 102976084 44048384 9228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585539 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10754 9228 108 232 0 10519 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 43016 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1394592/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=43140 CPUtime=130.02 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10051 0 0 0 12970 32 0 0 25 0 1 0 102976084 44175360 9297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10785 9297 108 232 0 10550 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 43140 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1394208/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=43548 CPUtime=140.03 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10145 0 0 0 13970 33 0 0 25 0 1 0 102976084 44593152 9391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10887 9391 108 232 0 10652 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 43548 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1393824/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=43812 CPUtime=150.03 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10249 0 0 0 14969 34 0 0 25 0 1 0 102976084 44863488 9495 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10953 9495 108 232 0 10718 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 43812 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1391648/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=43948 CPUtime=160.03 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10783 0 0 0 15968 35 0 0 25 0 1 0 102976084 45002752 10029 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 10987 10029 108 232 0 10752 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 43948 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1391200/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=44224 CPUtime=170.04 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10891 0 0 0 16966 38 0 0 25 0 1 0 102976084 45285376 10137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 11056 10137 108 232 0 10821 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 44224 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1391072/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=44224 CPUtime=180.03 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 10927 0 0 0 17964 39 0 0 25 0 1 0 102976084 45285376 10173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 11056 10173 108 232 0 10821 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 44224 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1390560/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=44660 CPUtime=190.04 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 11056 0 0 0 18963 41 0 0 25 0 1 0 102976084 45731840 10302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549285 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 11165 10302 108 232 0 10930 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 44660 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1390432/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=44660 CPUtime=200.04 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 11091 0 0 0 19961 43 0 0 25 0 1 0 102976084 45731840 10337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 11165 10337 108 232 0 10930 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 44660 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1389856/2055920 swapFree=4191900/4192956 ################ # More data... # ################ /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28261 0 0 0 177982 164 0 0 25 0 1 0 102976084 118358016 22128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22128 108 232 0 28661 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 115584 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1782.47 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28263 0 0 0 178083 164 0 0 25 0 1 0 102976084 118358016 22130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22130 108 232 0 28661 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 115584 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1783.47 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28264 0 0 0 178183 164 0 0 25 0 1 0 102976084 118358016 22131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22131 108 232 0 28661 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 115584 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1784.47 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28265 0 0 0 178283 164 0 0 25 0 1 0 102976084 118358016 22132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22132 108 232 0 28661 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 115584 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1785.48 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28266 0 0 0 178384 164 0 0 25 0 1 0 102976084 118358016 22133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22133 108 232 0 28661 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 115584 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1786.48 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28267 0 0 0 178484 164 0 0 25 0 1 0 102976084 118358016 22134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22134 108 232 0 28661 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 115584 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1787.49 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28268 0 0 0 178584 165 0 0 25 0 1 0 102976084 118358016 22135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22135 108 232 0 28661 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 115584 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1788.5 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28270 0 0 0 178685 165 0 0 25 0 1 0 102976084 118358016 22137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22137 108 232 0 28661 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 115584 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1789.5 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28273 0 0 0 178785 165 0 0 25 0 1 0 102976084 118358016 22140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22140 108 232 0 28661 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 115584 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1790.51 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28274 0 0 0 178886 165 0 0 25 0 1 0 102976084 118358016 22141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22141 108 232 0 28661 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 115584 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1791.51 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28276 0 0 0 178986 165 0 0 25 0 1 0 102976084 118358016 22143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22143 108 232 0 28661 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 115584 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1343008/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1792.51 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28277 0 0 0 179086 165 0 0 25 0 1 0 102976084 118358016 22144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22144 108 232 0 28661 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 115584 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1793.52 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28278 0 0 0 179187 165 0 0 25 0 1 0 102976084 118358016 22145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22145 108 232 0 28661 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 115584 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1794.52 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28280 0 0 0 179287 165 0 0 25 0 1 0 102976084 118358016 22147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22147 108 232 0 28661 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 115584 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1795.53 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28282 0 0 0 179388 165 0 0 25 0 1 0 102976084 118358016 22149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22149 108 232 0 28661 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 115584 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1796.53 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28284 0 0 0 179488 165 0 0 25 0 1 0 102976084 118358016 22151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22151 108 232 0 28661 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 115584 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1797.53 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28284 0 0 0 179588 165 0 0 25 0 1 0 102976084 118358016 22151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22151 108 232 0 28661 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 115584 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1798.54 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28285 0 0 0 179689 165 0 0 25 0 1 0 102976084 118358016 22152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22152 108 232 0 28661 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 115584 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1799.54 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28286 0 0 0 179789 165 0 0 25 0 1 0 102976084 118358016 22153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22153 108 232 0 28661 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 115584 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1800.55 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28287 0 0 0 179890 165 0 0 25 0 1 0 102976084 118358016 22154 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22154 108 232 0 28661 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 115584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5256 /proc/meminfo: memFree=1342944/2055920 swapFree=4191900/4192956 [pid=5254] ppid=5252 vsize=115584 CPUtime=1800.55 /proc/5254/stat : 5254 (PBS4L) R 5252 5254 5208 0 -1 4194304 28287 0 0 0 179890 165 0 0 25 0 1 0 102976084 118358016 22154 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/5254/statm: 28896 22154 108 232 0 28661 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 115584 Sending SIGTERM to -5254 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.58 CPU user time (s): 1798.91 CPU system time (s): 1.67174 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 115584 The end
Begin job on node45 on Sun Jun 4 10:03:03 UTC 2006 FILE ID= 41784-1149415383 PBS_JOBID= 315208 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node45/41784-1149415383/instance-41784-1149415383.opb 57367539 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-41784-1149415383 -o ROOT/results/node45/solver-41784-1149415383 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node45/41784-1149415383/instance-41784-1149415383.opb 57367539 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 05a418d42b6e85967009c0fa73623d83 RANDOM SEED= 57367539 /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.263 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.263 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: 1431592 kB Buffers: 32128 kB Cached: 513108 kB SwapCached: 260 kB Active: 61624 kB Inactive: 497440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1431592 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 188 kB Writeback: 0 kB Mapped: 23016 kB Slab: 51364 kB Committed_AS: 352808 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sun Jun 4 10:33:05 UTC 2006