Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.02 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb |
MD5SUM | 98317fc891a56a06b9f6f284bcd4ad38 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.51992 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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/429274-1177982688/instance-429274-1177982688.opb 0.00/0.00 c File size is 11660 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.01/0.01 c Pre-processing Time: 0.014 s 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.01/0.01 c Switching off LPR mode. 1799.90/1800.49 c 104 864 1425 13827 9 4906 8138 104 4160 0.03 1799.90/1800.49 c 254 864 1575 26187 16 4867 8952 254 3907 0.07 1799.90/1800.49 c 480 864 1801 44579 24 5369 9848 480 5454 0.09 1799.90/1800.49 c 819 864 2140 72805 34 6230 10833 819 6825 0.12 1799.90/1800.49 c 1327 864 2648 114026 43 7221 11917 1327 7760 0.17 1799.90/1800.49 c 2090 864 3411 175641 51 8757 13109 2090 7857 0.27 1799.90/1800.49 c 3236 864 4557 264752 58 10992 14420 3236 5627 0.57 1799.90/1800.49 c 4957 864 6278 398572 63 14443 15863 4957 4190 1.18 1799.90/1800.49 c 7541 864 8862 600246 67 19589 17450 7541 3086 2.44 1799.90/1800.49 c 11421 864 12742 902538 70 27382 19196 11421 2322 4.92 1799.90/1800.49 c 17243 864 18564 1350388 72 39001 21116 17243 1458 11.82 1799.90/1800.49 c 25980 864 16664 1180891 70 35218 23228 15343 1064 24.40 1799.90/1800.49 c 39091 864 17094 1291675 75 36010 25551 15773 1076 36.31 1799.90/1800.49 c 58761 864 22011 1567809 71 45888 28107 20690 1041 56.43 1799.90/1800.49 c 88272 864 17252 1196628 69 36306 30918 15931 827 106.73 1799.90/1800.49 c 132543 864 21512 1652519 76 44913 34010 20191 851 155.69 1799.90/1800.49 c 198954 864 19091 1332588 69 40092 37412 17770 804 247.37 1799.90/1800.49 c 298574 864 12654 1377310 108 27233 41154 11333 652 457.46 1799.90/1800.49 c 448010 864 41187 3075443 74 84156 45270 39866 666 672.36 1799.90/1800.49 c 672168 864 26711 2101845 78 55346 49798 25390 576 1165.70 1799.90/1800.49 c Resources Exceeded 1799.90/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.49 c 20 975683 4154 995830 24025 1890284 22704 542 1800.00 1799.90/1800.49 s UNKNOWN 1799.90/1800.49 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-429274-1177982688 -o ROOT/results/node68/solver-429274-1177982688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429274-1177982688/instance-429274-1177982688.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: 0.88 0.97 0.90 3/64 31693 /proc/meminfo: memFree=1852656/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=11748 CPUtime=0 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 274258377 12029952 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 2937 346 291 324 0 2003 0 [startup+0.0136449 s] /proc/loadavg: 0.88 0.97 0.90 3/64 31693 /proc/meminfo: memFree=1852656/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=4332 CPUtime=0.01 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 500 0 0 0 1 0 0 0 18 0 1 0 274258377 4435968 466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 1083 466 308 324 0 152 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4332 [startup+0.101653 s] /proc/loadavg: 0.88 0.97 0.90 3/64 31693 /proc/meminfo: memFree=1852656/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=4980 CPUtime=0.09 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 660 0 0 0 9 0 0 0 18 0 1 0 274258377 5099520 626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 1245 626 312 324 0 314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4980 [startup+0.301671 s] /proc/loadavg: 0.88 0.97 0.90 3/64 31693 /proc/meminfo: memFree=1852656/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=6916 CPUtime=0.29 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 1142 0 0 0 28 1 0 0 19 0 1 0 274258377 7081984 1108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 1729 1108 312 324 0 798 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6916 [startup+0.701708 s] /proc/loadavg: 0.88 0.97 0.90 3/64 31693 /proc/meminfo: memFree=1852656/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=8464 CPUtime=0.69 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 1541 0 0 0 68 1 0 0 22 0 1 0 274258377 8667136 1507 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 2116 1507 312 324 0 1185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8464 [startup+1.50178 s] /proc/loadavg: 0.88 0.97 0.90 2/65 31694 /proc/meminfo: memFree=1846568/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=10528 CPUtime=1.49 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 2055 0 0 0 148 1 0 0 25 0 1 0 274258377 10780672 2021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 2632 2021 312 324 0 1701 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10528 [startup+3.10192 s] /proc/loadavg: 0.88 0.97 0.90 2/65 31694 /proc/meminfo: memFree=1844264/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=14008 CPUtime=3.09 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 2926 0 0 0 307 2 0 0 25 0 1 0 274258377 14344192 2892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 3502 2892 312 324 0 2571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14008 [startup+6.30121 s] /proc/loadavg: 0.89 0.97 0.90 2/65 31694 /proc/meminfo: memFree=1838696/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=18156 CPUtime=6.28 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 3960 0 0 0 626 2 0 0 25 0 1 0 274258377 18591744 3926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 4539 3926 312 324 0 3608 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18156 [startup+12.7028 s] /proc/loadavg: 0.90 0.97 0.90 2/65 31694 /proc/meminfo: memFree=1832560/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=24096 CPUtime=12.68 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 5436 0 0 0 1264 4 0 0 25 0 1 0 274258377 24674304 5402 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 6024 5402 312 324 0 5093 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24096 [startup+25.5019 s] /proc/loadavg: 0.92 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1828352/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=27724 CPUtime=25.48 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 6352 0 0 0 2542 6 0 0 25 0 1 0 274258377 28389376 6318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 6931 6318 312 324 0 6000 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27724 [startup+51.1013 s] /proc/loadavg: 0.95 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1822976/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=33152 CPUtime=51.07 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 7708 0 0 0 5096 11 0 0 25 0 1 0 274258377 33947648 7674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 8288 7674 312 324 0 7357 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33152 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1821440/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=34696 CPUtime=102.26 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 8101 0 0 0 10209 17 0 0 25 0 1 0 274258377 35528704 8067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10948092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 8674 8067 312 324 0 7743 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34696 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1813824/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=42212 CPUtime=162.24 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 9981 0 0 0 16198 26 0 0 25 0 1 0 274258377 43225088 9946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 10553 9946 312 324 0 9622 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42212 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1812928/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=43112 CPUtime=222.22 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 10218 0 0 0 22190 32 0 0 25 0 1 0 274258377 44146688 10149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 10778 10149 312 324 0 9847 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 43112 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1805504/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=50820 CPUtime=282.21 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 12225 0 0 0 28180 41 0 0 25 0 1 0 274258377 52039680 12081 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 12705 12081 312 324 0 11774 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 50820 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1805120/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=50820 CPUtime=342.19 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 12225 0 0 0 34175 44 0 0 25 0 1 0 274258377 52039680 12081 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10948663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 12705 12081 312 324 0 11774 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 50820 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1794688/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=61120 CPUtime=402.17 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 14853 0 0 0 40166 51 0 0 25 0 1 0 274258377 62586880 14671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 15280 14671 312 324 0 14349 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 61120 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789120/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66780 CPUtime=462.15 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16281 0 0 0 46160 55 0 0 25 0 1 0 274258377 68382720 16061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16695 16061 312 324 0 15764 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 66780 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789120/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66796 CPUtime=522.14 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16285 0 0 0 52153 61 0 0 25 0 1 0 274258377 68399104 16065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16699 16065 312 324 0 15768 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 66796 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789184/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66796 CPUtime=582.12 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16285 0 0 0 58147 65 0 0 25 0 1 0 274258377 68399104 16065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16699 16065 312 324 0 15768 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 66796 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789184/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66796 CPUtime=642.11 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16285 0 0 0 64139 72 0 0 25 0 1 0 274258377 68399104 16065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10948352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16699 16065 312 324 0 15768 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 66796 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789120/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=882.04 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 88110 94 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 66808 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789120/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=942.03 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 94104 99 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 66808 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31694 /proc/meminfo: memFree=1789056/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=1002.01 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 100098 103 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 66808 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1789056/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=1062 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 106092 108 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 66808 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788992/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=1121.99 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 112087 112 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 66808 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1789056/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66808 CPUtime=1181.96 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16288 0 0 0 118078 118 0 0 25 0 1 0 274258377 68411392 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16702 16068 312 324 0 15771 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 66808 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788992/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=66828 CPUtime=1241.95 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16293 0 0 0 124071 124 0 0 25 0 1 0 274258377 68431872 16073 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16707 16073 312 324 0 15776 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 66828 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788480/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1301.94 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16431 0 0 0 130066 128 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 67084 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788480/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1361.91 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16431 0 0 0 136060 131 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 67084 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788416/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1421.91 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16480 0 0 0 142055 136 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 67084 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788352/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1481.89 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 148050 139 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 67084 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788416/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1541.87 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 154042 145 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 67084 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788416/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1601.85 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 160035 150 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 67084 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788416/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1661.83 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 166028 155 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 67084 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788416/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1721.82 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 172023 159 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10632308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 67084 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1788480/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=67084 CPUtime=1781.81 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194304 16529 0 0 0 178015 166 0 0 25 0 1 0 274258377 68694016 16162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 16771 16162 312 324 0 15840 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 67084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1830144/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=0 CPUtime=1800 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194308 16530 0 0 0 179832 168 0 0 25 0 1 0 274258377 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 31696 /proc/meminfo: memFree=1830144/2055920 swapFree=4183864/4192956 [pid=31693] ppid=31691 vsize=0 CPUtime=1800 /proc/31693/stat : 31693 (bsolo3.0.16) R 31691 31693 30972 0 -1 4194308 16530 0 0 0 179832 168 0 0 25 0 1 0 274258377 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31693/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1798.33 CPU system time (s): 1.68974 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 67280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.33 system time used= 1.68974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16530 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= 3377 runsolver used 1.44778 second user time and 3.47947 second system time The end
Begin job on node68 on Tue May 1 01:24:49 UTC 2007 IDJOB= 429274 IDBENCH= 47897 IDSOLVER= 163 FILE ID= node68/429274-1177982688 PBS_JOBID= 4727990 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429274-1177982688/instance-429274-1177982688.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-429274-1177982688 -o ROOT/results/node68/solver-429274-1177982688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429274-1177982688/instance-429274-1177982688.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38 RANDOM SEED= 858614888 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1853064 kB Buffers: 6452 kB Cached: 124304 kB SwapCached: 2592 kB Active: 38704 kB Inactive: 101372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853064 kB SwapTotal: 4192956 kB SwapFree: 4183864 kB Dirty: 6584 kB Writeback: 0 kB Mapped: 15460 kB Slab: 48840 kB Committed_AS: 3053668 kB PageTables: 1380 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 node68 on Tue May 1 01:54:51 UTC 2007