Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.16 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | 7d701b956113b6fc93a1922e71200e27 |
Bench Category | OPT-SMALLINT (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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
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 | 17 |
Number of terms in the objective function | 4250 |
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 | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
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/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349177-1176656145/instance-349177-1176656145.opb 0.00/0.00 c File size is 1728885 bytes. 0.30/0.31 c Highest Coefficient sum: 4250 0.30/0.31 c Parsing was ok!! 0.30/0.31 c Total parsing time: 0.308 s 0.30/0.34 c Var: 4250 Constr: 68397 68397/0/0 Lit: 138669 Watch. Lit: 136794 0.30/0.34 c Obj. Vars: 4250 (100 % of total variables) 1.49/1.53 c Pre-processing Time: 1.531 s 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 0 4250 68397 138669 2 136794 22799 0 0 1.53 1.49/1.53 c Switching off LPR mode. 1799.93/1800.57 c 100 4250 68497 147878 2 136994 25079 100 63 1.56 1799.93/1800.57 c 253 4250 68650 171553 2 137300 27587 253 154 1.64 1799.93/1800.57 c 481 4250 68878 238342 3 137756 30346 481 267 1.80 1799.93/1800.57 c 820 4250 69217 302047 4 138434 33381 820 410 2.00 1799.93/1800.57 c 1329 4250 69726 407563 5 139452 36720 1329 567 2.34 1799.93/1800.57 c 2093 4250 70490 634937 9 140980 40393 2093 692 3.02 1799.93/1800.57 c 3239 4250 71636 992984 13 143272 44433 3239 748 4.33 1799.93/1800.57 c 4965 4250 73362 1905009 25 146724 48877 4965 685 7.24 1799.93/1800.57 c 7551 4250 75948 3329860 43 151896 53765 7551 556 13.58 1799.93/1800.57 c 11430 4250 79827 5106205 63 159654 59142 11430 451 25.32 1799.93/1800.57 c 17252 4250 85649 8867913 103 171298 65057 17252 336 51.26 1799.93/1800.57 c 25992 4250 94389 16847946 178 188778 71563 25992 233 111.52 1799.93/1800.57 c 39102 4250 107499 25898822 240 214998 78720 39102 154 253.07 1799.93/1800.57 c 58773 4250 127170 43806960 344 254340 86593 58773 108 541.63 1799.93/1800.57 c 88289 4250 82358 12094034 146 164716 95253 13961 75 1171.58 1799.93/1800.57 c 132563 4250 126632 40596239 320 253264 104779 58235 73 1796.62 1799.93/1800.57 c Resources Exceeded 1799.93/1800.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.57 c 16 132793 42750 360456 126862 40701549 58465 73 1800.01 1799.93/1800.57 s UNKNOWN 1799.93/1800.57 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-349177-1176656145 -o ROOT/results/node63/solver-349177-1176656145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349177-1176656145/instance-349177-1176656145.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22164 /proc/meminfo: memFree=1834292/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=13428 CPUtime=0 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 141604426 13750272 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 3357 335 281 324 0 2003 0 [startup+0.063377 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22164 /proc/meminfo: memFree=1834292/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=7188 CPUtime=0.05 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 826 0 0 0 5 0 0 0 18 0 1 0 141604426 7360512 794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 1797 794 362 324 0 443 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7188 [startup+0.10138 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22164 /proc/meminfo: memFree=1834292/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=8012 CPUtime=0.09 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 1093 0 0 0 9 0 0 0 18 0 1 0 141604426 8204288 1061 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 2003 1061 413 324 0 649 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8012 [startup+0.301401 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22164 /proc/meminfo: memFree=1834292/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=12412 CPUtime=0.3 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 2467 0 0 0 29 1 0 0 19 0 1 0 141604426 12709888 2435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 3103 2436 688 324 0 1749 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12412 [startup+0.701443 s] /proc/loadavg: 1.00 1.00 1.00 3/64 22164 /proc/meminfo: memFree=1834292/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=16788 CPUtime=0.69 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 4015 0 0 0 67 2 0 0 22 0 1 0 141604426 17190912 3560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 4197 3560 307 324 0 3266 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16788 [startup+1.50153 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1821164/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=16656 CPUtime=1.49 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 4525 0 0 0 144 5 0 0 25 0 1 0 141604426 17055744 3527 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 4164 3527 307 324 0 3233 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16656 [startup+3.1027 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1820780/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=21504 CPUtime=3.09 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 6269 0 0 0 301 8 0 0 25 0 1 0 141604426 22020096 4762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 5376 4762 311 324 0 4445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21504 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1806964/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=34044 CPUtime=6.29 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 9398 0 0 0 618 11 0 0 25 0 1 0 141604426 34861056 7891 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 8511 7891 311 324 0 7580 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34044 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1786100/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=53308 CPUtime=12.69 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 14220 0 0 0 1255 14 0 0 25 0 1 0 141604426 54587392 12713 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 13327 12713 311 324 0 12396 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53308 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1758836/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=79156 CPUtime=25.49 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 20678 0 0 0 2530 19 0 0 25 0 1 0 141604426 81055744 19171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585200 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 19789 19171 311 324 0 18858 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79156 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1710964/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=127216 CPUtime=51.08 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 32690 0 0 0 5080 28 0 0 25 0 1 0 141604426 130269184 31183 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 31804 31183 311 324 0 30873 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 127216 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1625012/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=212572 CPUtime=102.27 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 54030 0 0 0 10186 41 0 0 25 0 1 0 141604426 217673728 52523 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 53143 52523 311 324 0 52212 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 212572 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1556660/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=281276 CPUtime=162.25 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 71204 0 0 0 16172 53 0 0 25 0 1 0 141604426 288026624 69697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 70319 69697 311 324 0 69388 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 281276 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1510836/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=326428 CPUtime=222.23 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 82473 0 0 0 22163 60 0 0 25 0 1 0 141604426 334262272 80966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 81607 80966 311 324 0 80676 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 326428 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22165 /proc/meminfo: memFree=1467572/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=370024 CPUtime=282.22 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 93384 0 0 0 28153 69 0 0 25 0 1 0 141604426 378904576 91877 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 92506 91877 311 324 0 91575 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 370024 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 22287 /proc/meminfo: memFree=1409140/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=426600 CPUtime=342.15 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 107530 0 0 0 34134 81 0 0 25 0 1 0 141604426 436838400 106023 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 106650 106023 311 324 0 105719 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 426600 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1360244/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=476824 CPUtime=402.09 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 120071 0 0 0 40120 89 0 0 25 0 1 0 141604426 488267776 118564 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 119206 118564 311 324 0 118275 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 476824 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1322484/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=514024 CPUtime=462.07 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 129387 0 0 0 46112 95 0 0 25 0 1 0 141604426 526360576 127880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 128506 127880 311 324 0 127575 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 514024 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1275892/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=560992 CPUtime=522.06 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 141125 0 0 0 52106 100 0 0 25 0 1 0 141604426 574455808 139618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 140248 139618 311 324 0 139317 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 560992 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1235956/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=600428 CPUtime=582.04 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 150983 0 0 0 58098 106 0 0 25 0 1 0 141604426 614838272 149476 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 150107 149476 311 324 0 149176 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 600428 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1197556/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=638540 CPUtime=642.03 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 160500 0 0 0 64090 113 0 0 25 0 1 0 141604426 653864960 158993 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 159635 158993 311 324 0 158704 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 638540 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1052084/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=783844 CPUtime=881.96 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 196838 0 0 0 88061 135 0 0 25 0 1 0 141604426 802656256 195331 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 195961 195331 311 324 0 195030 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 783844 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 22363 /proc/meminfo: memFree=1023540/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=812728 CPUtime=941.95 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 204059 0 0 0 94054 141 0 0 25 0 1 0 141604426 832233472 202552 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 203182 202552 311 324 0 202251 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 812728 [startup+1002.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 22363 /proc/meminfo: memFree=991476/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=844476 CPUtime=1001.94 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 211990 0 0 0 100049 145 0 0 25 0 1 0 141604426 864743424 210483 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 211119 210483 311 324 0 210188 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 844476 [startup+1062.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 22363 /proc/meminfo: memFree=963828/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=872056 CPUtime=1061.92 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 218908 0 0 0 106043 149 0 0 25 0 1 0 141604426 892985344 217401 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 218014 217401 311 324 0 217083 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 872056 [startup+1122.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 22363 /proc/meminfo: memFree=934836/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=900848 CPUtime=1121.9 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 226099 0 0 0 112036 154 0 0 25 0 1 0 141604426 922468352 224592 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 225212 224592 311 324 0 224281 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 900848 [startup+1182.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 22363 /proc/meminfo: memFree=912116/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1181.88 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 118029 159 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 923136 [startup+1242.3 s] /proc/loadavg: 1.07 1.04 1.00 2/65 22363 /proc/meminfo: memFree=912116/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1241.87 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 124025 162 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 923136 [startup+1302.3 s] /proc/loadavg: 1.14 1.07 1.01 2/65 22363 /proc/meminfo: memFree=912180/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1301.86 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 130022 164 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 923136 [startup+1362.3 s] /proc/loadavg: 1.09 1.06 1.01 2/65 22363 /proc/meminfo: memFree=912180/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1361.84 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 136019 165 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 923136 [startup+1422.31 s] /proc/loadavg: 1.06 1.06 1.01 2/65 22363 /proc/meminfo: memFree=912180/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1421.83 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 142018 165 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 923136 [startup+1482.3 s] /proc/loadavg: 1.02 1.05 1.00 2/65 22363 /proc/meminfo: memFree=912116/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1481.8 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 148014 166 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 923136 [startup+1542.3 s] /proc/loadavg: 1.01 1.04 1.00 2/65 22363 /proc/meminfo: memFree=912052/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1541.79 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 154012 167 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 923136 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 22363 /proc/meminfo: memFree=912180/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1601.78 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 160010 168 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 923136 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 22363 /proc/meminfo: memFree=912180/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1661.76 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 166007 169 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 923136 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 22363 /proc/meminfo: memFree=912116/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1721.75 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 172005 170 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 923136 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22363 /proc/meminfo: memFree=912116/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=923136 CPUtime=1781.73 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194304 231765 0 0 0 178002 171 0 0 25 0 1 0 141604426 945291264 230171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 230784 230171 311 324 0 229853 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 923136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22363 /proc/meminfo: memFree=1062772/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=0 CPUtime=1800.04 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194308 231766 0 0 0 179829 175 0 0 25 0 1 0 141604426 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.01 1.00 2/65 22363 /proc/meminfo: memFree=1062772/2055920 swapFree=4184584/4192956 [pid=22164] ppid=22162 vsize=0 CPUtime=1800.14 /proc/22164/stat : 22164 (bsolo3.0.16) R 22162 22164 21718 0 -1 4194308 231766 0 0 0 179829 185 0 0 25 0 1 0 141604426 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22164/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.16 CPU user time (s): 1798.29 CPU system time (s): 1.87271 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 923484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.29 system time used= 1.87271 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231766 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 4065 runsolver used 1.18382 second user time and 3.79942 second system time The end
Begin job on node63 on Sun Apr 15 16:55:45 UTC 2007 IDJOB= 349177 IDBENCH= 2183 IDSOLVER= 163 FILE ID= node63/349177-1176656145 PBS_JOBID= 4559882 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349177-1176656145/instance-349177-1176656145.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-349177-1176656145 -o ROOT/results/node63/solver-349177-1176656145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349177-1176656145/instance-349177-1176656145.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27 RANDOM SEED= 857327565 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1834700 kB Buffers: 12216 kB Cached: 124256 kB SwapCached: 2044 kB Active: 62860 kB Inactive: 83156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834700 kB SwapTotal: 4192956 kB SwapFree: 4184584 kB Dirty: 6156 kB Writeback: 0 kB Mapped: 16388 kB Slab: 61232 kB Committed_AS: 708876 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node63 on Sun Apr 15 17:25:48 UTC 2007