Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb |
MD5SUM | 61ecac306f245a9bac818667ce91a2bc |
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.236963 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452915-1177995711/instance-452915-1177995711.opb 0.00/0.00 c File size is 10107 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.006 s 0.00/0.01 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.01 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1800.03/1800.70 c 102 756 1258 14373 11 4230 7119 102 4250 0.02 1800.03/1800.70 c 252 756 1408 26413 18 4519 7831 252 6300 0.04 1800.03/1800.70 c 478 756 1634 45250 27 4953 8615 478 8241 0.06 1800.03/1800.70 c 816 756 1972 71847 36 5591 9477 816 8680 0.09 1800.03/1800.70 c 1326 756 2482 109844 44 6598 10425 1326 8036 0.17 1800.03/1800.70 c 2089 756 3245 167999 51 8075 11468 2089 6760 0.31 1800.03/1800.70 c 3236 756 4392 268472 61 10392 12615 3236 6699 0.48 1800.03/1800.70 c 4957 756 6113 414467 67 13806 13877 4957 6462 0.77 1800.03/1800.70 c 7541 756 8697 619758 71 18976 15265 7541 4353 1.73 1800.03/1800.70 c 11420 756 12576 915984 72 26733 16792 11420 2813 4.06 1800.03/1800.70 c 17242 756 9805 719859 73 21208 18472 8649 2907 5.93 1800.03/1800.70 c 25980 756 18543 1371262 73 38714 20320 17387 2174 11.95 1800.03/1800.70 c 39091 756 21419 1515652 70 44383 22353 20263 1447 27.01 1800.03/1800.70 c 58762 756 17887 1551451 86 37336 24589 16731 1150 51.06 1800.03/1800.70 c 88272 756 18785 1546661 82 39212 27048 17629 1111 79.44 1800.03/1800.70 c 132543 756 13096 902714 68 27865 29753 11940 1061 124.92 1800.03/1800.70 c 198955 756 22246 1746021 78 46132 32729 21090 963 206.39 1800.03/1800.70 c 298576 756 12389 876723 70 26508 36002 11233 830 359.57 1800.03/1800.70 c 448012 756 14982 1170201 78 31670 39603 13826 872 513.33 1800.03/1800.70 c 672170 756 13604 979828 72 28856 43564 12448 757 886.80 1800.03/1800.70 c 1008413 756 26258 2084011 79 54146 47921 25102 657 1533.53 1800.03/1800.70 c Caught signal: 15 1800.03/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.70 c 21 1133780 6977 1158614 41945 3434488 40789 629 1800.03 1800.03/1800.70 s UNKNOWN 1800.03/1800.70 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-452915-1177995711 -o ROOT/results/node13/solver-452915-1177995711 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452915-1177995711/instance-452915-1177995711.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.10 1.02 1.00 3/83 19221 /proc/meminfo: memFree=1467784/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=3936 CPUtime=0 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 247488918 4030464 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12219240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 984 349 290 324 0 51 0 [startup+0.069351 s] /proc/loadavg: 1.10 1.02 1.00 3/83 19221 /proc/meminfo: memFree=1467784/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=4968 CPUtime=0.06 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 647 0 0 0 6 0 0 0 18 0 1 0 247488918 5087232 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 1242 614 310 324 0 312 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4968 [startup+0.101358 s] /proc/loadavg: 1.10 1.02 1.00 3/83 19221 /proc/meminfo: memFree=1467784/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=5228 CPUtime=0.09 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 247488918 5353472 691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 1307 692 310 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5228 [startup+0.301401 s] /proc/loadavg: 1.10 1.02 1.00 3/83 19221 /proc/meminfo: memFree=1467784/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=6516 CPUtime=0.29 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 1044 0 0 0 29 0 0 0 19 0 1 0 247488918 6672384 1011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 1629 1011 310 324 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6516 [startup+0.701486 s] /proc/loadavg: 1.10 1.02 1.00 3/83 19221 /proc/meminfo: memFree=1467784/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=9484 CPUtime=0.69 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 1774 0 0 0 69 0 0 0 22 0 1 0 247488918 9711616 1741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 2371 1741 310 324 0 1441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9484 [startup+1.50166 s] /proc/loadavg: 1.10 1.02 1.00 2/84 19222 /proc/meminfo: memFree=1460608/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=12320 CPUtime=1.49 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 2499 0 0 0 149 0 0 0 25 0 1 0 247488918 12615680 2466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12320498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 3080 2466 310 324 0 2150 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12320 [startup+3.102 s] /proc/loadavg: 1.10 1.02 1.00 2/84 19224 /proc/meminfo: memFree=1457472/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=15680 CPUtime=3.09 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 3315 0 0 0 308 1 0 0 25 0 1 0 247488918 16056320 3282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 3920 3282 310 324 0 2990 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15680 [startup+6.30168 s] /proc/loadavg: 1.10 1.02 1.00 2/78 19244 /proc/meminfo: memFree=1449584/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=23932 CPUtime=6.27 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 5404 0 0 0 625 2 0 0 25 0 1 0 247488918 24506368 5371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 5983 5371 310 324 0 5053 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 23932 [startup+12.702 s] /proc/loadavg: 1.08 1.02 1.00 2/78 19244 /proc/meminfo: memFree=1448312/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=24328 CPUtime=12.67 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 5502 0 0 0 1265 2 0 0 25 0 1 0 247488918 24911872 5469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 6082 5469 310 324 0 5152 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 24328 [startup+25.5018 s] /proc/loadavg: 1.07 1.02 1.00 2/78 19244 /proc/meminfo: memFree=1445504/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=26904 CPUtime=25.46 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 6143 0 0 0 2543 3 0 0 25 0 1 0 247488918 27549696 6110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 6726 6110 310 324 0 5796 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 26904 [startup+51.1012 s] /proc/loadavg: 1.04 1.01 1.00 2/78 19244 /proc/meminfo: memFree=1443904/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=28456 CPUtime=51.06 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 6536 0 0 0 5102 4 0 0 25 0 1 0 247488918 29138944 6503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 7114 6503 310 324 0 6184 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 28456 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/78 19244 /proc/meminfo: memFree=1435520/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=36896 CPUtime=102.24 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 8644 0 0 0 10218 6 0 0 25 0 1 0 247488918 37781504 8611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 9224 8611 310 324 0 8294 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 36896 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1433856/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=38496 CPUtime=162.22 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 9046 0 0 0 16215 7 0 0 25 0 1 0 247488918 39419904 9013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 9624 9013 310 324 0 8694 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38496 [startup+222.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 19244 /proc/meminfo: memFree=1427648/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=44628 CPUtime=222.19 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 10590 0 0 0 22210 9 0 0 25 0 1 0 247488918 45699072 10522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 11157 10522 310 324 0 10227 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 44628 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/78 19244 /proc/meminfo: memFree=1427648/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=44756 CPUtime=282.17 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 10656 0 0 0 28208 9 0 0 25 0 1 0 247488918 45830144 10555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 11189 10555 310 324 0 10259 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 44756 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1427584/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=44756 CPUtime=342.15 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 10722 0 0 0 34205 10 0 0 25 0 1 0 247488918 45830144 10555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 11189 10555 310 324 0 10259 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 44756 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1424320/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=48080 CPUtime=402.12 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 11660 0 0 0 40201 11 0 0 25 0 1 0 247488918 49233920 11388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 12020 11388 310 324 0 11090 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 48080 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1420224/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=52208 CPUtime=462.11 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 12773 0 0 0 46198 13 0 0 25 0 1 0 247488918 53460992 12429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13052 12429 310 324 0 12122 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 52208 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416960/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=55404 CPUtime=522.08 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13643 0 0 0 52194 14 0 0 25 0 1 0 247488918 56733696 13227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13851 13227 310 324 0 12921 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 55404 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416960/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=55276 CPUtime=582.07 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13647 0 0 0 58192 15 0 0 25 0 1 0 247488918 56602624 13211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13819 13211 310 324 0 12889 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 55276 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416960/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=55264 CPUtime=642.05 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13647 0 0 0 64190 15 0 0 25 0 1 0 247488918 56590336 13208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13816 13208 310 324 0 12886 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 55264 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1417344/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=54936 CPUtime=881.95 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13727 0 0 0 88178 17 0 0 25 0 1 0 247488918 56254464 13126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13734 13126 310 324 0 12804 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 54936 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1417344/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=54936 CPUtime=941.93 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13727 0 0 0 94176 17 0 0 25 0 1 0 247488918 56254464 13126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13734 13126 310 324 0 12804 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 54936 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1417344/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=54948 CPUtime=1001.91 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13730 0 0 0 100173 18 0 0 25 0 1 0 247488918 56266752 13129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13737 13129 310 324 0 12807 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 54948 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1417344/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=54928 CPUtime=1061.89 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13730 0 0 0 106170 19 0 0 25 0 1 0 247488918 56246272 13124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13732 13124 310 324 0 12802 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 54928 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1417344/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=54932 CPUtime=1121.86 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13731 0 0 0 112167 19 0 0 25 0 1 0 247488918 56250368 13125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13733 13125 310 324 0 12803 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 54932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416832/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=55444 CPUtime=1181.85 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 13875 0 0 0 118165 20 0 0 25 0 1 0 247488918 56774656 13226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 13861 13226 310 324 0 12931 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 55444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416192/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1241.82 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14104 0 0 0 124162 20 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 56084 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416000/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1301.81 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14104 0 0 0 130160 21 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 56084 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416064/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1361.78 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14147 0 0 0 136157 21 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12320398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 56084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416000/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1421.76 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14190 0 0 0 142154 22 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 56084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416000/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1481.73 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14233 0 0 0 148151 22 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 56084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19244 /proc/meminfo: memFree=1416064/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=56084 CPUtime=1541.72 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 14276 0 0 0 154149 23 0 0 25 0 1 0 247488918 57430016 13412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14021 13412 310 324 0 13091 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 56084 [startup+1602.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 19244 /proc/meminfo: memFree=1412224/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=59952 CPUtime=1601.69 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15268 0 0 0 160145 24 0 0 25 0 1 0 247488918 61390848 14357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14988 14357 310 324 0 14058 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 59952 [startup+1662.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 19244 /proc/meminfo: memFree=1412288/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=59952 CPUtime=1661.67 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15268 0 0 0 166142 25 0 0 25 0 1 0 247488918 61390848 14357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14988 14357 310 324 0 14058 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 59952 [startup+1722.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 19244 /proc/meminfo: memFree=1412224/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=59952 CPUtime=1721.64 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15316 0 0 0 172139 25 0 0 25 0 1 0 247488918 61390848 14357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 14988 14357 310 324 0 14058 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 59952 [startup+1782.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 19244 /proc/meminfo: memFree=1410304/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=61868 CPUtime=1781.62 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15839 0 0 0 178136 26 0 0 25 0 1 0 247488918 63352832 14832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 15467 14832 310 324 0 14537 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 61868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.07 1.04 1.00 2/78 19244 /proc/meminfo: memFree=1410368/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=61868 CPUtime=1800.03 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15839 0 0 0 179976 27 0 0 25 0 1 0 247488918 63352832 14832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 15467 14832 310 324 0 14537 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 61868 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.07 1.04 1.00 2/78 19244 /proc/meminfo: memFree=1410368/2055920 swapFree=4159412/4192956 [pid=19221] ppid=19219 vsize=61868 CPUtime=1800.03 /proc/19221/stat : 19221 (bsolo3.0.17) R 19219 19221 18586 0 -1 4194304 15839 0 0 0 179976 27 0 0 25 0 1 0 247488918 63352832 14832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19221/statm: 15467 14832 310 324 0 14537 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 61868 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1799.76 CPU system time (s): 0.281957 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (KiB): 61868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.281957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15843 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= 3205 runsolver used 1.39379 second user time and 3.9264 second system time The end
Begin job on node13 on Tue May 1 05:01:51 UTC 2007 IDJOB= 452915 IDBENCH= 47982 IDSOLVER= 199 FILE ID= node13/452915-1177995711 PBS_JOBID= 4728199 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452915-1177995711/instance-452915-1177995711.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-452915-1177995711 -o ROOT/results/node13/solver-452915-1177995711 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452915-1177995711/instance-452915-1177995711.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 61ecac306f245a9bac818667ce91a2bc RANDOM SEED= 417177795 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1468192 kB Buffers: 44064 kB Cached: 449868 kB SwapCached: 12736 kB Active: 100396 kB Inactive: 417504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1468192 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 6648 kB Writeback: 0 kB Mapped: 31432 kB Slab: 54824 kB Committed_AS: 6978732 kB PageTables: 2116 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 node13 on Tue May 1 05:31:54 UTC 2007